testsuite/tests/th/T16980a.hs


1
2
3
4
5
6
7
8
9
10

module T16980a where

default (Integer)  -- just to be really explicit

x = 5   -- this should be an Integer

$(return [])

y :: Int
y = x   -- this should be a type error; types cannot communicate across splices