GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-11 20:22:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

GF.Grammar.*: generalized the type of some functions that can not fail from the Err monad to arbitrary monads

Browse Source
This commit is contained in:
hallgren
2011-09-01 16:35:53 +00:00
parent 117fe7ad70
commit 539c49c23b
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/compiler/GF/Grammar/Lockfield.hs
View File

@@ -32,7 +32,7 @@ lockRecType c t@(RecType rs) =
else RecType (rs ++ [(lockLabel c, RecType [])])
lockRecType c t = plusRecType t $ RecType [(lockLabel c, RecType [])]
unlockRecord :: Ident -> Term -> Err Term
unlockRecord :: Monad m => Ident -> Term -> m Term
unlockRecord c ft = do
let (xs,t) = termFormCnc ft
let lock = R [(lockLabel c, (Just (RecType []),R []))]