... | ... | @@ -3,6 +3,32 @@ |
|
|
|
|
|
This page is very much a draft and may be incorrect in places. Please fix problems that you spot.
|
|
|
|
|
|
## Current Bugs
|
|
|
|
|
|
- Naivrec: infinite recursion
|
|
|
|
|
|
- Boyer Moore: out of memory
|
|
|
|
|
|
- nbody: Assertion
|
|
|
|
|
|
- boyer2: head: empty list; splitTerm
|
|
|
|
|
|
- Sieve2: run with argument 3. Wrong output.
|
|
|
|
|
|
## Open shortcomings
|
|
|
|
|
|
- Msg on new terms
|
|
|
|
|
|
- Change representation in rho
|
|
|
|
|
|
- case var subst
|
|
|
|
|
|
- strictness annotations
|
|
|
|
|
|
- unsafePerformIO etc.
|
|
|
|
|
|
- Extend homemb.
|
|
|
|
|
|
## Lambda lifting
|
|
|
|
|
|
- We lambda lift to avoid re-specialising the same local function in two different branches: letrec g = .. in (f1 (g x), f2 (g x))
|
... | ... | |