liquidhaskell-0.8.0.2: tests/errors/BadSyn4.hs
module Foo where
type List a = [a]
type Point = List Double
{-@ foo :: n:Nat -> Point n @-}
foo :: Int -> List Double
foo _ = []
module Foo where
type List a = [a]
type Point = List Double
{-@ foo :: n:Nat -> Point n @-}
foo :: Int -> List Double
foo _ = []