msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict

Browse Source
This commit is contained in:
krasimir
2010-10-19 13:04:41 +00:00
parent e12d96451d
commit 5acec7be21
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/runtime/haskell/PGF/TypeCheck.hs
View File

@@ -133,10 +133,10 @@ instance Functor (TcM s) where
runTcM :: Abstr -> TcM s a -> s -> MetaStore s -> ([(s,TcError)],[(s,MetaStore s,a)]) runTcM :: Abstr -> TcM s a -> s -> MetaStore s -> ([(s,TcError)],[(s,MetaStore s,a)])
runTcM abs f s ms = collect (unTcM f abs s ms) ([],[]) runTcM abs f s ms = collect (unTcM f abs s ms) ([],[])
where where
collect (Ok _ ms x) (es,xs) = (es,(s,ms,x) : xs) collect (Ok _ ms x) ~(es,xs) = (es,(s,ms,x) : xs)
collect (Fail s e) (es,xs) = ((s,e) : es,xs) collect (Fail s e) ~(es,xs) = ((s,e) : es,xs)
collect (Zero) exs = exs collect (Zero) exs = exs
collect (Plus b1 b2) exs = collect b1 (collect b2 exs) collect (Plus b1 b2) exs = collect b1 (collect b2 exs)
lookupCatHyps :: CId -> TcM s [Hypo] lookupCatHyps :: CId -> TcM s [Hypo]
lookupCatHyps cat = TcM (\abstr s ms -> case Map.lookup cat (cats abstr) of lookupCatHyps cat = TcM (\abstr s ms -> case Map.lookup cat (cats abstr) of