liquidhaskell-0.4.0.0: tests/crash/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 _ = []