Ticket #13 (new defect)
Opened 5 years ago
Type checker infers Lattice (m LatConstraint) as well as Monad m
|Reported by:||dom||Owned by:||dom|
Although there is an instance defined for "lifted" constraints ("lifted" so that you can get errors as well as constraints), the intention was only to use the "lifted" form as a monad.
lToPer :: (L.Lattice (m L.MyLatConstraint), MonadError [Char] m) => ASNBuiltin a -> a -> [ESS a] -> m BP.BitPut
We need to track down where the type checker is inferring Lattice and check that this is meaningful and what we intended.