Changes between Version 45 and Version 46 of Supercompilation
- Aug 5, 2009 1:44:40 PM (7 years ago)
v45 v46 45 45 * Flag -fexpose-all-unfoldings (a cousin of -fomit-interface-pragmas) (default is off) to switch on the spit-out-all-unfoldings stuff. 46 46 * Validate with flag off; then push. 47 * Add IO monad; add logging (one line per specialisation start, and completion) 47 * Add IO monad; 48 48 * Write msg, split in the R form. Still with eager substitution 49 49 * Figure out arity for each top-level (lambda lifted) function, and only inline when it is saturated. (Write notes in paper, explaining why this might be good.) NB: linearity becomes simpler, because a variable cannot occur under a lambda. … … 61 61 62 62 Done 63 63 64 * Use a record for the memo table contents 64 65 * State monad and good logging info; Stole SimplMonad.