blob: 0dd69acb998e1c065ea54fe7329e7a10689a986d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
(module)
(ann-class java.lang.String)
(ann-class java.io.PrintStream
methods
(: println (-> [java.lang.String] Void)))
(ann-class java.lang.System
fields
(: out java.io.PrintStream))
(defclass Tagged [[java.lang.String tag] [java.lang.Object value]])
(definterface Function
(: apply (-> [java.lang.Object] java.lang.Object)))
(def const "IDENTITY")
(def sample (#Tag "value"))
## (ann id #type (All [x] (-> [x] x)))
(def (id x)
x)
(def (main args)
(if true
(_. (_.. java.lang.System out) (println (id "YOLO")))
(_. (_.. java.lang.System out) (println "FALSE"))))
|
