Multiple refinements

[Alex Rozenshteyn]

Liquid Haskell does not support this feature, right?

{-@ aNumber :: {v:Int | Even v} @-}
{-@ aNumber :: {v:int | Nat v}  @-}
aNumber :: Int
aNumber = 8

I know it's not particularly useful here, but for specifying multiple invariants on functions, I think it reads more cleanly than trying to fit them all into one signature.

[Ranjit Jhala]

That is correct. Indeed, this would be an interesting feature to have! 

--
You received this message because you are subscribed to the Google Groups "liquidhaskell" group.
To unsubscribe from this group and stop receiving emails from it, send an email to liquidhaskel...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.