summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/gadt/gadt4.hs
blob: 0d781355975b08e685e5093a451e5f6e136b3da6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
{-# LANGUAGE GADTs #-}

module Main where

data Term a where
   Lit    :: Int -> Term Int  
   IsZero :: Term Int -> Term Bool
   If     :: Term Bool -> Term a -> Term a -> Term a


eval :: Term a -> a
eval (Lit n)       = n  
eval (IsZero t)    = eval t == 0
eval (If t1 t2 t3) = if eval t1 then eval t2 else eval t3

term = If (IsZero (Lit 1)) (Lit 2) (Lit 3)

main = print (eval term)