github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-15 10:02:27 +03:00
Code Issues Projects Releases Wiki Activity

Add QualifedImportError

Browse Source
This commit is contained in:
joshvera 2018-11-16 16:09:42 -05:00
parent f39da9578a
commit e54cc8b096
1 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/Data/Abstract/Evaluatable.hs
View File

@ -34,6 +34,7 @@ import Data.Semigroup.Foldable
import Data.Sum hiding (project) import Data.Sum hiding (project)
import Data.Term import Data.Term
import Prologue import Prologue
import Data.ImportPath (ImportPath)
-- | The 'Evaluatable' class defines the necessary interface for a term to be evaluated. While a default definition of 'eval' is given, instances with computational content must implement 'eval' to perform their small-step operational semantics. -- | The 'Evaluatable' class defines the necessary interface for a term to be evaluated. While a default definition of 'eval' is given, instances with computational content must implement 'eval' to perform their small-step operational semantics.
class (Show1 constr, Foldable constr) => Evaluatable constr where class (Show1 constr, Foldable constr) => Evaluatable constr where
@ -132,14 +133,15 @@ instance HasPrelude 'JavaScript where
-- | The type of error thrown when failing to evaluate a term. -- | The type of error thrown when failing to evaluate a term.
data EvalError address value return where data EvalError address value return where
NoNameError :: EvalError address value Name QualifiedImportError :: ImportPath -> EvalError address value (ValueRef address value)
-- Indicates that our evaluator wasn't able to make sense of these literals. AssignmentRvalError :: value -> EvalError address value (ValueRef address value)
IntegerFormatError :: Text -> EvalError address value Integer
FloatFormatError :: Text -> EvalError address value Scientific
RationalFormatError :: Text -> EvalError address value Rational
DefaultExportError :: EvalError address value () DefaultExportError :: EvalError address value ()
ExportError :: ModulePath -> Name -> EvalError address value () ExportError :: ModulePath -> Name -> EvalError address value ()
AssignmentRvalError :: value -> EvalError address value (ValueRef address value) -- Indicates that our evaluator wasn't able to make sense of these literals.
FloatFormatError :: Text -> EvalError address value Scientific
IntegerFormatError :: Text -> EvalError address value Integer
NoNameError :: EvalError address value Name
RationalFormatError :: Text -> EvalError address value Rational
ReferenceError :: value -> Name -> EvalError address value (ValueRef address value) ReferenceError :: value -> Name -> EvalError address value (ValueRef address value)
deriving instance (Eq address, Eq value) => Eq (EvalError address value return) deriving instance (Eq address, Eq value) => Eq (EvalError address value return)
@ -155,8 +157,9 @@ instance NFData value => NFData1 (EvalError address value) where
NoNameError -> () NoNameError -> ()
RationalFormatError i -> rnf i RationalFormatError i -> rnf i
ReferenceError v n -> rnf v `seq` rnf n ReferenceError v n -> rnf v `seq` rnf n
QualifiedImportError i -> rnf i
instance (NFData address, NFData value, NFData return) => NFData (EvalError address value return) where instance (NFData value, NFData return) => NFData (EvalError address value return) where
rnf = liftRnf rnf rnf = liftRnf rnf
instance Eq value => Eq1 (EvalError address value) where instance Eq value => Eq1 (EvalError address value) where