index
:
compiler
master
Fork of the Clean compiler for experimenting with new features
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
frontend
/
convertDynamics.icl
Age
Commit message (
Expand
)
Author
Files
Lines
2001-03-02
no message
martijnv
1
-2
/
+2
2001-03-01
- type files worden aangemaakt (buggy)
martijnv
1
-7
/
+70
2001-02-15
DynamicTemp added to the compiler. You will be needing a new
martijnv
1
-18
/
+132
2000-10-04
-added position information for let bindings for better error messages
martinw
1
-39
/
+85
2000-10-02
removed ---> operator
martijnv
1
-2
/
+2
2000-09-27
optimizations and caching of dcl modules (without trans.icl)
clean
1
-3
/
+3
2000-09-26
Type dependent function implemented
martijnv
1
-204
/
+282
2000-09-20
no message
martijnv
1
-103
/
+282
2000-08-18
dynamic type bug fixed; changes to support theorem prover
martijnv
1
-4
/
+8
2000-08-10
added position information to case defaults to improve type error messages
martinw
1
-1
/
+2
2000-08-09
added position information to case alternatives and changed the typing
martinw
1
-1
/
+2
2000-06-06
coercions added though not complete
martijnv
1
-30
/
+41
2000-05-30
fixed bugs; partially implemented type dependent functions
martijnv
1
-1
/
+59
2000-04-26
changes to make compiler compatible with itself
martinw
1
-2
/
+2
2000-02-21
- implemented comparison between redundant definitions in icl and dcl modules
martinw
1
-4
/
+0
2000-01-19
bug fix (changed syntax tree)
sjakie
1
-14
/
+15
1999-11-29
bug fix
sjakie
1
-14
/
+21
1999-11-23
change: dynamics are now converted before 'fusion'
sjakie
1
-95
/
+139
1999-11-05
minor changes
martinw
1
-2
/
+0
1999-11-05
fusion works now. The fusion switch in module typesupport is enabled
martinw
1
-0
/
+2
1999-10-05
Initial import
ronny
1
-0
/
+528