testdata/traceTest.lc


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE TraceTypeCheck #-}

import Internals

id x = x

data X @a (b :: a) where

x :: X (\a b -> '(a, b))
x = undefined