Skip to content

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information