blob: d36f451c91037c02da58e18297604606511b1a12 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE GADTs #-}
-- This should fail, because there is no annotation on shw,
-- but it succeeds in 6.4.1
--
-- It fails again with 7.8 because Outside in doesn't
-- unify under an equality constraint
module ShouldFail where
data Term a where
B :: Bool -> Term Bool
I :: Int -> Term Int
shw (I t) = ("I "++) . shows t
-- shw (B t) = ("B "++) . shows t
|
