[<<][meta][>>][..]
Fri Oct 14 13:07:43 EDT 2011

Type annotations in Asm interpretation of ExprM

It seems that these instances where missing in a previous attempt:

instance TypeOf (Term Tint)   where typeOf _ = aInt
instance TypeOf (Term Tfloat) where typeOf _ = aFloat

Now all type info seems to propagate properly.  I've added type
annotation to everything, so that even the really "dumb" LLVM
annoation can be generated:

data Term t = Var TypeName VarName
            | Lit TypeName LitRep
            | Op  TypeName OpName [Term t]
            | Res [Term t]
            deriving (Eq)



[Reply][About]
[<<][meta][>>][..]