atomy 0.1.1 → 0.6.3
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +7 -0
- data/Gemfile +13 -0
- data/LICENSE.md +201 -0
- data/bin/atomy +16 -133
- data/kernel/array.ay +6 -0
- data/kernel/atomy.ay +18 -0
- data/kernel/condition.ay +171 -271
- data/kernel/control-flow.ay +197 -192
- data/kernel/core.ay +120 -0
- data/kernel/data.ay +83 -39
- data/kernel/define.ay +84 -93
- data/kernel/doc.ay +282 -449
- data/kernel/dynamic.ay +25 -29
- data/kernel/file.ay +9 -0
- data/kernel/grammar.ay +267 -0
- data/kernel/hash.ay +17 -0
- data/kernel/interpolation.ay +59 -0
- data/kernel/io.ay +70 -244
- data/kernel/let-macro.ay +24 -0
- data/kernel/let-pattern.ay +24 -0
- data/kernel/loop.ay +80 -0
- data/kernel/mutation.ay +53 -0
- data/kernel/particles.ay +176 -39
- data/kernel/patterns.ay +527 -191
- data/kernel/pretty.ay +311 -277
- data/kernel/quotes.ay +29 -0
- data/kernel/range.ay +4 -0
- data/kernel/regexp.ay +23 -0
- data/kernel/repl.ay +83 -109
- data/kernel/stack-local.ay +21 -0
- data/lib/atomy.rb +37 -0
- data/lib/atomy/bootstrap.rb +256 -0
- data/lib/atomy/code/assign.rb +64 -0
- data/lib/atomy/code/block.rb +98 -0
- data/lib/atomy/code/class_variable.rb +17 -0
- data/lib/atomy/code/constant.rb +21 -0
- data/lib/atomy/code/define.rb +242 -0
- data/lib/atomy/code/define_function.rb +51 -0
- data/lib/atomy/code/define_method.rb +20 -0
- data/lib/atomy/code/false.rb +9 -0
- data/lib/atomy/code/instance_variable.rb +15 -0
- data/lib/atomy/code/integer.rb +13 -0
- data/lib/atomy/code/list.rb +17 -0
- data/lib/atomy/code/nil.rb +9 -0
- data/lib/atomy/code/pattern.rb +23 -0
- data/lib/atomy/code/pattern/and.rb +61 -0
- data/lib/atomy/code/pattern/quasi_quote.rb +185 -0
- data/lib/atomy/code/pattern/splat.rb +29 -0
- data/lib/atomy/code/pattern/wildcard.rb +37 -0
- data/lib/atomy/code/quasi_quote.rb +118 -0
- data/lib/atomy/code/quote.rb +13 -0
- data/lib/atomy/code/self.rb +9 -0
- data/lib/atomy/code/send.rb +110 -0
- data/lib/atomy/code/sequence.rb +23 -0
- data/lib/atomy/code/string_literal.rb +53 -0
- data/lib/atomy/code/symbol.rb +13 -0
- data/lib/atomy/code/true.rb +9 -0
- data/lib/atomy/code/undefined.rb +9 -0
- data/lib/atomy/code/variable.rb +17 -0
- data/lib/atomy/codeloader.rb +218 -0
- data/lib/atomy/compiler.rb +57 -0
- data/lib/atomy/errors.rb +54 -0
- data/lib/atomy/grammar.rb +2278 -0
- data/lib/atomy/locals.rb +75 -0
- data/lib/atomy/message_structure.rb +277 -0
- data/lib/atomy/method.rb +343 -0
- data/lib/atomy/module.rb +144 -0
- data/lib/atomy/node/constructable.rb +169 -0
- data/lib/atomy/node/equality.rb +113 -0
- data/lib/atomy/node/meta.rb +206 -0
- data/lib/atomy/node/pretty.rb +108 -0
- data/lib/atomy/parser.rb +21 -0
- data/lib/atomy/pattern.rb +26 -0
- data/lib/atomy/pattern/and.rb +59 -0
- data/lib/atomy/pattern/attribute.rb +16 -0
- data/lib/atomy/pattern/class_variable.rb +15 -0
- data/lib/atomy/pattern/equality.rb +42 -0
- data/lib/atomy/pattern/instance_variable.rb +15 -0
- data/lib/atomy/pattern/kind_of.rb +20 -0
- data/lib/atomy/pattern/or.rb +48 -0
- data/lib/atomy/pattern/quasi_quote.rb +164 -0
- data/lib/atomy/pattern/splat.rb +15 -0
- data/lib/atomy/pattern/wildcard.rb +18 -0
- data/lib/atomy/rubygems.rb +48 -0
- data/lib/atomy/version.rb +3 -0
- metadata +169 -134
- data/COPYING +0 -30
- data/README.md +0 -1
- data/kernel/block.ay +0 -30
- data/kernel/boot.ay +0 -10
- data/kernel/comparison.ay +0 -61
- data/kernel/concurrency.ay +0 -84
- data/kernel/cosmetics.ay +0 -3
- data/kernel/data-delta.ay +0 -105
- data/kernel/documentation.ay +0 -135
- data/kernel/errors.ay +0 -6
- data/kernel/format.ay +0 -13
- data/kernel/format/data.ay +0 -89
- data/kernel/format/formatter.ay +0 -345
- data/kernel/format/parser.ay +0 -13
- data/kernel/hashes.ay +0 -39
- data/kernel/namespaces.ay +0 -63
- data/kernel/node.ay +0 -48
- data/kernel/operators.ay +0 -28
- data/kernel/precision.ay +0 -148
- data/kernel/therie.ay +0 -204
- data/lib/ast/binary_send.rb +0 -44
- data/lib/ast/block.rb +0 -268
- data/lib/ast/constant.rb +0 -88
- data/lib/ast/internal/assign.rb +0 -19
- data/lib/ast/internal/block_pass.rb +0 -21
- data/lib/ast/internal/catch.rb +0 -247
- data/lib/ast/internal/class.rb +0 -30
- data/lib/ast/internal/class_variable.rb +0 -23
- data/lib/ast/internal/define.rb +0 -174
- data/lib/ast/internal/ensure.rb +0 -135
- data/lib/ast/internal/file.rb +0 -14
- data/lib/ast/internal/global_variable.rb +0 -20
- data/lib/ast/internal/if_then_else.rb +0 -24
- data/lib/ast/internal/instance_variable.rb +0 -17
- data/lib/ast/internal/let_macro.rb +0 -35
- data/lib/ast/internal/macro_quote.rb +0 -23
- data/lib/ast/internal/match.rb +0 -53
- data/lib/ast/internal/module.rb +0 -30
- data/lib/ast/internal/pattern.rb +0 -17
- data/lib/ast/internal/return.rb +0 -29
- data/lib/ast/internal/set.rb +0 -19
- data/lib/ast/internal/singleton_class.rb +0 -18
- data/lib/ast/internal/splat.rb +0 -14
- data/lib/ast/internal/when.rb +0 -24
- data/lib/ast/list.rb +0 -25
- data/lib/ast/macro.rb +0 -37
- data/lib/ast/node.rb +0 -599
- data/lib/ast/operator.rb +0 -21
- data/lib/ast/particle.rb +0 -13
- data/lib/ast/primitive.rb +0 -20
- data/lib/ast/quasi_quote.rb +0 -20
- data/lib/ast/quote.rb +0 -13
- data/lib/ast/send.rb +0 -104
- data/lib/ast/splice.rb +0 -32
- data/lib/ast/string.rb +0 -23
- data/lib/ast/unary.rb +0 -44
- data/lib/ast/unquote.rb +0 -45
- data/lib/ast/variable.rb +0 -64
- data/lib/atomy.kpeg.rb +0 -3995
- data/lib/code_loader.rb +0 -137
- data/lib/compiler/compiler.rb +0 -155
- data/lib/compiler/stages.rb +0 -81
- data/lib/formatter.kpeg.rb +0 -1394
- data/lib/macros.rb +0 -317
- data/lib/method.rb +0 -261
- data/lib/namespace.rb +0 -236
- data/lib/parser.rb +0 -28
- data/lib/patterns.rb +0 -276
- data/lib/patterns/any.rb +0 -21
- data/lib/patterns/attribute.rb +0 -59
- data/lib/patterns/block_pass.rb +0 -54
- data/lib/patterns/constant.rb +0 -33
- data/lib/patterns/default.rb +0 -44
- data/lib/patterns/head_tail.rb +0 -63
- data/lib/patterns/list.rb +0 -77
- data/lib/patterns/match.rb +0 -45
- data/lib/patterns/named.rb +0 -55
- data/lib/patterns/named_class.rb +0 -46
- data/lib/patterns/named_global.rb +0 -46
- data/lib/patterns/named_instance.rb +0 -46
- data/lib/patterns/particle.rb +0 -29
- data/lib/patterns/quasi_quote.rb +0 -184
- data/lib/patterns/quote.rb +0 -33
- data/lib/patterns/singleton_class.rb +0 -31
- data/lib/patterns/splat.rb +0 -57
- data/lib/util.rb +0 -37
data/lib/ast/internal/class.rb
DELETED
@@ -1,30 +0,0 @@
|
|
1
|
-
module Atomy
|
2
|
-
module AST
|
3
|
-
class Class < Node
|
4
|
-
children :name, :body, [:superclass, "Primitive.new(0, :nil)"]
|
5
|
-
generate
|
6
|
-
|
7
|
-
def class_name
|
8
|
-
case @name
|
9
|
-
when Constant
|
10
|
-
Rubinius::AST::ClassName.new @line, @name.name, @superclass
|
11
|
-
when ToplevelConstant
|
12
|
-
Rubinius::AST::ToplevelModuleName.new @line, @name, @superclass
|
13
|
-
when ScopedConstant
|
14
|
-
Rubinius::AST::ScopedClassName.new @line, @name, @superclass
|
15
|
-
else
|
16
|
-
@name
|
17
|
-
end
|
18
|
-
end
|
19
|
-
|
20
|
-
def class_body
|
21
|
-
Rubinius::AST::ClassScope.new @line, class_name, @body
|
22
|
-
end
|
23
|
-
|
24
|
-
def bytecode(g)
|
25
|
-
class_name.bytecode(g)
|
26
|
-
class_body.bytecode(g)
|
27
|
-
end
|
28
|
-
end
|
29
|
-
end
|
30
|
-
end
|
@@ -1,23 +0,0 @@
|
|
1
|
-
module Atomy
|
2
|
-
module AST
|
3
|
-
class ClassVariable < Node
|
4
|
-
attributes :identifier
|
5
|
-
generate
|
6
|
-
|
7
|
-
def name
|
8
|
-
("@@" + @identifier).to_sym
|
9
|
-
end
|
10
|
-
|
11
|
-
def bytecode(g)
|
12
|
-
pos(g)
|
13
|
-
if g.state.scope.module?
|
14
|
-
g.push :self
|
15
|
-
else
|
16
|
-
g.push_scope
|
17
|
-
end
|
18
|
-
g.push_literal name
|
19
|
-
g.send :class_variable_get, 1
|
20
|
-
end
|
21
|
-
end
|
22
|
-
end
|
23
|
-
end
|
data/lib/ast/internal/define.rb
DELETED
@@ -1,174 +0,0 @@
|
|
1
|
-
module Atomy
|
2
|
-
module AST
|
3
|
-
class Define < Node
|
4
|
-
children :pattern, :body
|
5
|
-
slots :namespace?
|
6
|
-
generate
|
7
|
-
|
8
|
-
def arguments
|
9
|
-
return @arguments if @arguments
|
10
|
-
|
11
|
-
case pattern
|
12
|
-
when BinarySend
|
13
|
-
args = [pattern.rhs]
|
14
|
-
when Variable, Unary
|
15
|
-
args = []
|
16
|
-
else
|
17
|
-
args = pattern.arguments
|
18
|
-
end
|
19
|
-
|
20
|
-
@arguments = args.collect(&:to_pattern)
|
21
|
-
end
|
22
|
-
|
23
|
-
def receiver
|
24
|
-
return @receiver if @receiver
|
25
|
-
|
26
|
-
case pattern
|
27
|
-
when BinarySend
|
28
|
-
recv = pattern.lhs
|
29
|
-
when Variable
|
30
|
-
recv = Primitive.new(pattern.line, :self)
|
31
|
-
else
|
32
|
-
recv = pattern.receiver
|
33
|
-
end
|
34
|
-
|
35
|
-
@receiver = recv.to_pattern
|
36
|
-
end
|
37
|
-
|
38
|
-
def method_name
|
39
|
-
case pattern
|
40
|
-
when Variable
|
41
|
-
pattern.name
|
42
|
-
else
|
43
|
-
pattern.method_name
|
44
|
-
end
|
45
|
-
end
|
46
|
-
|
47
|
-
def ns_method_name(g)
|
48
|
-
if method_name == "initialize"
|
49
|
-
g.push_literal :initialize
|
50
|
-
return
|
51
|
-
end
|
52
|
-
|
53
|
-
if @namespace
|
54
|
-
g.push_literal(
|
55
|
-
Atomy.namespaced(@namespace, method_name).to_sym
|
56
|
-
)
|
57
|
-
return
|
58
|
-
end
|
59
|
-
|
60
|
-
no_ns = g.new_label
|
61
|
-
done = g.new_label
|
62
|
-
|
63
|
-
g.push_cpath_top
|
64
|
-
g.find_const :Atomy
|
65
|
-
g.push_cpath_top
|
66
|
-
g.find_const :Atomy
|
67
|
-
g.find_const :Namespace
|
68
|
-
g.send :get, 0
|
69
|
-
g.dup
|
70
|
-
g.gif no_ns
|
71
|
-
|
72
|
-
g.send :name, 0
|
73
|
-
g.send :to_s, 0
|
74
|
-
g.push_literal method_name
|
75
|
-
g.send :namespaced, 2
|
76
|
-
g.goto done
|
77
|
-
|
78
|
-
no_ns.set!
|
79
|
-
g.pop
|
80
|
-
g.pop
|
81
|
-
g.push_literal method_name
|
82
|
-
|
83
|
-
done.set!
|
84
|
-
end
|
85
|
-
|
86
|
-
def bytecode(g)
|
87
|
-
pos(g)
|
88
|
-
|
89
|
-
defn = receiver.kind_of?(Patterns::Match) && receiver.value == :self
|
90
|
-
|
91
|
-
if defn
|
92
|
-
g.push_rubinius
|
93
|
-
ns_method_name(g)
|
94
|
-
g.send :to_sym, 0
|
95
|
-
g.dup
|
96
|
-
g.push_cpath_top
|
97
|
-
g.find_const :Atomy
|
98
|
-
g.swap
|
99
|
-
else
|
100
|
-
g.push_cpath_top
|
101
|
-
g.find_const :Atomy
|
102
|
-
receiver.target(g)
|
103
|
-
ns_method_name(g)
|
104
|
-
g.send :to_sym, 0
|
105
|
-
end
|
106
|
-
|
107
|
-
create = g.new_label
|
108
|
-
added = g.new_label
|
109
|
-
receiver.construct(g)
|
110
|
-
arguments.each do |p|
|
111
|
-
p.construct(g)
|
112
|
-
end
|
113
|
-
g.make_array arguments.size
|
114
|
-
g.make_array 2
|
115
|
-
@body.construct(g, nil)
|
116
|
-
g.make_array 2
|
117
|
-
|
118
|
-
receiver.target(g)
|
119
|
-
g.push_literal "@atomy::"
|
120
|
-
ns_method_name(g)
|
121
|
-
g.string_build 2
|
122
|
-
g.send :to_sym, 0
|
123
|
-
g.send :instance_variable_get, 1
|
124
|
-
g.dup
|
125
|
-
g.gif create
|
126
|
-
|
127
|
-
g.push_cpath_top
|
128
|
-
g.find_const :Atomy
|
129
|
-
g.move_down 2
|
130
|
-
g.send :insert_method, 2
|
131
|
-
g.goto added
|
132
|
-
|
133
|
-
create.set!
|
134
|
-
g.pop
|
135
|
-
g.make_array 1
|
136
|
-
receiver.target(g)
|
137
|
-
g.swap
|
138
|
-
g.push_literal "@atomy::"
|
139
|
-
ns_method_name(g)
|
140
|
-
g.string_build 2
|
141
|
-
g.send :to_sym, 0
|
142
|
-
g.swap
|
143
|
-
g.send :instance_variable_set, 2
|
144
|
-
|
145
|
-
added.set!
|
146
|
-
|
147
|
-
if defn
|
148
|
-
g.push_false
|
149
|
-
g.push_scope
|
150
|
-
g.send :active_path, 0
|
151
|
-
g.push_int @line
|
152
|
-
g.send :build_method, 5
|
153
|
-
g.push_scope
|
154
|
-
g.push_variables
|
155
|
-
g.send :method_visibility, 0
|
156
|
-
g.send :add_defn_method, 4
|
157
|
-
else
|
158
|
-
g.push_scope
|
159
|
-
g.send :add_method, 4
|
160
|
-
end
|
161
|
-
end
|
162
|
-
|
163
|
-
def local_count
|
164
|
-
local_names.size
|
165
|
-
end
|
166
|
-
|
167
|
-
def local_names
|
168
|
-
arguments.inject(receiver.local_names) do |acc, a|
|
169
|
-
acc + a.local_names
|
170
|
-
end
|
171
|
-
end
|
172
|
-
end
|
173
|
-
end
|
174
|
-
end
|
data/lib/ast/internal/ensure.rb
DELETED
@@ -1,135 +0,0 @@
|
|
1
|
-
module Atomy
|
2
|
-
module AST
|
3
|
-
class Ensure < Node
|
4
|
-
children :body, :ensure
|
5
|
-
generate
|
6
|
-
|
7
|
-
def bytecode(g)
|
8
|
-
pos(g)
|
9
|
-
|
10
|
-
ok = g.new_label
|
11
|
-
ex = g.new_label
|
12
|
-
g.setup_unwind ex, Rubinius::AST::EnsureType
|
13
|
-
|
14
|
-
# TODO: ?
|
15
|
-
g.new_label.set!
|
16
|
-
|
17
|
-
g.push_exception_state
|
18
|
-
outer_exc_state = g.new_stack_local
|
19
|
-
g.set_stack_local outer_exc_state
|
20
|
-
g.pop
|
21
|
-
|
22
|
-
old_break = g.break
|
23
|
-
new_break = g.new_label
|
24
|
-
g.break = new_break
|
25
|
-
|
26
|
-
old_next = g.next
|
27
|
-
new_next = g.new_label
|
28
|
-
g.next = new_next
|
29
|
-
|
30
|
-
g.state.push_ensure
|
31
|
-
@body.compile(g)
|
32
|
-
g.state.pop_ensure
|
33
|
-
|
34
|
-
g.break = old_break
|
35
|
-
g.next = old_next
|
36
|
-
|
37
|
-
g.pop_unwind
|
38
|
-
g.goto ok
|
39
|
-
|
40
|
-
check_break = nil
|
41
|
-
|
42
|
-
if new_break.used?
|
43
|
-
used_break_local = g.new_stack_local
|
44
|
-
check_break = g.new_label
|
45
|
-
|
46
|
-
new_break.set!
|
47
|
-
g.pop_unwind
|
48
|
-
|
49
|
-
g.push :true
|
50
|
-
g.set_stack_local used_break_local
|
51
|
-
g.pop
|
52
|
-
|
53
|
-
g.goto check_break
|
54
|
-
end
|
55
|
-
|
56
|
-
check_next = nil
|
57
|
-
|
58
|
-
if new_next.used?
|
59
|
-
used_next_local = g.new_stack_local
|
60
|
-
check_next = g.new_label
|
61
|
-
|
62
|
-
new_next.set!
|
63
|
-
g.pop_unwind
|
64
|
-
|
65
|
-
g.push :true
|
66
|
-
g.set_stack_local used_next_local
|
67
|
-
g.pop
|
68
|
-
|
69
|
-
g.goto check_next
|
70
|
-
end
|
71
|
-
|
72
|
-
ex.set!
|
73
|
-
|
74
|
-
g.push_exception_state
|
75
|
-
|
76
|
-
g.state.push_rescue(outer_exc_state)
|
77
|
-
@ensure.compile(g)
|
78
|
-
g.state.pop_rescue
|
79
|
-
g.pop
|
80
|
-
|
81
|
-
g.restore_exception_state
|
82
|
-
|
83
|
-
# Re-raise the exception
|
84
|
-
g.reraise
|
85
|
-
|
86
|
-
ok.set!
|
87
|
-
|
88
|
-
if check_break
|
89
|
-
g.push :false
|
90
|
-
g.set_stack_local used_break_local
|
91
|
-
g.pop
|
92
|
-
|
93
|
-
check_break.set!
|
94
|
-
end
|
95
|
-
|
96
|
-
if check_next
|
97
|
-
g.push :false
|
98
|
-
g.set_stack_local used_next_local
|
99
|
-
g.pop
|
100
|
-
|
101
|
-
check_next.set!
|
102
|
-
end
|
103
|
-
|
104
|
-
# Now, re-emit the code for the ensure which will run if there was no
|
105
|
-
# exception generated.
|
106
|
-
@ensure.compile(g)
|
107
|
-
g.pop
|
108
|
-
|
109
|
-
if check_break
|
110
|
-
post = g.new_label
|
111
|
-
|
112
|
-
g.push_stack_local used_break_local
|
113
|
-
g.gif post
|
114
|
-
|
115
|
-
if g.break
|
116
|
-
g.goto g.break
|
117
|
-
else
|
118
|
-
g.raise_break
|
119
|
-
end
|
120
|
-
post.set!
|
121
|
-
end
|
122
|
-
|
123
|
-
if check_next
|
124
|
-
post = g.new_label
|
125
|
-
|
126
|
-
g.push_stack_local used_next_local
|
127
|
-
g.gif post
|
128
|
-
|
129
|
-
g.next ? g.goto(g.next) : g.ret
|
130
|
-
post.set!
|
131
|
-
end
|
132
|
-
end
|
133
|
-
end
|
134
|
-
end
|
135
|
-
end
|
data/lib/ast/internal/file.rb
DELETED
@@ -1,20 +0,0 @@
|
|
1
|
-
module Atomy
|
2
|
-
module AST
|
3
|
-
class GlobalVariable < Node
|
4
|
-
attributes :identifier
|
5
|
-
generate
|
6
|
-
|
7
|
-
def name
|
8
|
-
("$" + @identifier).to_sym
|
9
|
-
end
|
10
|
-
|
11
|
-
def bytecode(g)
|
12
|
-
pos(g)
|
13
|
-
g.push_rubinius
|
14
|
-
g.find_const :Globals
|
15
|
-
g.push_literal name
|
16
|
-
g.send :[], 1
|
17
|
-
end
|
18
|
-
end
|
19
|
-
end
|
20
|
-
end
|
@@ -1,24 +0,0 @@
|
|
1
|
-
module Atomy
|
2
|
-
module AST
|
3
|
-
class IfThenElse < Node
|
4
|
-
children :condition, :then, :else
|
5
|
-
generate
|
6
|
-
|
7
|
-
def bytecode(g)
|
8
|
-
done = g.new_label
|
9
|
-
nope = g.new_label
|
10
|
-
|
11
|
-
@condition.compile(g)
|
12
|
-
g.gif nope
|
13
|
-
|
14
|
-
@then.compile(g)
|
15
|
-
g.goto done
|
16
|
-
|
17
|
-
nope.set!
|
18
|
-
@else.compile(g)
|
19
|
-
|
20
|
-
done.set!
|
21
|
-
end
|
22
|
-
end
|
23
|
-
end
|
24
|
-
end
|