Linear types and Template Haskell
The linear types implementation currently permits
$([d| data T where { MkT :: Int %m -> T } |])
but there's no place to store the multiplicity in Language.TemplateHaskell.TH.Syntax.Con
, so it's ignored and splicing does not give the expected result. Instead, this should be rejected.
Fix incoming.