All: don't ignore */mal. Fixes #99
[jackhill/mal.git] / r / reader.r
CommitLineData
4d1456b9
JM
1..reader.. <- TRUE
2
3if(!exists("..types..")) source("types.r")
4
5new.Reader <- function(tokens) {
6 e <- structure(new.env(), class="Reader")
7 e$tokens <- tokens
8 e$position <- 1
9 e
10}
11
12Reader.peek <- function(rdr) {
13 if (rdr$position > length(rdr$tokens)) return(NULL)
14 rdr$tokens[[rdr$position]]
15}
16
17Reader.next <- function(rdr) {
18 if (rdr$position > length(rdr$tokens)) return(NULL)
19 rdr$position <- rdr$position + 1
20 rdr$tokens[[rdr$position-1]]
21}
22
23tokenize <- function(str) {
24 re <- "[\\s,]*(~@|[\\[\\]\\{\\}\\(\\)'`~^@]|\"(?:\\\\.|[^\\\\\"])*\"|;.*|[^\\s\\[\\]\\{\\}\\('\"`,;\\)]*)"
25 m <- lapply(regmatches(str, gregexpr(re, str, perl=TRUE)),
26 function(e) sub("^[\\s,]+", "", e, perl=TRUE))
27 res <- list()
28 i <- 1
29 for(v in m[[1]]) {
c30efef4 30 if (v == "" || substr(v,1,1) == ";") next
4d1456b9
JM
31 res[[i]] <- v
32 i <- i+1
33 }
34 res
35}
36
37re_match <- function(re, str) { length(grep(re, c(str))) > 0 }
38
39read_atom <- function(rdr) {
40 token <- Reader.next(rdr)
8128c69a
JM
41 if (re_match("^-?[0-9]+$", token)) {
42 as.integer(token)
43 } else if (re_match("^-?[0-9][0-9.]*$", token)) {
44 as.double(token)
4d1456b9 45 } else if (substr(token,1,1) == "\"") {
01feedfe
JM
46 gsub("\\\\n", "\\n",
47 gsub("\\\\\"", "\"",
48 substr(token, 2, nchar(token)-1)))
b8ee29b2
JM
49 } else if (substr(token,1,1) == ":") {
50 new.keyword(substring(token,2))
4d1456b9 51 } else if (token == "nil") {
01feedfe 52 nil
4d1456b9
JM
53 } else if (token == "true") {
54 TRUE
55 } else if (token == "false") {
56 FALSE
57 } else {
c30efef4 58 new.symbol(token)
4d1456b9
JM
59 }
60}
61
62read_seq <- function(rdr, start="(", end=")") {
63 lst <- list()
64 token <- Reader.next(rdr)
65 if (token != start) {
66 throw(concat("expected '", start, "'"))
67 }
68 repeat {
69 token <- Reader.peek(rdr)
70 if (is.null(token)) {
71 throw(concat("expected '", end, "', got EOF"))
72 }
73 if (token == end) break
74 lst[[length(lst)+1]] <- read_form(rdr)
75 }
76 Reader.next(rdr)
77 new.listl(lst)
78}
79
80read_form <- function(rdr) {
81 token <- Reader.peek(rdr)
c30efef4
JM
82 if (token == "'") {
83 . <- Reader.next(rdr);
84 new.list(new.symbol("quote"), read_form(rdr))
85 } else if (token == "`") {
86 . <- Reader.next(rdr);
87 new.list(new.symbol("quasiquote"), read_form(rdr))
88 } else if (token == "~") {
89 . <- Reader.next(rdr);
90 new.list(new.symbol("unquote"), read_form(rdr))
91 } else if (token == "~@") {
92 . <- Reader.next(rdr);
93 new.list(new.symbol("splice-unquote"), read_form(rdr))
36737ae5
JM
94 } else if (token == "^") {
95 . <- Reader.next(rdr)
96 m <- read_form(rdr)
97 new.list(new.symbol("with-meta"), read_form(rdr), m)
98 } else if (token == "@") {
99 . <- Reader.next(rdr);
100 new.list(new.symbol("deref"), read_form(rdr))
c30efef4 101 } else if (token == ")") {
4d1456b9
JM
102 throw("unexpected ')'")
103 } else if (token == "(") {
104 new.listl(read_seq(rdr))
105 } else if (token == "]") {
106 throw("unexpected ']'")
107 } else if (token == "[") {
108 new.vectorl(read_seq(rdr, "[", "]"))
36737ae5
JM
109 } else if (token == "}") {
110 throw("unexpected '}'")
111 } else if (token == "{") {
112 new.hash_mapl(read_seq(rdr, "{", "}"))
4d1456b9
JM
113 } else {
114 read_atom(rdr)
115 }
116}
117
118read_str <- function(str) {
119 tokens <- tokenize(str)
01feedfe 120 if (length(tokens) == 0) return(nil)
4d1456b9
JM
121 return(read_form(new.Reader(tokens)))
122}
123
124#cat("---\n")
125#print(tokenize("123"))
126#cat("---\n")
127#print(tokenize(" ( 123 456 abc \"def\" ) "))
128
129#rdr <- new.reader(tokenize(" ( 123 456 abc \"def\" ) "))
130#Reader.peek(rdr)
131#Reader.next(rdr)
132#Reader.next(rdr)
133#Reader.next(rdr)
134#Reader.next(rdr)
135#Reader.next(rdr)
136#Reader.next(rdr)
137#Reader.next(rdr)