github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
Code Issues Projects Releases Wiki Activity

Calling subcontext keeps the env intact

Browse Source
This commit is contained in:
Timothy Clem 2017-11-29 13:57:48 -08:00
parent af99c51159
commit 99ec8a1758
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Data/Syntax.hs
View File

@ -221,4 +221,4 @@ instance Ord1 Context where liftCompare = genericLiftCompare
instance Show1 Context where liftShowsPrec = genericLiftShowsPrec instance Show1 Context where liftShowsPrec = genericLiftShowsPrec
instance (Monad m) => Eval t v m Context where instance (Monad m) => Eval t v m Context where
eval ev yield Context{..} = ev pure contextSubject >>= yield eval ev yield Context{..} = ev yield contextSubject

2
src/Data/Syntax/Type.hs
View File

@ -21,7 +21,7 @@ instance Show1 Annotation where liftShowsPrec = genericLiftShowsPrec
-- TODO: Specialize Eval for Type to unify the inferred type of the subject with the specified type -- TODO: Specialize Eval for Type to unify the inferred type of the subject with the specified type
instance (Monad m) => Eval t v m Annotation where instance (Monad m) => Eval t v m Annotation where
eval recur yield Annotation{..} = recur pure annotationSubject >>= yield eval recur yield Annotation{..} = recur yield annotationSubject
newtype Product a = Product { productElements :: [a] } newtype Product a = Product { productElements :: [a] }