liquidhaskell-0.8.0.2: tests/todo/aliasConst.hs
module Foo where
-- TODO: Expressions inside applications of type and predicate aliases.
{-@ predicate Rng Lo V Hi = (Lo <= V && V < Hi) @-}
{-@ bog :: {v:Int | (Rng 0 v 10)} @-}
bog :: Int
bog = 5
module Foo where
-- TODO: Expressions inside applications of type and predicate aliases.
{-@ predicate Rng Lo V Hi = (Lo <= V && V < Hi) @-}
{-@ bog :: {v:Int | (Rng 0 v 10)} @-}
bog :: Int
bog = 5