aboutsummaryrefslogtreecommitdiff
path: root/frontend/convertDynamics.icl
AgeCommit message (Collapse)AuthorFilesLines
2001-08-28bug fix: count of let bindings was wrong which caused convertcases to crashmartijnv1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@682 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv1-20/+75
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@674 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-15Bug fixes: default cases and (more or less) correct types for generated case ↵sjakie1-30/+50
and let expressions in the conversion of dynamics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-3/+24
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/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@494 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed import of debug modulejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@448 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-01removed import pp in order to make the compiler compilable without mymartijnv1-1/+1
pretty print function. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@444 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-31Added a switch which generates for an unify/coerce application an extramartijnv1-17/+57
third argument. This argument is used by the dynamic run-time system to identify the context of an unify/coerce application. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@441 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-10bug fix: unusued dynamics in where/let clauses produced a rule doesn't matchmartijnv1-3/+51
error in overloading.icl git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@419 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-02bug fix in convertTypeCode2martijnv1-1/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@356 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-28minor changes to files associated with dynamics. Most notably is themartijnv1-12/+32
use of the TypeVarHeap. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@347 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15compiler frontend without writing tcl-filesmartijnv1-6/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@331 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15changes:martijnv1-0/+2
- module type_io_common added for communication with linkers - minor change to convertDynamics w.r.t writing a tcl-file stderr annoyance should be fixed git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@330 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-13added 2.0 syntax to type_io.iclmartijnv1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@328 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-12made module name optionalmartijnv1-1/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@322 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-08Normalizingmartijnv1-8/+12
- 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-06bugfix; selecting a value from a DynamicTemp still used the tuplemartijnv1-91/+5
selector which of course is totally wrong. In the old implementation it worked. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@320 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02no messagemartijnv1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@309 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-01- type files worden aangemaakt (buggy)martijnv1-7/+70
- 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-15DynamicTemp added to the compiler. You will be needing a newmartijnv1-18/+132
StdEnv 2.0 in which DynamicTemp is added. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@297 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04-added position information for let bindings for better error messagesmartinw1-39/+85
(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-02removed ---> operatormartijnv1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@241 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@232 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-20no messagemartijnv1-103/+282
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@215 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv1-4/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@206 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-10added position information to case defaults to improve type error messagesmartinw1-1/+2
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-1/+2
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-06-06coercions added though not completemartijnv1-30/+41
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@152 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-1/+59
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@143 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26changes to make compiler compatible with itselfmartinw1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-4/+0
(new module: comparedefimp) - implemented array patterns. Further work: arrays are in lazy context (should be strict), currently only one dimensional arrays - optimised memory usage for explicit imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@94 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-01-19bug fix (changed syntax tree)sjakie1-14/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@79 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-29bug fixsjakie1-14/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@60 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-23change: dynamics are now converted before 'fusion'sjakie1-95/+139
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@58 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-05minor changesmartinw1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@36 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@35 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-05Initial importronny1-0/+528
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 07:04:07 +0000