blob: 9392c23c41705995dddaef873949c791ee7fb6e3 (
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
|
