test2.lang


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

(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))

(def (id x)
  x)

(def (main args)
  (if true
    (_. (_.. java.lang.System out) (println (id "YOLO")))
    (_. (_.. java.lang.System out) (println "FALSE"))))