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

10 Oct, 2002 6 commits
- use transform_trivial for 0-ary funs · b7061de9
  Diederik van Arkel authored Oct 10, 2002
  
  b7061de9
- prepare possibly_add_let for reuse · af54b74d
  Diederik van Arkel authored Oct 10, 2002
  
  af54b74d
- generate new versions for over-applied functions · b86cae75
  Diederik van Arkel authored Oct 10, 2002
  
  b86cae75
- fuse non-recursive producers · c3920c3c
  Diederik van Arkel authored Oct 10, 2002
  
  c3920c3c
- cleanup case fun generation; · ed0cf607
  Diederik van Arkel authored Oct 10, 2002
```
simplify matching requirements for trivial functions
```
  ed0cf607
- transform record selections · 2a6b3f07
  Diederik van Arkel authored Oct 10, 2002
  
  2a6b3f07
09 Oct, 2002 4 commits
- possiblyFoldOuterCase · 2c791f95
  Diederik van Arkel authored Oct 09, 2002
  
  2c791f95
- SwitchHOFusion · 260f3cc0
  Diederik van Arkel authored Oct 09, 2002
  
  260f3cc0
- only generate functions for safe cases · 8ebf4a97
  Diederik van Arkel authored Oct 09, 2002
```
better free var info for cases
clear info in heap for casefun generation
```
  8ebf4a97
- rnf constructor fusion · 7f5b272b
  Diederik van Arkel authored Oct 09, 2002
  
  7f5b272b
08 Oct, 2002 3 commits
- SwitchReanalyseFunction · 67fd6578
  Diederik van Arkel authored Oct 08, 2002
  
  67fd6578
- Change order of propagation annotation in generateFunction · 1afdb199
  Diederik van Arkel authored Oct 08, 2002
  
  1afdb199
- Add function arity checks · 7c4995e9
  Diederik van Arkel authored Oct 08, 2002
  
  7c4995e9
07 Oct, 2002 1 commit

Diederik van Arkel authored Oct 07, 2002

new recursive fun implementation
use FailExpr for neverMatchingCase
strip and dump commandline args

b02701bb

01 Oct, 2002 1 commit
- minor changes in generics · 6ecd8b4a
  Artem Alimarine authored Oct 01, 2002
  
  6ecd8b4a
23 Aug, 2002 1 commit
- remove record fields: ui_convert_module_n and ui_conversion_table · f624ba81
  John van Groningen authored Aug 23, 2002
  
  f624ba81
07 Aug, 2002 1 commit
- Move partitioning to separate module · 4ed71225
  Diederik van Arkel authored Aug 07, 2002
  
  4ed71225
01 Aug, 2002 3 commits
- fix curried constructor applications · 579343ed
  Diederik van Arkel authored Aug 01, 2002
  
  579343ed
- inline trivial functions and optionally constant functions · be574ba4
  Diederik van Arkel authored Aug 01, 2002
  
  be574ba4
- add and use consumer_is_curried information to producer determination · a1e313da
  Diederik van Arkel authored Aug 01, 2002
  
  a1e313da
30 Jul, 2002 2 commits
- improved type annotations from build_application_type; · 359e0f32
  Diederik van Arkel authored Jul 30, 2002
```
better names for curried producers
```
  359e0f32
- specialize when special available · 5da532d9
  Diederik van Arkel authored Jul 30, 2002
  
  5da532d9
29 Jul, 2002 4 commits
- add removing unused function arguments to fusion · ae16fa90
  Diederik van Arkel authored Jul 29, 2002
  
  ae16fa90
- fixes for removing unused function arguments · ef03e2fb
  Diederik van Arkel authored Jul 29, 2002
  
  ef03e2fb
- move typedefs from trans to syntax; allow for uncurried instances; fix compare for PR_Unused · 554035e5
  Diederik van Arkel authored Jul 29, 2002
  
  554035e5
- optimise (normal) selection from known records · 15e22165
  Diederik van Arkel authored Jul 29, 2002
  
  15e22165
25 Jul, 2002 1 commit
- rename consumer classifications and add CUnused · 7d5efb5d
  Diederik van Arkel authored Jul 25, 2002
  
  7d5efb5d
24 Jul, 2002 3 commits
- minor code reorganisation · 37c09a39
  Diederik van Arkel authored Jul 24, 2002
  
  37c09a39
- improved producer classification · fd76ea56
  Diederik van Arkel authored Jul 24, 2002
  
  fd76ea56
- move consumer classification to separate module · 6e8a1196
  Diederik van Arkel authored Jul 24, 2002
  
  6e8a1196
17 Jul, 2002 1 commit
- add abstract synonym types · f085a2a2
  John van Groningen authored Jul 17, 2002
  
  f085a2a2
17 Jun, 2002 1 commit
- removed ignored !'s · 926a3213
  John van Groningen authored Jun 17, 2002
  
  926a3213
03 Jun, 2002 1 commit
- added constructor/type/field information to generics · c0be2f4c
  Artem Alimarine authored Jun 03, 2002
  
  c0be2f4c
11 Apr, 2002 1 commit
- support for generic type context like in · 00b04d8a
  Artem Alimarine authored Apr 11, 2002
```
foo :: a a -> Bool | eq{|*|} a
```
  00b04d8a
19 Feb, 2002 2 commits
- Disable debugging traces · 86830475
  Diederik van Arkel authored Feb 19, 2002
  
  86830475
- Reorder functions and introduce state record for determine_args · 65948213
  Diederik van Arkel authored Feb 19, 2002
  
  65948213
11 Feb, 2002 1 commit
- class type variables bugfix · f543bc26
  Diederik van Arkel authored Feb 11, 2002
  
  f543bc26
06 Feb, 2002 1 commit
- store strictness annotations in SymbolType instead of AType · 4a1404f8
  John van Groningen authored Feb 06, 2002
  
  4a1404f8
13 Dec, 2001 1 commit
- remove tuple symbol from UniqueSelector (! selector) and MatchExpr · 8bd791fb
  John van Groningen authored Dec 13, 2001
  
  8bd791fb
05 Dec, 2001 1 commit
- removed type from BasicExpr · 7ae1e52d
  John van Groningen authored Dec 05, 2001
```
added BVInt
removed symb_arity from SymbIdent
```
  7ae1e52d