kmels/dart-haskell

After a value definition is evaluated (from exp to IM Value), it should be added to the heap

Closed this issue · 2 comments

The heap being used now is the environment, namely a list of (Id,IM Value) where a Value can be an ExtCoreExp Exp, an expression wrapped in the constructor ExtCoreExp.

A lot of expressions are evaluated many times because of this, making this issue top priority.

Fixed in 95212df