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

Some more Eval instances

Browse Source
This commit is contained in:
Timothy Clem 2017-11-15 15:12:19 -08:00
parent 68ca2166bf
commit e117286359
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/Data/Syntax.hs
View File

@ -1,6 +1,14 @@
{-# LANGUAGE DeriveAnyClass, GADTs, TypeOperators #-}
{-# LANGUAGE DeriveAnyClass, GADTs, TypeOperators, MultiParamTypeClasses, UndecidableInstances #-}
module Data.Syntax where
import Abstract.Eval
import Abstract.Value
import Abstract.Primitive
import Abstract.Environment
import Abstract.Store
import Control.Monad hiding (fail)
import Control.Monad.Effect
import Control.Monad.Fail
import Algorithm hiding (Empty)
import Control.Applicative
import Control.Monad.Error.Class hiding (Error)
@ -24,6 +32,7 @@ import Data.Term
import Data.Union
import GHC.Generics
import GHC.Stack
import Data.ByteString.Char8 (unpack)
-- Combinators
@ -144,6 +153,7 @@ data Error a = Error { errorCallStack :: ErrorStack, errorExpected :: [String],
instance Eq1 Error where liftEq = genericLiftEq
instance Ord1 Error where liftCompare = genericLiftCompare
instance Show1 Error where liftShowsPrec = genericLiftShowsPrec
instance (Monad m) => Eval (Value s a l) m s a Error
errorSyntax :: Error.Error String -> [a] -> Error a
errorSyntax Error.Error{..} = Error (ErrorStack (getCallStack callStack)) errorExpected errorActual
@ -178,3 +188,5 @@ instance Diffable Context where
instance Eq1 Context where liftEq = genericLiftEq
instance Ord1 Context where liftCompare = genericLiftCompare
instance Show1 Context where liftShowsPrec = genericLiftShowsPrec
instance (Monad m) => Eval (Value s a l) m s a Context where
evaluate ev Context{..} = ev contextSubject