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

Move the Show constraint on location into the MonadValue instance for Value.

Browse Source
This commit is contained in:
Rob Rix 2018-04-25 18:40:22 -04:00
parent 18cae1545d
commit 7ea0a8e898
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Data/Abstract/Evaluatable.hs
View File

@ -64,7 +64,6 @@ type MonadEvaluatable location term value effects m =
, MonadValue location value effects m
, Recursive term
, Reducer value (Cell location value)
, Show location
)
newtype ReturnThrow value

1
src/Data/Abstract/Value.hs
View File

@ -205,6 +205,7 @@ instance AbstractHole (Value location) where
instance ( Monad (m effects)
, Member (Resumable (ValueError location (Value location))) effects
, MonadEvaluatable location term (Value location) effects m
, Show location
)
=> MonadValue location (Value location) effects m where
unit = pure . injValue $ Unit