[<<][meta][>>][..]
Mon Dec 12 20:23:52 EST 2011
I'm done with these stupid type indexing tricks
{- Primitive data types + Pointers -}
class TMLword t tag where
_wordType :: t -> (TypeName, Int, tag)
wordType t = (name, order) where
(name, order, _) = _wordType t
instance TMLprim t => TMLword t () where
_wordType _ = (primType (undefined :: t), 0, ())
instance TMLword t tag => TMLword t ((), tag) where
_wordType _ = (name, order + 1, ((), tag)) where
(name, order, tag) = _wordType (undefined :: t)
How to just juse integers for these types?
[Reply][About]
[<<][meta][>>][..]