testsuite/tests/typecheck/should_run/TestTypeableBinary.stdout


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

good: Int
good: Int#
good: IO
good: Maybe
good: TYPE
good: RuntimeRep
good: 'IntRep
good: FUN 'Many 'LiftedRep 'LiftedRep
good: Proxy * Int
good: Proxy (TYPE 'IntRep) Int#
good: *
good: Int -> Int
good: 5
good: "hello world"
good: 'Just Nat 5