@@ -4,6 +4,7 @@ module Transform.Canonicalize (interface, metadataModule) where
44import Control.Arrow ((***))
55import Control.Applicative (Applicative,(<$>),(<*>))
66import Control.Monad.Identity
7+import qualified Data.Traversable as T
78import qualified Data.Map as Map
89import qualified Data.Set as Set
910import qualified Data.List as List
@@ -149,9 +150,7 @@ rename env (L s expr) =
149150 rename' (Definition p body mtipe) =
150151 Definition <$> format (renamePattern env' p)
151152 <*> rename env' body
152− <*> case mtipe of
153− Nothing -> return Nothing
154− Just tipe -> Just <$> renameType' env' tipe
153+ <*> T.traverse (renameType' env') mtipe
155154
156155 Var x -> Var <$> format (replace "variable" env x)
157156