Merge pull request #38 from myst-lang/37_type_lookup_from_instances

Fixes #37. Lookup Constants in both static and instance scopes.

spec/interpreter/nodes/instantiation_spec.cr

@@ -178,4 +178,22 @@ describe "Interpreter - Instantiation" do
     result = itr.stack.pop
     result.should eq(val(["hello", :nil]))
   end
+
+  it "can find sibling types from instance scopes (GitHub issue #37)" do
+    itr = interpret_with_mocked_output %q(
+      deftype Foo
+        deftype Bar
+        end
+
+        def foo
+          %Bar{}
+        end
+      end
+
+      instance  = %Foo{}.foo
+    )
+
+    itr.errput.to_s.should eq("")
+    itr.__typeof(itr.current_scope["instance"]).name.should eq("Bar")
+  end
 end

src/myst/interpreter/nodes/references.cr

@@ -20,7 +20,12 @@ module Myst
     end
 
     def visit(node : Const)
-      stack.push(lookup(node))
+      if value = current_scope[node.name]? || __typeof(current_self).scope[node.name]
+        stack.push(value)
+      else
+        @callstack.push(node)
+        raise_not_found(node.name, current_self)
+      end
     end
 
     def visit(node : Underscore)