aboutsummaryrefslogtreecommitdiff
path: root/src/lang/parser.clj
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/lang/parser.clj29
1 files changed, 28 insertions, 1 deletions
diff --git a/src/lang/parser.clj b/src/lang/parser.clj
index 7f1337558..d1bd3dbd8 100644
--- a/src/lang/parser.clj
+++ b/src/lang/parser.clj
@@ -3,7 +3,8 @@
(lang [util :as &util :refer [exec return* return fail fail*
repeat-m try-m try-all-m map-m
apply-m]]
- [lexer :as &lexer])))
+ [lexer :as &lexer]
+ [type :as &type])))
(declare parse-form)
@@ -26,6 +27,11 @@
[::&lexer/float ?float]
(return [::float (Double/parseDouble ?float)]))
+(defn ident->string [ident]
+ (match ident
+ [::&lexer/ident ?ident]
+ ?ident))
+
(defparser ^:private parse-ident
[::&lexer/ident ?ident]
(return [::ident ?ident]))
@@ -124,6 +130,26 @@
=call (apply-m parse-form (list ?call))]
(return [::dynamic-access =object =call])))
+(defparser ^:private parse-ann-class
+ [::&lexer/list ([[::&lexer/ident "ann-class"] [::&lexer/ident ?class] & ?decl] :seq)]
+ (let [[_ class-data] (reduce (fn [[mode data] event]
+ (match event
+ [::&lexer/ident "methods"]
+ [:methods data]
+
+ [::&lexer/ident "fields"]
+ [:fields data]
+
+ [::&lexer/list ([[::&lexer/ident ":"] [::&lexer/ident ?field-name] [::&lexer/ident ?field-class]] :seq)]
+ [mode (assoc-in data [mode ?field-name] [::&type/object ?field-class []])]
+
+ [::&lexer/list ([[::&lexer/ident ":"] [::&lexer/ident ?method-name] [::&lexer/list ([[::&lexer/ident "->"] [::&lexer/tuple ?args*] [::&lexer/ident ?return]] :seq)]] :seq)]
+ [mode (assoc-in data [mode ?method-name] [::&type/fn (map ident->string ?args*) ?return])]
+ ))
+ [nil {}]
+ ?decl)]
+ (return [::ann-class ?class class-data])))
+
(defparser ^:private parse-string
[::&lexer/string ?string]
(return [::string ?string]))
@@ -153,6 +179,7 @@
parse-remove
parse-static-access
parse-dynamic-access
+ parse-ann-class
parse-fn-call]))
;; [Interface]