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

Revert "🔥 the redundant m parameter from DomainSig."

Browse Source 
This reverts commit 930283dc52e71b6d2df88cd161d7b990a3e2f739.
This commit is contained in:
Rob Rix 2018-12-18 16:45:08 -05:00
parent 36f3b7afaf
commit 92f9998746
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Semantic/Analysis.hs
View File

@ -37,7 +37,7 @@ type DomainC term address value m
( InterposeC (Resumable (BaseError (UnspecializedError address value))) (Eff
m)))))))))))))))
type DomainSig term address value
type DomainSig term address value m
= Function term address value
:+: While value
:+: Boolean value
@ -94,7 +94,7 @@ evaluate lang runModule modules = do
runDomainEffects :: ( AbstractValue term address value (DomainC term address value m)
, Carrier sig m
, Carrier (DomainSig term address value) (DomainC term address value m)
, Carrier (DomainSig term address value m) (DomainC term address value m)
, HasPrelude lang
, Member (Allocator address) sig
, Member (Deref value) sig