aboutsummaryrefslogtreecommitdiff
path: root/src/lang
diff options
context:
space:
mode:
authorEduardo Julian2015-01-03 02:31:14 -0400
committerEduardo Julian2015-01-03 02:31:14 -0400
commit212dd66966a873e3d7183b071f719ef58e4d88fe (patch)
tree0768fad2a0a88e7a91d7b542f32471a02eaea9b7 /src/lang
parent648110a554a13e1caaf846a60c85cccadcda6e0d (diff)
- Beginning to implement compiler in the language itself.
- The language can now handle more symbols on identifiers.
Diffstat (limited to 'src/lang')
-rw-r--r--src/lang/analyser.clj44
-rw-r--r--src/lang/compiler.clj12
-rw-r--r--src/lang/lexer.clj2
-rw-r--r--src/lang/util.clj11
4 files changed, 24 insertions, 45 deletions
diff --git a/src/lang/analyser.clj b/src/lang/analyser.clj
index 1e2c684bb..30592c817 100644
--- a/src/lang/analyser.clj
+++ b/src/lang/analyser.clj
@@ -39,9 +39,9 @@
(defn ^:private is-macro? [name]
(fn [state]
- (prn 'is-macro? (nth name 1)
- (get-in state [:defs (:name state) (nth name 1) :mode])
- (= (get-in state [:defs (:name state) (nth name 1) :mode]) ::macro))
+ ;; (prn 'is-macro? (nth name 1)
+ ;; (get-in state [:defs (:name state) (nth name 1) :mode])
+ ;; (= (get-in state [:defs (:name state) (nth name 1) :mode]) ::macro))
[::&util/ok [state (= (get-in state [:defs (:name state) (nth name 1) :mode]) ::macro)]]))
(def ^:private next-local-idx
@@ -407,7 +407,7 @@
(return (annotated [::dynamic-method =target =owner ?method =method =args] (&type/return-type =method))))]))))
(defn ->token [x]
- (prn '->token x)
+ ;; (prn '->token x)
(let [variant (.newInstance (.loadClass loader "test2.Variant"))]
(match x
[::&parser/string ?text]
@@ -448,7 +448,7 @@
(reverse xs))))
(defn ->clojure-token [x]
- (prn '->clojure-token x (.-tag x))
+ ;; (prn '->clojure-token x (.-tag x))
(case (.-tag x)
"Text" [::&parser/string (-> x .-value .-_0 (doto (-> string? assert)))]
"Ident" [::&parser/ident (-> x .-value .-_0 (doto (-> string? assert)))]
@@ -457,7 +457,7 @@
"Quote" [::&parser/quote (-> x .-value .-_0 ->clojure-token)]))
(defn tokens->clojure [xs]
- (prn 'tokens->clojure xs (.-tag xs))
+ ;; (prn 'tokens->clojure xs (.-tag xs))
(case (.-tag xs)
"Nil" '()
"Cons" (let [tuple2 (.-value xs)]
@@ -465,36 +465,6 @@
(tokens->clojure (.-_1 tuple2))))
))
-;; (defn ->clojure-tokens [xs]
-;; (case (.-tag xs)
-;; "Cons" (let [tuple2 (.-value xs)]
-;; (cons (->clojure-token (.-_0 tuple2)) (->clojure-tokens (.-_1 tuple2))))
-;; "Nil" '()))
-
-(comment
- (-> (->token [::&parser/string "YOLO"])
- .-value
- .-_0)
-
- (-> (->tokens (list [::&parser/string "YOLO"]))
- ;; .-tag
- .-value
- .-_1
- .-tag
- )
-
- (let [_ (prn 'loader loader)
- macro (-> loader (.loadClass "test2$_QUOTE_") .newInstance)
- tokens (->tokens (list [::&parser/string "YOLO"]))]
- (prn macro)
- (prn tokens)
- (prn (.apply macro tokens))
- (prn (->clojure-token (.apply macro tokens)))
- )
-
-
- )
-
(defanalyser analyse-fn-call
[::&parser/fn-call ?fn ?args]
(exec [;; :let [_ (prn 'PRE '?fn ?fn)]
@@ -513,7 +483,7 @@
[::global ?module ?name]
(.newInstance (.loadClass loader (str ?module "$" (normalize-ident ?name)))))
output (->clojure-token (.apply macro (->tokens ?args)))]
- (prn "MACRO CALL!" macro output)
+ ;; (prn "MACRO CALL!" macro output)
(analyse-form* output)))
(exec [=args (map-m analyse-form* ?args)]
(return (annotated [::call =fn =args] [::&type/object "java.lang.Object" []]))))
diff --git a/src/lang/compiler.clj b/src/lang/compiler.clj
index 113cb2fed..27652c1ad 100644
--- a/src/lang/compiler.clj
+++ b/src/lang/compiler.clj
@@ -23,7 +23,7 @@
;; [Utils/General]
(defn ^:private write-file [file data]
- (println 'write-file file (alength data))
+ ;; (println 'write-file file (alength data))
(with-open [stream (java.io.BufferedOutputStream. (java.io.FileOutputStream. file))]
(.write stream data))
;; (Thread/sleep 2000)
@@ -32,11 +32,11 @@
(let [;; loader (proxy [ClassLoader] [])
]
(defn load-class! [name file-name]
- (println "Defining..." name "@" file-name ;; (alength bytecode)
- )
+ ;; (println "Defining..." name "@" file-name ;; (alength bytecode)
+ ;; )
;; (prn 'loader loader)
(.loadClass loader name)
- (println "SUCCESFUL LOAD!")
+ ;; (println "SUCCESFUL LOAD!")
;; (.defineClass loader name bytecode 0 (alength bytecode))
))
@@ -304,7 +304,7 @@
(->> (dotimes [_ (inc cleanup-level)])))
(.visitJumpInsn Opcodes/GOTO default-label)))
- [::store [::&analyser/local 0 ?idx] $body]
+ [::store [::&analyser/local _ ?idx] $body]
(doto writer
(.visitVarInsn Opcodes/ASTORE ?idx)
(-> (.visitJumpInsn Opcodes/GOTO (get mappings $body))
@@ -835,7 +835,7 @@
nil))
(defn quoted->token [quoted]
- (prn 'quoted->token quoted)
+ ;; (prn 'quoted->token quoted)
(match quoted
[::&parser/string ?text]
{:form [::&analyser/variant "Text" (list {:form [::&analyser/literal ?text]
diff --git a/src/lang/lexer.clj b/src/lang/lexer.clj
index 9fa533dc5..7b23c5947 100644
--- a/src/lang/lexer.clj
+++ b/src/lang/lexer.clj
@@ -52,7 +52,7 @@
;; [Lexers]
(def ^:private lex-white-space (lex-regex #"^(\s+)"))
-(def +ident-re+ #"^([a-zA-Z\-\+\_\=!@$%^&*<>\.,/\\\|':\~][0-9a-zA-Z\-\+\_\=!@$%^&*<>\.,/\\\|':\~]*)")
+(def +ident-re+ #"^([a-zA-Z\-\+\_\=!@$%^&*<>\.,/\\\|':\~\?][0-9a-zA-Z\-\+\_\=!@$%^&*<>\.,/\\\|':\~\?]*)")
(do-template [<name> <tag> <regex>]
(def <name>
diff --git a/src/lang/util.clj b/src/lang/util.clj
index 7eb431033..063dfa061 100644
--- a/src/lang/util.clj
+++ b/src/lang/util.clj
@@ -139,16 +139,25 @@
\+ "_PLUS_"
\- "_DASH_"
\/ "_SLASH_"
+ \\ "_BSLASH_"
\_ "_UNDERS_"
\% "_PERCENT_"
\$ "_DOLLAR_"
- \! "_BANG_"
\' "_QUOTE_"
\` "_BQUOTE_"
\@ "_AT_"
\^ "_CARET_"
\& "_AMPERS_"
\= "_EQ_"
+ \! "_BANG_"
+ \? "_QM_"
+ \: "_COLON_"
+ \; "_SCOLON_"
+ \. "_PERIOD_"
+ \, "_COMMA_"
+ \< "_LT_"
+ \> "_GT_"
+ \~ "_TILDE_"
;; default
char))