1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00

Use Member instead of Members in EvaluatableConstraints.

This commit is contained in:
Rob Rix 2018-05-29 09:16:03 -04:00
parent 10897b4394
commit 8b24f01f49

View File

@ -55,23 +55,22 @@ type EvaluatableConstraints location term value effects =
( AbstractValue location value effects ( AbstractValue location value effects
, Declarations term , Declarations term
, FreeVariables term , FreeVariables term
, Members '[ Allocator location value , Member (Allocator location value) effects
, LoopControl value , Member (LoopControl value) effects
, Modules location value , Member (Modules location value) effects
, Reader (Environment location) , Member (Reader (Environment location)) effects
, Reader ModuleInfo , Member (Reader ModuleInfo) effects
, Reader PackageInfo , Member (Reader PackageInfo) effects
, Reader Span , Member (Reader Span) effects
, Resumable (EnvironmentError location) , Member (Resumable (EnvironmentError location)) effects
, Resumable EvalError , Member (Resumable EvalError) effects
, Resumable ResolutionError , Member (Resumable ResolutionError) effects
, Resumable (Unspecialized value) , Member (Resumable (Unspecialized value)) effects
, Return value , Member (Return value) effects
, State (Environment location) , Member (State (Environment location)) effects
, State (Exports location) , Member (State (Exports location)) effects
, State (Heap location (Cell location) value) , Member (State (Heap location (Cell location) value)) effects
, Trace , Member Trace effects
] effects
, Ord location , Ord location
, Reducer value (Cell location value) , Reducer value (Cell location value)
) )