1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00

Align the signature of eval.

This commit is contained in:
Rob Rix 2018-03-01 14:53:12 -05:00
parent 4c53ad729f
commit 4c5ca748d8

View File

@ -40,7 +40,7 @@ class Evaluatable constr where
, Ord (LocationFor value)
, Semigroup (Cell (LocationFor value) value)
)
=> SubtermAlgebra constr term (m value)
=> SubtermAlgebra constr term (m value)
default eval :: (MonadFail m, Show1 constr) => SubtermAlgebra constr term (m value)
eval expr = fail $ "Eval unspecialized for " ++ liftShowsPrec (const (const id)) (const id) 0 expr ""