aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2000-10-26added new macro "unsafeFold2St"martinw2-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@269 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-26removed tracemartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@268 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-26added error message e.g.martinw1-4/+56
"argument 1 of type T expected kind * -> *" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@267 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25return cache if compilation stops after a certain phase (for Maarten)johnvg1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@266 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25now correct position information is given for error messagemartinw1-18/+28
"instance type should be coercible" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@265 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25improved storing position informationmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@264 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25removing some superflous numbers from error messagesmartinw1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@263 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-25adding error message:left root * attribute expectedmartinw1-2/+78
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@262 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-23renumber icl function and macro indices when unfoldingjohnvg12-430/+549
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-18improving filename and line number for the following error messages:martinw1-4/+8
"incorrect module header" "module name ??? does not match file name" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@258 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-18moved 3 arguments of expand to ExpandStatejohnvg2-209/+151
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@257 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-11added error messagesmartinw2-2/+14
"first argument of infix operator missing" and "second argument of infix operator missing" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@256 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-11adjusting this module to cashing of dcl modulesmartinw1-47/+28
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@255 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-06bugfixmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@254 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04-added position information for let bindings for better error messagesmartinw11-234/+446
(changes are commented with "MW0") git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@248 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04added new function to print function names like "c;102;13" as "comprehesion ↵martinw2-1/+36
[line 102]" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@247 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04-added position information for let bindings for better error messagesmartinw3-69/+144
-bugfix: some SK_LocalMacroFun patterns were missing -bugfix: newly generated functions were placed into wrong components -bugfix: functions were wrongly specialized git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@246 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-02comment before import RWSDebugronny1-3/+4
fixed checking error flag for reorganiseDefinitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@243 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-02removed ---> operatormartijnv1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@241 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-29fixed call of frontEndInterfaceclean1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@240 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27removing trace statementmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@238 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27making compiler self compatiblemartinw3-60/+91
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@237 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean35-702/+2190
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@232 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-26bugfix: list inferred types printed types like f :: .[.a] instead ofmartinw2-13/+25
f :: [.a] git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@231 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-26removing stuff that once dealt with dynamicsmartinw1-49/+14
bugfix: now dictionaries are deforested correctly again git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@230 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-26Type dependent function implementedmartijnv1-204/+282
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@229 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-26bugfixmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@228 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-25fix clean 2.0 preprocessor hack syntaxclean2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@227 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-25optimize memory allocation of nilPtrclean1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@226 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-25added arrayCopyBeginclean2-0/+30
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@225 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-22error messages become more and more beautifulmartinw1-69/+93
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@224 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-22fixed bug in type unificationmartinw1-6/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@223 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-20*** empty log message ***martinw1-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@221 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-20now "list inferred types" can print attributes alsomartinw10-53/+424
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@220 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-20changed signature of readPtr from "unique" into "possibly unique"martinw2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@219 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-20improving error messages:martinw1-9/+31
before: _from_to undefined _uselect undefined now: StdEnum not imported StdArray not imported git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@218 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-20improving bufix from revision 1.39martinw1-8/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@217 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-20new Bag type: :: Bag x = Pair (Bag x) (Bag x) | Single x | Emptymartinw2-0/+35
using this for accumulators is more elegant than using lists git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@216 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-20no messagemartijnv1-103/+282
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@215 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-13added position information for better error messagesmartinw5-33/+65
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@214 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-13fixed following bug:martinw2-16/+13
:: Record = {x :: !Int, y :: Int} Start = { x = undef, y = 2}.y has been tranformed into Start = 2 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@213 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-13bug fix: error in existentional typessjakie2-4/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@212 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-12small bugfixmartinw1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@211 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-12small bugfixmartinw1-0/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@210 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-29adjusted treatment of lazy and strict array functionssjakie2-12/+36
bugfix in scanner: reals were not treated correctly git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@209 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-21no messagemartijnv2-7/+38
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@208 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-18*** empty log message ***martinw1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@207 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv5-10/+46
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@206 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-16restoring revision 1.35, revision 1.36 was unintendedmartinw1-190/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@205 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-16ConsVariables were not handled correctly within improved type error messagesmartinw4-20/+233
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@204 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 02:19:56 +0000