atomy 0.1.1 → 0.6.3

Sign up to get free protection for your applications and to get access to all the features.
Files changed (172) hide show
  1. checksums.yaml +7 -0
  2. data/Gemfile +13 -0
  3. data/LICENSE.md +201 -0
  4. data/bin/atomy +16 -133
  5. data/kernel/array.ay +6 -0
  6. data/kernel/atomy.ay +18 -0
  7. data/kernel/condition.ay +171 -271
  8. data/kernel/control-flow.ay +197 -192
  9. data/kernel/core.ay +120 -0
  10. data/kernel/data.ay +83 -39
  11. data/kernel/define.ay +84 -93
  12. data/kernel/doc.ay +282 -449
  13. data/kernel/dynamic.ay +25 -29
  14. data/kernel/file.ay +9 -0
  15. data/kernel/grammar.ay +267 -0
  16. data/kernel/hash.ay +17 -0
  17. data/kernel/interpolation.ay +59 -0
  18. data/kernel/io.ay +70 -244
  19. data/kernel/let-macro.ay +24 -0
  20. data/kernel/let-pattern.ay +24 -0
  21. data/kernel/loop.ay +80 -0
  22. data/kernel/mutation.ay +53 -0
  23. data/kernel/particles.ay +176 -39
  24. data/kernel/patterns.ay +527 -191
  25. data/kernel/pretty.ay +311 -277
  26. data/kernel/quotes.ay +29 -0
  27. data/kernel/range.ay +4 -0
  28. data/kernel/regexp.ay +23 -0
  29. data/kernel/repl.ay +83 -109
  30. data/kernel/stack-local.ay +21 -0
  31. data/lib/atomy.rb +37 -0
  32. data/lib/atomy/bootstrap.rb +256 -0
  33. data/lib/atomy/code/assign.rb +64 -0
  34. data/lib/atomy/code/block.rb +98 -0
  35. data/lib/atomy/code/class_variable.rb +17 -0
  36. data/lib/atomy/code/constant.rb +21 -0
  37. data/lib/atomy/code/define.rb +242 -0
  38. data/lib/atomy/code/define_function.rb +51 -0
  39. data/lib/atomy/code/define_method.rb +20 -0
  40. data/lib/atomy/code/false.rb +9 -0
  41. data/lib/atomy/code/instance_variable.rb +15 -0
  42. data/lib/atomy/code/integer.rb +13 -0
  43. data/lib/atomy/code/list.rb +17 -0
  44. data/lib/atomy/code/nil.rb +9 -0
  45. data/lib/atomy/code/pattern.rb +23 -0
  46. data/lib/atomy/code/pattern/and.rb +61 -0
  47. data/lib/atomy/code/pattern/quasi_quote.rb +185 -0
  48. data/lib/atomy/code/pattern/splat.rb +29 -0
  49. data/lib/atomy/code/pattern/wildcard.rb +37 -0
  50. data/lib/atomy/code/quasi_quote.rb +118 -0
  51. data/lib/atomy/code/quote.rb +13 -0
  52. data/lib/atomy/code/self.rb +9 -0
  53. data/lib/atomy/code/send.rb +110 -0
  54. data/lib/atomy/code/sequence.rb +23 -0
  55. data/lib/atomy/code/string_literal.rb +53 -0
  56. data/lib/atomy/code/symbol.rb +13 -0
  57. data/lib/atomy/code/true.rb +9 -0
  58. data/lib/atomy/code/undefined.rb +9 -0
  59. data/lib/atomy/code/variable.rb +17 -0
  60. data/lib/atomy/codeloader.rb +218 -0
  61. data/lib/atomy/compiler.rb +57 -0
  62. data/lib/atomy/errors.rb +54 -0
  63. data/lib/atomy/grammar.rb +2278 -0
  64. data/lib/atomy/locals.rb +75 -0
  65. data/lib/atomy/message_structure.rb +277 -0
  66. data/lib/atomy/method.rb +343 -0
  67. data/lib/atomy/module.rb +144 -0
  68. data/lib/atomy/node/constructable.rb +169 -0
  69. data/lib/atomy/node/equality.rb +113 -0
  70. data/lib/atomy/node/meta.rb +206 -0
  71. data/lib/atomy/node/pretty.rb +108 -0
  72. data/lib/atomy/parser.rb +21 -0
  73. data/lib/atomy/pattern.rb +26 -0
  74. data/lib/atomy/pattern/and.rb +59 -0
  75. data/lib/atomy/pattern/attribute.rb +16 -0
  76. data/lib/atomy/pattern/class_variable.rb +15 -0
  77. data/lib/atomy/pattern/equality.rb +42 -0
  78. data/lib/atomy/pattern/instance_variable.rb +15 -0
  79. data/lib/atomy/pattern/kind_of.rb +20 -0
  80. data/lib/atomy/pattern/or.rb +48 -0
  81. data/lib/atomy/pattern/quasi_quote.rb +164 -0
  82. data/lib/atomy/pattern/splat.rb +15 -0
  83. data/lib/atomy/pattern/wildcard.rb +18 -0
  84. data/lib/atomy/rubygems.rb +48 -0
  85. data/lib/atomy/version.rb +3 -0
  86. metadata +169 -134
  87. data/COPYING +0 -30
  88. data/README.md +0 -1
  89. data/kernel/block.ay +0 -30
  90. data/kernel/boot.ay +0 -10
  91. data/kernel/comparison.ay +0 -61
  92. data/kernel/concurrency.ay +0 -84
  93. data/kernel/cosmetics.ay +0 -3
  94. data/kernel/data-delta.ay +0 -105
  95. data/kernel/documentation.ay +0 -135
  96. data/kernel/errors.ay +0 -6
  97. data/kernel/format.ay +0 -13
  98. data/kernel/format/data.ay +0 -89
  99. data/kernel/format/formatter.ay +0 -345
  100. data/kernel/format/parser.ay +0 -13
  101. data/kernel/hashes.ay +0 -39
  102. data/kernel/namespaces.ay +0 -63
  103. data/kernel/node.ay +0 -48
  104. data/kernel/operators.ay +0 -28
  105. data/kernel/precision.ay +0 -148
  106. data/kernel/therie.ay +0 -204
  107. data/lib/ast/binary_send.rb +0 -44
  108. data/lib/ast/block.rb +0 -268
  109. data/lib/ast/constant.rb +0 -88
  110. data/lib/ast/internal/assign.rb +0 -19
  111. data/lib/ast/internal/block_pass.rb +0 -21
  112. data/lib/ast/internal/catch.rb +0 -247
  113. data/lib/ast/internal/class.rb +0 -30
  114. data/lib/ast/internal/class_variable.rb +0 -23
  115. data/lib/ast/internal/define.rb +0 -174
  116. data/lib/ast/internal/ensure.rb +0 -135
  117. data/lib/ast/internal/file.rb +0 -14
  118. data/lib/ast/internal/global_variable.rb +0 -20
  119. data/lib/ast/internal/if_then_else.rb +0 -24
  120. data/lib/ast/internal/instance_variable.rb +0 -17
  121. data/lib/ast/internal/let_macro.rb +0 -35
  122. data/lib/ast/internal/macro_quote.rb +0 -23
  123. data/lib/ast/internal/match.rb +0 -53
  124. data/lib/ast/internal/module.rb +0 -30
  125. data/lib/ast/internal/pattern.rb +0 -17
  126. data/lib/ast/internal/return.rb +0 -29
  127. data/lib/ast/internal/set.rb +0 -19
  128. data/lib/ast/internal/singleton_class.rb +0 -18
  129. data/lib/ast/internal/splat.rb +0 -14
  130. data/lib/ast/internal/when.rb +0 -24
  131. data/lib/ast/list.rb +0 -25
  132. data/lib/ast/macro.rb +0 -37
  133. data/lib/ast/node.rb +0 -599
  134. data/lib/ast/operator.rb +0 -21
  135. data/lib/ast/particle.rb +0 -13
  136. data/lib/ast/primitive.rb +0 -20
  137. data/lib/ast/quasi_quote.rb +0 -20
  138. data/lib/ast/quote.rb +0 -13
  139. data/lib/ast/send.rb +0 -104
  140. data/lib/ast/splice.rb +0 -32
  141. data/lib/ast/string.rb +0 -23
  142. data/lib/ast/unary.rb +0 -44
  143. data/lib/ast/unquote.rb +0 -45
  144. data/lib/ast/variable.rb +0 -64
  145. data/lib/atomy.kpeg.rb +0 -3995
  146. data/lib/code_loader.rb +0 -137
  147. data/lib/compiler/compiler.rb +0 -155
  148. data/lib/compiler/stages.rb +0 -81
  149. data/lib/formatter.kpeg.rb +0 -1394
  150. data/lib/macros.rb +0 -317
  151. data/lib/method.rb +0 -261
  152. data/lib/namespace.rb +0 -236
  153. data/lib/parser.rb +0 -28
  154. data/lib/patterns.rb +0 -276
  155. data/lib/patterns/any.rb +0 -21
  156. data/lib/patterns/attribute.rb +0 -59
  157. data/lib/patterns/block_pass.rb +0 -54
  158. data/lib/patterns/constant.rb +0 -33
  159. data/lib/patterns/default.rb +0 -44
  160. data/lib/patterns/head_tail.rb +0 -63
  161. data/lib/patterns/list.rb +0 -77
  162. data/lib/patterns/match.rb +0 -45
  163. data/lib/patterns/named.rb +0 -55
  164. data/lib/patterns/named_class.rb +0 -46
  165. data/lib/patterns/named_global.rb +0 -46
  166. data/lib/patterns/named_instance.rb +0 -46
  167. data/lib/patterns/particle.rb +0 -29
  168. data/lib/patterns/quasi_quote.rb +0 -184
  169. data/lib/patterns/quote.rb +0 -33
  170. data/lib/patterns/singleton_class.rb +0 -31
  171. data/lib/patterns/splat.rb +0 -57
  172. data/lib/util.rb +0 -37
@@ -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
@@ -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
@@ -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
@@ -1,14 +0,0 @@
1
- module Atomy
2
- module AST
3
- class File < Node
4
- generate
5
-
6
- def bytecode(g)
7
- pos(g)
8
- g.push_scope
9
- g.send :active_path, 0
10
- end
11
- end
12
- end
13
- end
14
-
@@ -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
@@ -1,17 +0,0 @@
1
- module Atomy
2
- module AST
3
- class InstanceVariable < 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_ivar name
14
- end
15
- end
16
- end
17
- end