[Haskell-cafe] Type level sets with GADTs, fundeps etc

Jeff Polakow jeff.polakow at db.com
Tue Jul 15 10:27:59 EDT 2008


> data LSet t where
>     Nil :: LSet Nil
>     Ins :: (Member a t b
>           , If b t (a ::: t) r) 
>           => L a -> LSet t -> LSet r
Try replacing both original occurrences of r, i.e. (untested)

    Ins :: (Member a t b, If b t (a ::: t) (LSet r)) => L a -> LSet t -> 
LSet r



This e-mail may contain confidential and/or privileged information. If you 
are not the intended recipient (or have received this e-mail in error) 
please notify the sender immediately and destroy this e-mail. Any 
unauthorized copying, disclosure or distribution of the material in this 
e-mail is strictly forbidden.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080715/a2661e1f/attachment.htm

More information about the Haskell-Cafe mailing list