Ticket #13 (new defect)

Opened 7 years ago

Type checker infers Lattice (m LatConstraint) as well as Monad m

Reported by: dom Owned by: dom
Priority: major Milestone:
Component: component1 Version:
Keywords: Cc:


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.

Note: See TracTickets for help on using tickets.