blob: e8f749011190025b6456c5fc694296d826ead8d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
:set -XPatternGuards -XArrows -XRankNTypes
let hr :: (forall a. a -> a) -> a; hr _ = undefined
:t lookup
:t hr :: (forall a. a -> a) -> a
:t () >- () -< () >>- () -<< ()
let fun foo | True <- () = ()
:set -fprint-unicode-syntax
:t lookup
:t hr :: (forall a. a -> a) -> a
:t () >- () -< () >>- () -<< ()
let fun foo | True <- () = ()
:set -fno-print-unicode-syntax
:t lookup
:t hr :: (forall a. a -> a) -> a
:t () >- () -< () >>- () -<< ()
let fun foo | True <- () = ()
|
