mirror of
https://github.com/github/semantic.git
synced 2024-11-28 10:15:55 +03:00
🔥 the export effect in Evaluatable instances.
This commit is contained in:
parent
293d76a32f
commit
5bef9603e9
@ -64,7 +64,6 @@ type EvaluatableConstraints address term value effects =
|
|||||||
, Member (Resumable ResolutionError) effects
|
, Member (Resumable ResolutionError) effects
|
||||||
, Member (Resumable (Unspecialized value)) effects
|
, Member (Resumable (Unspecialized value)) effects
|
||||||
, Member (Return value) effects
|
, Member (Return value) effects
|
||||||
, Member (State (Exports address)) effects
|
|
||||||
, Member (State (Heap address (Cell address) value)) effects
|
, Member (State (Heap address (Cell address) value)) effects
|
||||||
, Member Trace effects
|
, Member Trace effects
|
||||||
, Ord address
|
, Ord address
|
||||||
|
Loading…
Reference in New Issue
Block a user