Sat Jul 23 11:26:36 CEST 2011
The problem might be that my term type is not not generic enough, and
should at least have integers and floats. Booleans could be
represented as ints.
I'm following the road to distinguish a term type Code a from a typed
-- Code with type annotation and type conversions.
data TCode = TCfloat (Code Double)
| TCint (Code Integer)
| TCbool (Code Bool)
Conditional jumps and ->Bool projection operations are still missing.
It looks like we're going to need a way to incorporate control flow
graphs at some point. However, let's first solve comparisons and try
to keep control flow in the form of operators which would allow for a
higher level of representation.