Blocking for the next release: Framework: - Optimization framework - Renaming GHC: - double uniqueness problem Later: General: - dart, java output Framework: - type "class" inference GHC: - funbox-strict-fields? - ghcsapl: maintain paths (a list of numbers in reversed) during walking that enables advanced optimizations e.g. like inlining if all the occurances are in a different path (not prefixes of each other) - generate stand alone functions from inlinable primitive functions - try to deal with cross compiling: http://ghc.haskell.org/trac/ghc/wiki/Building/CrossCompiling Clean: - Annotate ABC blocks with SAPL code