github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Code Issues Projects Releases Wiki Activity

Revert "Use a type synonym for the domain effect signature."

Browse Source 
This reverts commit 20bf463f73581a5479b09ecd04e3bc3be5619171.
This commit is contained in:
Rob Rix 2018-12-18 16:45:11 -05:00
parent 92f9998746
commit 0f5023cf59
1 changed files with 21 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
src/Semantic/Analysis.hs
View File

@ -37,16 +37,6 @@ type DomainC term address value m
( InterposeC (Resumable (BaseError (UnspecializedError address value))) (Eff ( InterposeC (Resumable (BaseError (UnspecializedError address value))) (Eff
m))))))))))))))) m)))))))))))))))
type DomainSig term address value m
= Function term address value
:+: While value
:+: Boolean value
:+: Abstract.String value
:+: Numeric value
:+: Bitwise value
:+: Unit value
:+: Interpose (Resumable (BaseError (UnspecializedError address value)))
-- | Evaluate a list of modules with the prelude for the passed language available, and applying the passed function to every module. -- | Evaluate a list of modules with the prelude for the passed language available, and applying the passed function to every module.
evaluate :: ( Carrier outerSig outer evaluate :: ( Carrier outerSig outer
, derefSig ~ (Deref value :+: allocatorSig) , derefSig ~ (Deref value :+: allocatorSig)
@ -94,7 +84,27 @@ evaluate lang runModule modules = do
runDomainEffects :: ( AbstractValue term address value (DomainC term address value m) runDomainEffects :: ( AbstractValue term address value (DomainC term address value m)
, Carrier sig m , Carrier sig m
, Carrier (DomainSig term address value m) (DomainC term address value m) , unitC ~ UnitC value (Eff (InterposeC (Resumable (BaseError (UnspecializedError address value))) (Eff m)))
, unitSig ~ (Unit value :+: Interpose (Resumable (BaseError (UnspecializedError address value))) :+: sig)
, Carrier unitSig unitC
, bitwiseC ~ BitwiseC value (Eff unitC)
, bitwiseSig ~ (Abstract.Bitwise value :+: unitSig)
, Carrier bitwiseSig bitwiseC
, numericC ~ NumericC value (Eff bitwiseC)
, numericSig ~ (Abstract.Numeric value :+: bitwiseSig)
, Carrier numericSig numericC
, stringC ~ StringC value (Eff numericC)
, stringSig ~ (Abstract.String value :+: numericSig)
, Carrier stringSig stringC
, booleanC ~ BooleanC value (Eff stringC)
, booleanSig ~ (Boolean value :+: stringSig)
, Carrier booleanSig booleanC
, whileC ~ WhileC value (Eff booleanC)
, whileSig ~ (While value :+: booleanSig)
, Carrier whileSig whileC
, functionC ~ FunctionC term address value (Eff whileC)
, functionSig ~ (Function term address value :+: whileSig)
, Carrier functionSig functionC
, HasPrelude lang , HasPrelude lang
, Member (Allocator address) sig , Member (Allocator address) sig
, Member (Deref value) sig , Member (Deref value) sig