blob: 0def09106128003f121641a9c3d681822f17952c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
:def! type (\e -> putStrLn ("called :type for "++show e++" (ignoring)") >> return "")
:def
:t ()
:ty True
:typ ()
:type False
:def! type (\e -> putStrLn ("called :type for "++show e++" (chaining)") >> return ("::type "++e))
:def
:t ()
:ty True
:typ ()
:type False
:undef type
:def
:t ()
:ty True
:typ ()
:type False
|
