mirror of
https://github.com/github/semantic.git
synced 2024-12-19 12:51:52 +03:00
Spell out the parameters to the synonyms.
This commit is contained in:
parent
1e2f63adaf
commit
719f33106d
@ -185,10 +185,10 @@ instance (Effectful m, Members '[Resumable exc] effects, Monad (m effects)) => M
|
||||
|
||||
|
||||
-- | The environment for an abstract value type.
|
||||
type EnvironmentFor v = Env.Environment (LocationFor v) v
|
||||
type EnvironmentFor value = Env.Environment (LocationFor value) value
|
||||
|
||||
-- | The exports for an abstract value type.
|
||||
type ExportsFor v = Export.Exports (LocationFor v) v
|
||||
type ExportsFor value = Export.Exports (LocationFor value) value
|
||||
|
||||
-- | The 'Heap' for an abstract value type.
|
||||
type HeapFor value = Heap (LocationFor value) value
|
||||
|
Loading…
Reference in New Issue
Block a user