... | ... | @@ -9,7 +9,7 @@ This page is very much a draft and may be incorrect in places. Please fix proble |
|
|
|
|
|
- Boyer Moore: out of memory
|
|
|
|
|
|
- nbody: Assertion; evalPush
|
|
|
- nbody: unsafe-things.
|
|
|
|
|
|
- boyer2: head: empty list; splitTerm
|
|
|
|
... | ... | @@ -17,8 +17,6 @@ This page is very much a draft and may be incorrect in places. Please fix proble |
|
|
|
|
|
## Open shortcomings
|
|
|
|
|
|
- Msg on new terms
|
|
|
|
|
|
- Change representation in rho
|
|
|
|
|
|
- case var subst
|
... | ... | @@ -106,22 +104,20 @@ Done |
|
|
|
|
|
- Refined whistle-blowing test
|
|
|
- Write split in the R form.
|
|
|
|
|
|
- Write msg in the R form. Still with eager substitution
|
|
|
|
|
|
- add logging (one line per specialisation start, and completion)
|
|
|
- Use a record for the memo table contents
|
|
|
- State monad and good logging info; Stole SimplMonad.
|
|
|
- Lambda lifting
|
|
|
- Add the "loop-breaker" info to interface files (and read it back in).
|
|
|
- Export unfoldings for recursive functions; does not validate:
|
|
|
|
|
|
- ds060: Overlapping pattern match?
|
|
|
- ds061: Turns pattern-matches non-exhaustive
|
|
|
- dsrun015: Foo.x not in scope
|
|
|
- driver063: Exposes modules that were invisible earlier.
|
|
|
- print010: changes output from Integer to GHC.Integer.GMP.Internals.Integer 0 to GHC.Integer.GMP.Internals.S\# 0.
|
|
|
- break026: No show instance
|
|
|
- add logging (one line per specialisation start, and completion)
|
|
|
- Use a record for the memo table contents
|
|
|
- State monad and good logging info; Stole SimplMonad.
|
|
|
- Lambda lifting
|
|
|
- Add the "loop-breaker" info to interface files (and read it back in).
|
|
|
- Export unfoldings for recursive functions; does not validate:
|
|
|
|
|
|
- ds060: Overlapping pattern match?
|
|
|
- ds061: Turns pattern-matches non-exhaustive
|
|
|
- dsrun015: Foo.x not in scope
|
|
|
- driver063: Exposes modules that were invisible earlier.
|
|
|
- print010: changes output from Integer to GHC.Integer.GMP.Internals.Integer 0 to GHC.Integer.GMP.Internals.S\# 0.
|
|
|
- break026: No show instance
|
|
|
|
|
|
|
|
|
A substitution-based implementation exists, that transforms append, reverse with accumulating parameters, basic arithmetics and similar things. There are still bugs in the implementation, mainly name capture. It takes 8 seconds to transform the double append example, but there's still plenty of room for improvement with respect to performance.
|
... | ... | |