Commit 1654f3c0 authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Refactored desugaring phase

parent 66168bd4
......@@ -118,6 +118,9 @@ run m tyEnv = S.evalState m initState
class Typeable a where
typeOf :: ValueEnv -> a -> Type
instance Typeable Type where
typeOf _ ty = ty
instance Typeable Ident where
typeOf = computeType identType
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment