Ticket #13 (new defect)

Opened 6 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:

Description

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.