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

21 Aug, 2001 2 commits
- 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 8 commits
- First stab at translating function fullsymred from Miranda to Clean · f766d6f1
  Vincent Zweije authored Aug 10, 2001
  
  f766d6f1
- Translate typerule function from Miranda to Clean · 691965d4
  Vincent Zweije authored Aug 10, 2001
  
  691965d4
- Translate canosisation module from Miranda to Clean · 0ae161cb
  Vincent Zweije authored Aug 10, 2001
  
  0ae161cb
- Implement coretyperule · 3bc4f58b
  Vincent Zweije authored Aug 10, 2001
  
  3bc4f58b
- Make Rgraph comparable using == · 43202a29
  Vincent Zweije authored Aug 10, 2001
```
(required change of internal repr from alias to algebraic)
```
  43202a29
- dnc type changed through type change of varcontents (graph module) · 0f12af69
  Vincent Zweije authored Aug 10, 2001
  
  0f12af69
- Make Graph abstype comparable using == · 9809e61f
  Vincent Zweije authored Aug 10, 2001
```
(needed to change internal repr from alias to algebraic)
```
  9809e61f
- Make Pfun comparable using == · e2ff6acf
  Vincent Zweije authored Aug 10, 2001
  
  e2ff6acf
09 Aug, 2001 2 commits
- Start of translating remainder, · 3c139e9c
  Vincent Zweije authored Aug 09, 2001
```
global termination bug and all,
from Miranda to Clean
```
  3c139e9c
- Match end of word in type declarations (:: Ident\>) · 81b22c45
  Vincent Zweije authored Aug 09, 2001
  
  81b22c45
27 Jul, 2001 1 commit
- Spine depends on history (HistoryPattern in Unsafe spine) · d694793d
  Vincent Zweije authored Jul 27, 2001
```
Swap spine,history module dependencies
Move extendhistory from history to spine
```
  d694793d