Add --dumsymtabs option to dump symbol tables, and improve :deref diagnostics

Author: vidarh

compiler.rb

@@ -27,9 +27,10 @@
 require 'output_functions'
 require 'globals'
 
+require 'debugscope'
 
 class Compiler
-  attr_reader :global_functions
+  attr_reader :global_functions, :global_scope
   attr_writer :trace, :stackfence
 
   # list of all predefined keywords with a corresponding compile-method
@@ -196,7 +197,10 @@ def clean_method_name(name)
   #
   def compile_deref(scope, left, right)
     cscope = scope.find_constant(left)
-    raise "Unable to resolve: #{left}::#{right} statically (FIXME)" if !cscope || !cscope.is_a?(ClassScope)
+    if !cscope || !cscope.is_a?(ClassScope)
+      global_scope.dump
+      error("Unable to resolve: #{left}::#{right} statically (FIXME)",scope) 
+    end
     get_arg(cscope,right)
   end
 

debugscope.rb

@@ -0,0 +1,35 @@
+
+class Scope
+  def dump(indent = 0,data = {})
+    data.sort.each do |k,v|
+      if v.kind_of?(Scope)
+        STDERR.puts "#{" "*indent*2}#{k}:"
+        v.dump(indent + 1)
+      else
+        STDERR.puts "#{" "*indent*2}#{k}: #{v.inspect}"
+      end
+    end
+  end
+end
+
+class GlobalScope < Scope
+  def dump(indent = 0,data = {})
+    super(indent, @globals)
+  end
+end
+
+class ClassScope < Scope
+  def dump(indent = 0,data = {})
+    # FIXME: Don't add e.g. Token__Atom, and fix lookup so it's irrelevant
+    if !@constants.empty?
+      STDERR.puts "#{" "*indent*2}CONSTANTS:"
+      super(indent + 1, @constants)
+    end
+    if !@instance_vars.empty?
+      STDERR.puts "#{" "*indent*2}IVARS:"
+      @instance_vars.sort.each do |ivar|
+        STDERR.puts "#{" "*(indent + 1)*2}#{ivar}"
+      end
+    end
+  end
+end

driver.rb

@@ -6,6 +6,7 @@
   stackfence = ARGV.include?("--stackfence")
   transform = !ARGV.include?("--notransform")
   nostabs = ARGV.include?("--nostabs")
+  dumpsymtabs = ARGV.include?("--dumpsymtabs")
 
   # Option to not rewrite the parse tree (breaks compilation, but useful for debugging of the parser)
   OpPrec::TreeOutput.dont_rewrite if ARGV.include?("--dont-rewrite")
@@ -66,7 +67,11 @@
 
     c.preprocess(prog) if transform
 
-    print_sexp prog if dump
+    if dump || dumpsymtabs
+      print_sexp prog if dump
+      c.global_scope.dump if dumpsymtabs
+      exit(1)
+    end
 
     c.compile(prog)
   end