aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
AgeCommit message (Collapse)AuthorFilesLines
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-12/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@505 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@494 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15Bug fix. Free type variables were referenced but not defined.martijnv1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@482 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification ↵sjakie1-2/+2
algorithm. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30detect in 'postparse' when the definition module correspondingjohnvg1-1/+1
to the main module is imported, and the main module is not an implementation module. renamed local function 'scan_dcl_module' into 'scan_main_dcl_module'. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@438 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30optimize array comprehensions,johnvg1-2/+2
optimize dot dot generators, fixed bug in array comprehensions with more than one qualifier, removed 'c' before 'cIsListGenerator' and 'cIsArrayGenerator' git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@437 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-11I wanted to commit this together with the icl file, but it didn't fitmartinw1-8/+1
on the MS-DOS command line anymore, what a pitty git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@426 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-10bug fixes:martijnv1-1/+1
- unused dynamics in where/let clauses do not cause a rule doesn't match error in overloading.icl instead they are ignored - default behaviour changed e.g. f (i :: Int, j :: Int) = abort "Int" f (r :: Real, s :: Real) = abort "Real" f _ = abort "stop" The compiler first matched on the tuple and then did the dynamic pattern matches. But the last match did not call the last (default) alternative if it did not match. - some small changes git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@421 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08added VI_Labelled_Empty and VI_LocalLetVar to VarInforonny1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@393 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-03Flag to turn generics on and off (SupportGenerics), default offronny1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@386 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-03added preliminary support for cons info by typealimarin1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@382 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-25added support for constructors (for toString like usage),alimarin1-0/+2
fromString is not yet supported some error handling improved parial instances are temporary disabled git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20bugfix: the compiler recognized f in the following example as a node andmartinw1-1/+1
ignored the type specification. Now he treats f as a function, and hence gives a type error Start = f where f :: String f = 1 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@361 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-28added TVI_Normalizedmartijnv1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@348 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-27uniqueness support is added to genericsalimarin1-3/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@345 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-27unfold all macros and local functions in macrosjohnvg1-6/+10
changed Declaration type fixed crash when macro appears only in dcl module added make with caching in 'main' use BoxedIdent in hashtable git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@344 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-23fixing several bugsmartinw1-10/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@338 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-9/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15Fixes to compile with 2.0alimarin1-6/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@332 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-13Generics are added, but are disabled.alimarin1-2/+38
Tested with compiling Object IO and butstrapping. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@329 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-08Normalizingmartijnv1-1/+1
- type variables - passing a list of directly imported dcl modules by an icl modules git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@321 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02bugfix for specialisationsmartinw1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@316 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-01- type files worden aangemaakt (buggy)martijnv1-1/+1
- type namen worden gesuffixed met hun definierde module naam git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@307 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-23including porting facilitiesmartinw1-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@303 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-14just setting the switch for import syntax from "2.0" back to "1.3"martinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@295 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-3/+3
checking of a whole dcl module component --> now cyclic module dependencies should work git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@294 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-8/+6
during the transformation phase git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@292 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-12New algorithm for explicit imports that also works with cyclic module ↵martinw1-11/+25
dependencies git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@286 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-01improved code for explicit imports,martinw1-1/+16
moved all switches to syntax module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@277 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-4/+5
dcl macros in icl functions and macros removed expanded macros from groups (s.c.components) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@259 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04-added position information for let bindings for better error messagesmartinw1-3/+10
(changes are commented with "MW0") git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@248 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-8/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@232 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-20now "list inferred types" can print attributes alsomartinw1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@220 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-13added position information for better error messagesmartinw1-4/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@214 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv1-1/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@206 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-3/+4
of "v314", case defaults and guards now also have file position information. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-10added position information to case defaults to improve type error messagesmartinw1-2/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@201 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-09added position information to case alternatives and changed the typingmartinw1-2/+6
algorihm so that typing error messages can indicate the alternative in which the error occured. Before, these error messages always located the first alternative/function type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@200 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-07removing superfluous constructormartinw1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@199 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-01improving error messagesmartinw1-2/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@196 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@184 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-15update of dictionary typessjakie1-0/+2
Peter's bug removed git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@164 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-05enabled higher order function elimination also for functions (producers)martinw1-4/+5
that are imported git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@149 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-31readableizing error messagesmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@147 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@143 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-22improved dynamicssjakie1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@141 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26changes to make compiler compatible with itselfmartinw1-18/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-30removing record field "lei_strict" that became superflous due to the last ↵martinw1-3/+0
revision git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@124 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-03-30comparision of redundant macro definitionsmartinw1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@123 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 20:47:23 +0000