1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 15:35:14 +03:00

Extra constraint

This commit is contained in:
Timothy Clem 2018-03-16 13:22:34 -07:00
parent 9d767ba861
commit 7b558445d6

View File

@ -130,7 +130,6 @@ doWhile body cond = loop $ \ continue -> body *> do
instance ( Monad m instance ( Monad m
, MonadAddressable location Value m , MonadAddressable location Value m
, MonadAnalysis term Value m , MonadAnalysis term Value m
, Show location
) )
=> MonadValue Value m where => MonadValue Value m where