testsuite/tests/gadt/FloatEq.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{-# LANGUAGE GADTs #-}
module FloatEq where 


data T a where 
  T1 :: T Int
  T2 :: T a
  
  
h :: T a -> a -> Int
h = undefined


f x y = case x of 
          T1 -> y::Int
          T2 -> h x y