aboutsummaryrefslogtreecommitdiff
path: root/frontend/checkFunctionBodies.icl
AgeCommit message (Collapse)AuthorFilesLines
2001-12-03bug fix: uniqueness error in nested record/array updatesronny1-14/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@916 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-30store predefined identifiers in CAFjohnvg1-21/+23
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-29different representation of selector kind in Selectionronny1-9/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@908 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-26assorted parse/scan bug fixesronny1-1/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@906 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-07bug fix: do not merge nested explicit casesronny1-6/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@883 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-124/+162
remove conversion table, except for macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-3/+2
Universally quantified types used in class members git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-07moved function checkLocalFunctions from checksupport to checkFunctionBodiesjohnvg1-0/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@761 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06check if StdStrictLists is importedjohnvg1-8/+14
renamed cNeedStdDynamics as cNeedStdDynamic git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@747 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for strict and unboxed listsjohnvg1-34/+225
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@709 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25removed underscoreModule from ParseState, this is now handled by the scannerronny1-5/+5
removed underscored allowed parameter of isUpperCaseName and isLowerCaseName these routines now always look at the first non-underscore character adjusted the names of some types and constructors in predef so that they start with an uppercase letter git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@571 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-18assorted scanner/parser bug fixes by Pieter (tested by Ronny)ronny1-5/+5
(bug_incomplete_instance_def, bug_layout_rule, bug_nested_guard_in_otherwise, parse-bug-18, parse_bug_Real_as_class_name, parse_bug_case, parse_bug_constructor_with_name_of_basic_type, parse_bug_lost_brackets_in_pattern, parse_bug_no_layout_rule) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@550 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-18removed unused code to detect tuple patterns for merging casesronny1-21/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@548 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-28Sjaak: removed 'dyn_uni_vars' from type 'DynamicExpr'sjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@507 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-16/+70
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@494 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-08merge all casesronny1-4/+59
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@476 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05for error messages in patterns use line number of the alternative,johnvg1-12/+6
instead of line number of first alternative (new: check.icl, checkFunctionBodies.[id]cl) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@471 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-10bug fixes:martijnv1-3/+8
- 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-04-25added support for constructors (for toString like usage),alimarin1-14/+33
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-20bugfixmartinw1-45/+47
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@363 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-27unfold all macros and local functions in macrosjohnvg1-18/+1
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-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-3/+3
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-3/+20
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/+32
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-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-4/+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
2000-10-31bug fix in determining SK_LocalMacroFunction (instead of SK_Function)johnvg1-8/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@274 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-27moving huge part of code out of check into new module checkFunctionBodiesmartinw1-0/+1953
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@272 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d