+require "./printer"
+
module Mal
class Symbol
property :str
class HashMap < Hash(String, Type)
end
+ class Atom
+ property :val
+ def initialize(@val)
+ end
+
+ def ==(rhs : Atom)
+ @val == rhs.val
+ end
+ end
+
class Closure
property :ast, :params, :env, :fn
def initialize(@ast, @params, @env, @fn)
class Type
alias Func = (Array(Type) -> Type)
- alias ValueType = Nil | Bool | Int32 | String | Symbol | List | Vector | HashMap | Func | Closure
+ alias ValueType = Nil | Bool | Int32 | String | Symbol | List | Vector | HashMap | Func | Closure | Atom
+
+ is_macro :: Bool
+ meta :: Type
+
+ property :is_macro, :meta
def initialize(@val : ValueType)
+ @is_macro = false
+ @meta = nil
end
def initialize(other : Type)
@val = other.unwrap
+ @is_macro = other.is_macro
+ @meta = other.meta
end
def unwrap
@val
end
+ def macro?
+ @is_macro
+ end
+
+ def to_s
+ pr_str(self)
+ end
+
+ def dup
+ Type.new(@val).tap do |t|
+ t.is_macro = @is_macro
+ t.meta = @meta
+ end
+ end
+
def ==(other : Type)
@val == other.unwrap
end
macro gen_type(t, *args)
Mal::Type.new {{t.id}}.new({{*args}})
end
+
+class Array
+ def to_mal(t = Mal::List)
+ each_with_object(t.new){|e, l| l << e}
+ end
+end
+