shen/lib/shen_ruby/shen.rb in shen-ruby-0.11.0 vs shen/lib/shen_ruby/shen.rb in shen-ruby-0.12.0
- old
+ new
@@ -123,18 +123,28 @@
end
# Load the rest of the K Lambda files
%w(sequent yacc
reader prolog track load writer
- macros declarations t-star types
+ macros declarations types t-star
).each do |kl_filename|
::ShenRuby::Shen.load_file(self, ::File.join(kl_root, kl_filename + ".kl"))
end
# Give type signatures to the new functions added above
declare :quit, cons(:"-->", cons(:unit, nil))
declare :eval_string, cons(:string, cons(:"-->", cons(:unit, nil)))
declare :"eval-string", cons(:string, cons(:"-->", cons(:unit, nil)))
+
+ systemf :"rb-const"
+ systemf :"rb-send"
+ systemf :"rb-send-block"
+
+ old_hush = value(:"*hush*")
+ set :"*hush*", true
+ load ::File.expand_path('../../../../lib/shen_ruby/rb.shen', __FILE__)
+ load ::File.expand_path('../../../../lib/shen_ruby/shen_ruby.shen', __FILE__)
+ set :"*hush*", old_hush
end
class << self
def load_file(env, path)
::File.open(path, 'r') do |file|