Commits · d111e0eac1306c5c7cc3f61ee2989f2e3c389b33 · clean-compiler-and-rts / compiler

29 Aug, 2001 4 commits
- Use error instead of undef for matchpattern stub · d111e0ea
  Vincent Zweije authored Aug 29, 2001
  
  d111e0ea
- Add debugging info. · 1e03d0bb
  Vincent Zweije authored Aug 29, 2001
```
Fix ==(Graph) bug that hung comparing graphs.
Current version optimises hello world.
```
  1e03d0bb
- Specify private test arguments · e42e36f8
  Vincent Zweije authored Aug 29, 2001
  
  e42e36f8
- Fix supercompile module dependencies · ec3bc8a7
  Vincent Zweije authored Aug 29, 2001
  
  ec3bc8a7
24 Aug, 2001 2 commits
- Drop option parse tracing · ca2c4487
  Vincent Zweije authored Aug 24, 2001
  
  ca2c4487
- Merge strictness bugfix of trace function (--->) · dc487a58
  Vincent Zweije authored Aug 24, 2001
  
  dc487a58
22 Aug, 2001 2 commits
- Get IDE to run supercompilation · 71d84e95
  Vincent Zweije authored Aug 22, 2001
```
Change -sc option to -SC because all -s* seems to be eaten by a prior phase
```
  71d84e95
- Fixed uniqueness problems; first executable without essential undefs · 06d08e29
  Vincent Zweije authored Aug 22, 2001
  
  06d08e29
21 Aug, 2001 4 commits
- Partition generated functions into groups · bc1011b5
  Vincent Zweije authored Aug 21, 2001
  
  bc1011b5
- Fix linker error (usize_u->usize) · 1dff6355
  Vincent Zweije authored Aug 21, 2001
  
  1dff6355
- Strip unused arguments to supercompile · dd472d48
  Vincent Zweije authored Aug 21, 2001
  
  dd472d48
- Finish conversion up to but not including function grouping and type derivation · ffc26db8
  Vincent Zweije authored Aug 21, 2001
  
  ffc26db8
20 Aug, 2001 3 commits
- Combine stc conversion functions to produce a cli structure · 8ce9b3f2
  Vincent Zweije authored Aug 20, 2001
```
Work out typerule/strictness separation in coreclean module
```
  8ce9b3f2
- Define Cocl to Sucl conversion of (algebraic) type specifications · bc3f3995
  Vincent Zweije authored Aug 20, 2001
  
  bc3f3995
- Add zipwith function · 6657e71a
  Vincent Zweije authored Aug 20, 2001
  
  6657e71a
17 Aug, 2001 5 commits
- Link sucl to cocl function body conversion from convert trough dcl to supercompile · f7da63e0
  Vincent Zweije authored Aug 17, 2001
  
  f7da63e0
- Finish conversion of FuncBody's to Expression's · e7cd9c81
  Vincent Zweije authored Aug 17, 2001
  
  e7cd9c81
- stub function returns possibly unique variable · 2b13ec8a
  Vincent Zweije authored Aug 17, 2001
  
  2b13ec8a
- Move inccounter function to basic module · cdb87fef
  Vincent Zweije authored Aug 17, 2001
  
  cdb87fef
- Introduce development support function "stub" · 2a0b3c13
  Vincent Zweije authored Aug 17, 2001
  
  2a0b3c13
16 Aug, 2001 2 commits
- First go at generating function definitions · 95b83400
  Vincent Zweije authored Aug 16, 2001
  
  95b83400
- Change user-defined symbol representation · 2c6cabd0
  Vincent Zweije authored Aug 16, 2001
  
  2c6cabd0
15 Aug, 2001 1 commit
- Add CVS Id directive to files · b48541b6
  Vincent Zweije authored Aug 15, 2001
  
  b48541b6
14 Aug, 2001 12 commits
- Returned expression tree instead of list of rewrite rules · d4d49251
  Vincent Zweije authored Aug 14, 2001
  
  d4d49251
- Define mapsnd3 · dec8d060
  Vincent Zweije authored Aug 14, 2001
  
  dec8d060
- Rename FunBody to FuncDef · e1479b2e
  Vincent Zweije authored Aug 14, 2001
  
  e1479b2e
- Introduce type for generated function body · caec3b25
  Vincent Zweije authored Aug 14, 2001
  
  caec3b25
- Cleanup translated Miranda code · da1f0fe0
  Vincent Zweije authored Aug 14, 2001
  
  da1f0fe0
- Change local matcher to case expression · a0e30ac2
  Vincent Zweije authored Aug 14, 2001
  
  a0e30ac2
- Use record to model result of symbolic reduction of task expression · e50b713b
  Vincent Zweije authored Aug 14, 2001
  
  e50b713b
- Change local match function to case expression · 46917235
  Vincent Zweije authored Aug 14, 2001
  
  46917235
- Revert to old history pattern structure · 331a9155
  Vincent Zweije authored Aug 14, 2001
  
  331a9155
- Moved ==(Optional a) to basic module · 6648ed22
  Vincent Zweije authored Aug 14, 2001
  
  6648ed22
- Remove translated Miranda code · 5e9eb699
  Vincent Zweije authored Aug 14, 2001
  
  5e9eb699
- Removed redundancy (history graph) in result of function findoccs · 6cf7690f
  Vincent Zweije authored Aug 14, 2001
  
  6cf7690f
13 Aug, 2001 4 commits
- Translate code from Miranda to Clean · b5f3f499
  Vincent Zweije authored Aug 13, 2001
  
  b5f3f499
- Disable new abstraction node of trace · fde77c69
  Vincent Zweije authored Aug 13, 2001
  
  fde77c69
- Translate extgraph function from Miranda to Clean · cde838a4
  Vincent Zweije authored Aug 13, 2001
  
  cde838a4
- Translate module newtest (main module) · a46f1c89
  Vincent Zweije authored Aug 13, 2001
```
Cutoff points (undefs): fullfold from module newfold
                        continuations for strategy answers in module loop
```
  a46f1c89
10 Aug, 2001 1 commit
- First stab at translating function fullsymred from Miranda to Clean · f766d6f1
  Vincent Zweije authored Aug 10, 2001
  
  f766d6f1