halunke 0.8.0 → 0.9.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b88fa1971391744a766f367a96f4be7c602b93ff01d0f97efc20075faa0bb715
-  data.tar.gz: 6f407c6b082186d4231095b71169e3f2c588bf50b87a8e368a4ffc10e2241566
+  metadata.gz: 3b782ee6ddb661b1ab07e7beadc086c692572ed3e2aa3a80a33b9c598ed70a93
+  data.tar.gz: f6aa3c8e8984a15ae7593f388354b69b8d9915a544acce6f1911aeebb171c40f
 SHA512:
-  metadata.gz: 48775bdb30c4f3d9372e6365f68bf434f51e3591e39de8764bd7c3671e4690acc91c337592444b9f05d360adeb51274c5a0696dc7a2d646978b4039637d19bdd
-  data.tar.gz: ea26967bfaa91237a248ca4f345884bfef4c1c49137ab70bd0895d2c436d455d7cc0dbb2bb18108ea0977cc227fc14ebf1329e0aca9e05361004afd3c98b4921
+  metadata.gz: 61e527ced02be4c0a7b182d9838539148be73683c9fe7421c4e55753a882052551f9e5c16a3ee5e7a75b2224ebcaaeb87e19c1eb51a041dd75dffdf93b331791
+  data.tar.gz: 05dc2c4b8f27b6c4a7bae7cf0bd18fbaac19eee8b85bb1c90d0db107ffcc6169eed686c7c3e74e66c3f2f7a0ebd1059200f8740b6e0cadd2ee82e88d77b8687b

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    halunke (0.8.0)
+    halunke (0.9.0)
       rack (~> 2.0.4)
 
 GEM
@@ -11,6 +11,7 @@ GEM
     racc (1.4.15)
     rack (2.0.6)
     rake (12.3.2)
+    warning (0.10.1)
 
 PLATFORMS
   ruby
@@ -21,6 +22,7 @@ DEPENDENCIES
   minitest (~> 5.11.3)
   racc (~> 1.4.15)
   rake (~> 12.3.2)
+  warning (~> 0.10.1)
 
 BUNDLED WITH
    1.17.2

data/README.md

@@ -15,6 +15,7 @@ object-oriented language:
 It also has the following characteristics:
 
 * There is no null/nil value in the language
+* Playing close attention to error message design
 
 Find out more on the [documentation page](http://halunke.jetzt).
 

data/docs/index.md

@@ -18,6 +18,7 @@ object-oriented language:
 It also has the following characteristics:
 
 * There is no null/nil value in the language
+* Playing close attention to error message design
 
 ## Install & Usage
 

data/examples/error.hal

@@ -0,0 +1,6 @@
+('a = 12)
+('my = "str")
+
+("hello" replace (my replac "i" wit "a") with "mumpf")
+
+(stdio puts "a")

data/examples/stdio.hal

@@ -5,9 +5,9 @@
 (stdio puts true)
 (stdio puts false)
 
-(stdio p "Hello World")
-(stdio p 5.2)
-(stdio p @["a" 2 "b" 3])
-(stdio p ["a" "b"])
-(stdio p true)
-(stdio p false)
+(stdio examine "Hello World")
+(stdio examine 5.2)
+(stdio examine @["a" 2 "b" 3])
+(stdio examine ["a" "b"])
+(stdio examine true)
+(stdio examine false)

data/exe/halunke

@@ -12,12 +12,12 @@ if ARGV.length == 0
   puts "Halunke #{Halunke::VERSION} REPL. Ctrl+d to quit"
   while (line = Readline.readline(">> ", true))
     begin
-      value = interpreter.eval(line)
+      value = interpreter.eval(line, error_mode: :repl)
       puts "=> #{value}" if value
     rescue Exception => e
       puts "An Error Occurred: #{e.message}"
     end
   end
 else
-  interpreter.eval(File.read(ARGV[0]))
+  interpreter.eval(File.read(ARGV[0]), error_mode: :file, exit_on_error: true)
 end

data/halunke.gemspec

@@ -23,6 +23,7 @@ Gem::Specification.new do |spec|
 
   spec.add_dependency "rack", "~> 2.0.4"
 
+  spec.add_development_dependency "warning", "~> 0.10.1"
   spec.add_development_dependency "bundler", "~> 1.17.2"
   spec.add_development_dependency "rake", "~> 12.3.2"
   spec.add_development_dependency "minitest", "~> 5.11.3"

data/lib/halunke/grammar.y

@@ -28,16 +28,16 @@ rule
   ;
 
   Expression:
-    NUMBER                                                 { NumberNode.new(val[0]) }
-  | STRING                                                 { StringNode.new(val[0]) }
-  | BAREWORD                                               { BarewordNode.new(val[0]) }
-  | UNASSIGNED_BAREWORD                                    { UnassignedNode.new(BarewordNode.new(val[0])) }
+    NUMBER                                                 { NumberNode.new(*val[0]) }
+  | STRING                                                 { StringNode.new(*val[0]) }
+  | BAREWORD                                               { BarewordNode.new(*val[0]) }
+  | UNASSIGNED_BAREWORD                                    { UnassignedNode.new(BarewordNode.new(*val[0]), val[0][1], val[0][2]) }
   | START_COMMENT Expressions END_COMMENT                  { Nodes.new([]) }
-  | OPEN_CURLY Expressions CLOSE_CURLY                     { FunctionNode.new(ArrayNode.new([]), val[1]) }
-  | OPEN_CURLY BAR Expressions BAR Expressions CLOSE_CURLY { FunctionNode.new(val[2].to_array, val[4]) }
-  | OPEN_PAREN Expression Expressions CLOSE_PAREN          { MessageSendNode.new(val[1], val[2].to_message) }
-  | OPEN_BRACKET Expressions CLOSE_BRACKET                 { val[1].to_array }
-  | OPEN_DICT_BRACKET Expressions CLOSE_BRACKET            { val[1].to_dictionary }
+  | OPEN_CURLY Expressions CLOSE_CURLY                     { FunctionNode.new(ArrayNode.new([]), val[1], val[0][1], val[2][2]) }
+  | OPEN_CURLY BAR Expressions BAR Expressions CLOSE_CURLY { FunctionNode.new(ArrayNode.new(val[2].nodes), val[4], val[0][1], val[5][2]) }
+  | OPEN_PAREN Expression Expressions CLOSE_PAREN          { MessageSendNode.new(val[1], MessageNode.new(val[2].nodes), val[0][1], val[3][2]) }
+  | OPEN_BRACKET Expressions CLOSE_BRACKET                 { ArrayNode.new(val[1].nodes, val[0][1], val[2][2]) }
+  | OPEN_DICT_BRACKET Expressions CLOSE_BRACKET            { DictionaryNode.new(val[1].nodes, val[0][1], val[2][2]) }
   ;
 end
 

data/lib/halunke/herror.rb

@@ -0,0 +1,51 @@
+require "rubygems/text"
+
+module Halunke
+  class HError < StandardError
+    attr_reader :message
+    attr_reader :source_code_position
+
+    def initialize(message, source_code_position)
+      @message = message
+      @source_code_position = source_code_position
+      super(message)
+    end
+  end
+
+  class HUnknownMessage < HError
+    include Gem::Text
+
+    def initialize(receiver, message_name, receivable_messages, source_code_position)
+      message = [
+        "#{receiver} received the message `#{message_name}`. It doesn't know how to handle that.",
+        did_you_mean(receivable_messages, message_name)
+      ].join("\n")
+
+      super(message, source_code_position)
+    end
+
+    private
+
+    def did_you_mean(receivable_messages, message_name)
+      guess = receivable_messages.min_by { |m| levenshtein_distance(m, message_name) }
+
+      if levenshtein_distance(guess, message_name) < 5
+        "Did you mean `#{guess}`?"
+      else
+        "It supports the following messages: #{receivable_messages.join(", ")}"
+      end
+    end
+  end
+
+  class HBarewordAlreadyAssigned < HError
+  end
+
+  class HUnassignedBareword < HError
+  end
+
+  class HEmptyFunction < HError
+  end
+
+  class HUnknownAttribute < HError
+  end
+end

data/lib/halunke/interpreter.rb

@@ -26,10 +26,18 @@ module Halunke
       end
     end
 
-    def eval(str)
+    def eval(str, error_mode: :raise, exit_on_error: false)
       nodes = @parser.parse(str)
       result = nodes.eval(root_context)
       result.nil? ? nil : result.inspect(root_context)
+    rescue HError => err
+      raise err if error_mode == :raise
+
+      puts err.source_code_position.reveal(str, error_mode)
+      puts err.message
+      exit(1) if exit_on_error
+
+      nil
     end
 
     def preludes
@@ -48,14 +56,14 @@ module Halunke
       end
 
       def []=(name, value)
-        raise "Bareword #{name} is already assigned" if key? name
+        raise FrozenError if key? name
         @context[name] = value
       end
 
       def [](name)
         @context.fetch(name)
       rescue KeyError
-        raise "Bareword '#{name} is unassigned'" if @parent.nil?
+        raise KeyError if @parent.nil?
         @parent[name]
       end
 

data/lib/halunke/nodes.rb

@@ -7,62 +7,84 @@ module Halunke
     def empty?
       nodes.empty?
     end
-
-    def to_message
-      MessageNode.new(nodes)
-    end
-
-    def to_array
-      ArrayNode.new(nodes)
-    end
-
-    def to_dictionary
-      DictionaryNode.new(nodes)
-    end
   end
 
-  NumberNode = Struct.new(:value) do
+  NumberNode = Struct.new(:value, :ts, :te) do
     def eval(context)
       context["Number"].create_instance(value)
     end
+
+    def ==(other)
+      other.is_a?(NumberNode) &&
+        value == other.value
+    end
   end
 
-  StringNode = Struct.new(:value) do
+  StringNode = Struct.new(:value, :ts, :te) do
     def eval(context)
       context["String"].create_instance(value)
     end
+
+    def ==(other)
+      other.is_a?(StringNode) &&
+        value == other.value
+    end
   end
 
-  BarewordNode = Struct.new(:value) do
+  BarewordNode = Struct.new(:value, :ts, :te) do
     def eval(context)
       context[value]
+    rescue KeyError
+      source_code_position = SourceCodePosition.new(ts, te)
+      raise HUnassignedBareword.new("Bareword '#{value} is unassigned", source_code_position)
+    end
+
+    def ==(other)
+      other.is_a?(BarewordNode) &&
+        value == other.value
     end
   end
 
-  UnassignedNode = Struct.new(:node) do
+  UnassignedNode = Struct.new(:node, :ts, :te) do
     def eval(context)
-      context["UnassignedBareword"].create_instance(node.value)
+      context["UnassignedBareword"].create_instance(node.value, source_code_position: SourceCodePosition.new(ts, te))
+    end
+
+    def ==(other)
+      other.is_a?(UnassignedNode) &&
+        node == other.node
     end
   end
 
-  FunctionNode = Struct.new(:params, :body) do
+  FunctionNode = Struct.new(:params, :body, :ts, :te) do
     def eval(context)
-      raise "This function would not return anything. That's forbidden." if body.empty?
+      raise HEmptyFunction.new("This function would not return anything, in Halunke every function needs to return something.", SourceCodePosition.new(ts, te)) if body.empty?
       signature = params.nodes.map(&:node).map(&:value)
 
       context["Function"].new(signature, lambda { |call_context|
         body.eval(call_context)
       })
     end
+
+    def ==(other)
+      other.is_a?(FunctionNode) &&
+        params == other.params &&
+        body == other.body
+    end
   end
 
-  ArrayNode = Struct.new(:nodes) do
+  ArrayNode = Struct.new(:nodes, :ts, :te) do
     def eval(context)
       context["Array"].create_instance(nodes.map { |node| node.eval(context) })
     end
+
+    def ==(other)
+      other.is_a?(ArrayNode) &&
+        nodes == other.nodes
+    end
   end
 
-  DictionaryNode = Struct.new(:nodes) do
+  DictionaryNode = Struct.new(:nodes, :ts, :te) do
     def eval(context)
       hash = {}
       nodes.each_slice(2) do |key, value|
@@ -70,11 +92,23 @@ module Halunke
       end
       context["Dictionary"].create_instance(hash)
     end
+
+    def ==(other)
+      other.is_a?(DictionaryNode) &&
+        nodes == other.nodes
+    end
   end
 
-  MessageSendNode = Struct.new(:receiver, :message) do
+  MessageSendNode = Struct.new(:receiver, :message, :ts, :te) do
     def eval(context)
-      receiver.eval(context).receive_message(context, *message.eval(context))
+      receiver.eval(context).receive_message(context, *message.eval(context),
+                                             source_code_position: SourceCodePosition.new(ts, te))
+    end
+
+    def ==(other)
+      other.is_a?(MessageSendNode) &&
+        receiver == other.receiver &&
+        message == other.message
     end
   end
 

data/lib/halunke/parser.rb

@@ -190,25 +190,25 @@ module_eval(<<'.,.,', 'grammar.y', 26)
 
 module_eval(<<'.,.,', 'grammar.y', 30)
   def _reduce_4(val, _values)
-     NumberNode.new(val[0]) 
+     NumberNode.new(*val[0]) 
   end
 .,.,
 
 module_eval(<<'.,.,', 'grammar.y', 31)
   def _reduce_5(val, _values)
-     StringNode.new(val[0]) 
+     StringNode.new(*val[0]) 
   end
 .,.,
 
 module_eval(<<'.,.,', 'grammar.y', 32)
   def _reduce_6(val, _values)
-     BarewordNode.new(val[0]) 
+     BarewordNode.new(*val[0]) 
   end
 .,.,
 
 module_eval(<<'.,.,', 'grammar.y', 33)
   def _reduce_7(val, _values)
-     UnassignedNode.new(BarewordNode.new(val[0])) 
+     UnassignedNode.new(BarewordNode.new(*val[0]), val[0][1], val[0][2]) 
   end
 .,.,
 
@@ -220,31 +220,31 @@ module_eval(<<'.,.,', 'grammar.y', 34)
 
 module_eval(<<'.,.,', 'grammar.y', 35)
   def _reduce_9(val, _values)
-     FunctionNode.new(ArrayNode.new([]), val[1]) 
+     FunctionNode.new(ArrayNode.new([]), val[1], val[0][1], val[2][2]) 
   end
 .,.,
 
 module_eval(<<'.,.,', 'grammar.y', 36)
   def _reduce_10(val, _values)
-     FunctionNode.new(val[2].to_array, val[4]) 
+     FunctionNode.new(ArrayNode.new(val[2].nodes), val[4], val[0][1], val[5][2]) 
   end
 .,.,
 
 module_eval(<<'.,.,', 'grammar.y', 37)
   def _reduce_11(val, _values)
-     MessageSendNode.new(val[1], val[2].to_message) 
+     MessageSendNode.new(val[1], MessageNode.new(val[2].nodes), val[0][1], val[3][2]) 
   end
 .,.,
 
 module_eval(<<'.,.,', 'grammar.y', 38)
   def _reduce_12(val, _values)
-     val[1].to_array 
+     ArrayNode.new(val[1].nodes, val[0][1], val[2][2]) 
   end
 .,.,
 
 module_eval(<<'.,.,', 'grammar.y', 39)
   def _reduce_13(val, _values)
-     val[1].to_dictionary 
+     DictionaryNode.new(val[1].nodes, val[0][1], val[2][2]) 
   end
 .,.,
 

data/lib/halunke/runtime/hclass.rb

@@ -1,7 +1,11 @@
+require "halunke/source_code_position"
+require "halunke/herror"
+
 module Halunke
   module Runtime
     class HClass
       attr_reader :name
+      attr_reader :instance_methods
 
       def initialize(name, allowed_attributes, instance_methods, class_methods, native)
         @name = name
@@ -12,7 +16,7 @@ module Halunke
       end
 
       class << self
-        def receive_message(context, message_name, message_value)
+        def receive_message(context, message_name, message_value, source_code_position: NullSourceCodePosition.new)
           case message_name
           when "new attributes methods class_methods"
             name = determine_name(message_value[0])
@@ -30,7 +34,8 @@ module Halunke
             instance_methods = determine_methods(message_value[1])
             class_methods = {}
           else
-            raise "Class Class has no method to respond to message '#{message_name}'"
+            known_messages = ["new attributes methods class_methods", "new attributes methods", "new methods"]
+            raise HUnknownMessage.new("Class", message_name, known_messages, source_code_position)
           end
 
           context[name] = HClass.new(name, allowed_attributes, instance_methods, class_methods, false)
@@ -47,7 +52,17 @@ module Halunke
         end
 
         def determine_methods(hdictionary)
-          instance_methods = {}
+          instance_methods = {
+            "inspect" => HFunction.new([:self], lambda { |context|
+              hself = context["self"]
+
+              attributes = hself.dict.map do |key, value|
+                %Q{"#{key}" #{value.inspect(context)}}
+              end
+
+              HString.create_instance("#{hself.runtime_class.name} @[#{attributes.join(' ')}]")
+            })
+          }
           hdictionary.ruby_value.each_pair do |method_name, fn|
             instance_methods[method_name.ruby_value] = fn
           end
@@ -55,14 +70,15 @@ module Halunke
         end
       end
 
-      def receive_message(context, message_name, message_value)
+      def receive_message(context, message_name, message_value, source_code_position: NullSourceCodePosition.new)
         if message_name == "new" && !native?
-          create_instance(message_value[0])
-        elsif @class_methods.keys.include? message_name
+          create_instance(message_value[0], source_code_position: source_code_position)
+        elsif @class_methods.key? message_name
           m = @class_methods[message_name]
-          m.receive_message(context, "call", [HArray.create_instance([self].concat(message_value))])
+          m.receive_message(context, "call", [HArray.create_instance([self].concat(message_value))],
+                            source_code_position: source_code_position)
         else
-          raise "Class #{@name} has no method to respond to message '#{message_name}'"
+          raise HUnknownMessage.new(self.inspect(context), message_name, @class_methods.keys, source_code_position)
         end
       end
 
@@ -70,22 +86,24 @@ module Halunke
         @allowed_attributes.include? attribute_name
       end
 
-      def create_instance(value = nil)
+      def create_instance(value = nil, source_code_position: NullSourceCodePosition.new)
         if native?
-          HNativeObject.new(self, value)
+          HNativeObject.new(self, value, source_code_position: source_code_position)
         else
-          HObject.new(self, value ? value.ruby_value : {})
+          HObject.new(self, value ? value.ruby_value : {}, source_code_position: source_code_position)
         end
       end
 
       def lookup(message)
         @instance_methods.fetch(message)
-      rescue KeyError
-        raise "Class #{@name} has no method to respond to message '#{message}'"
       end
 
       def inspect(_context)
-        "#<Class #{@name}>"
+        "Class #{@name}"
+      end
+
+      def runtime_class
+        self
       end
 
       def native?

data/lib/halunke/runtime/hfunction.rb

@@ -1,3 +1,5 @@
+require "halunke/source_code_position"
+
 module Halunke
   module Runtime
     class HFunction
@@ -6,8 +8,8 @@ module Halunke
         @fn = fn
       end
 
-      def receive_message(parent_context, message_name, message_value)
-        raise "Class Function has no method to respond to message '#{message_name}'" unless message_name == "call"
+      def receive_message(parent_context, message_name, message_value, source_code_position: NullSourceCodePosition.new)
+        raise HUnknownMessage.new(self.inspect(parent_context), message_name, ["call"], source_code_position) unless message_name == "call"
 
         context = parent_context.create_child
         args = message_value[0].ruby_value
@@ -20,7 +22,7 @@ module Halunke
       end
 
       def inspect(_context)
-        "#<Function (#{@signature.length})>"
+        "Function (#{@signature.length})"
       end
     end
   end

data/lib/halunke/runtime/hnative_object.rb

@@ -1,16 +1,23 @@
+require "halunke/source_code_position"
+
 module Halunke
   module Runtime
     class HNativeObject
+      attr_reader :runtime_class
       attr_reader :ruby_value
+      attr_reader :source_code_position
 
-      def initialize(runtime_class, ruby_value = nil)
+      def initialize(runtime_class, ruby_value, source_code_position:)
         @runtime_class = runtime_class
         @ruby_value = ruby_value
+        @source_code_position = source_code_position
       end
 
-      def receive_message(context, message_name, message_value)
+      def receive_message(context, message_name, message_value, source_code_position: NullSourceCodePosition.new)
         m = @runtime_class.lookup(message_name)
         m.receive_message(context, "call", [HArray.create_instance([self].concat(message_value))])
+      rescue KeyError
+        raise HUnknownMessage.new(self.inspect(context), message_name, @runtime_class.instance_methods.keys, source_code_position) if m.nil?
       end
 
       def inspect(context)

data/lib/halunke/runtime/hobject.rb

@@ -1,25 +1,32 @@
+require "halunke/source_code_position"
+
 module Halunke
   module Runtime
     class HObject
       attr_reader :dict
+      attr_reader :runtime_class
+      attr_reader :source_code_position
 
-      def initialize(runtime_class, dict)
+      def initialize(runtime_class, dict, source_code_position:)
         @runtime_class = runtime_class
         @dict = {}
+        @source_code_position = source_code_position
         dict.each_pair do |hkey, value|
           key = hkey.ruby_value
-          raise "Unknown attribute '#{key}' for #{@runtime_class.name}" unless @runtime_class.allowed_attribute? key
+          raise HUnknownAttribute.new("Unknown attribute '#{key}' for #{@runtime_class.name}", source_code_position) unless @runtime_class.allowed_attribute? key
           @dict[key] = value
         end
       end
 
-      def receive_message(context, message_name, message_value)
+      def receive_message(context, message_name, message_value, source_code_position: NullSourceCodePosition.new)
         if message_name == "@ else"
           @dict.fetch(message_value[0].ruby_value, message_value[1])
         else
           m = @runtime_class.lookup(message_name)
           m.receive_message(context, "call", [HArray.create_instance([self].concat(message_value))])
         end
+      rescue KeyError
+        raise HUnknownMessage.new(self.inspect(context), message_name, @runtime_class.instance_methods.keys, source_code_position)
       end
 
       def inspect(context)

data/lib/halunke/runtime/hstring.rb

@@ -25,7 +25,7 @@ module Halunke
               h[HString.create_instance(key)] = HString.create_instance(value)
             end
           end
-          HDictionary.create_instance(h)
+          HDictionary.create_instance(h, source_code_position: NullSourceCodePosition.new)
         }),
         "scan" => HFunction.new([:self, :regexp], lambda { |context|
           result = context["self"].ruby_value.scan(context["regexp"].ruby_value)

data/lib/halunke/runtime/hunassigned_bareword.rb

@@ -5,7 +5,14 @@ module Halunke
       [],
       {
         "=" => HFunction.new([:self, :other], lambda { |context|
-          context.parent[context["self"].ruby_value] = context["other"]
+          bareword_name = context["self"].ruby_value
+
+          begin
+            context.parent[bareword_name] = context["other"]
+          rescue
+            assigned_value = context.parent[context["self"].ruby_value].inspect(context)
+            raise HBarewordAlreadyAssigned.new("Bareword '#{bareword_name} is already assigned to #{assigned_value}. In Halunke, you can only assign once.", context["self"].source_code_position)
+          end
           context["true"]
         }),
         "inspect" => HFunction.new([:self], lambda { |context|

data/lib/halunke/source_code_position.rb

@@ -0,0 +1,40 @@
+module Halunke
+  class SourceCodePosition
+    def initialize(ts, te)
+      @ts = ts
+      @te = te
+    end
+
+    def reveal(source, error_mode)
+      line, line_number = source.lines.each_with_index do |candidate, candidate_line_number|
+        break candidate, candidate_line_number if @ts < candidate.length
+
+        @ts -= candidate.length
+        @te -= candidate.length
+      end
+
+      if @te > line.length
+        @te = line.length - 2
+        ellipsis = '...'
+      end
+
+      prefix = error_mode == :repl ? ">> " : "#{line_number + 1} | "
+
+      output = []
+      output << [prefix, line.rstrip, ellipsis].join("") if error_mode == :file
+      output << " " * (@ts + prefix.length) + "^" * (@te - @ts + 1)
+      output << "\n"
+
+      output
+    end
+  end
+
+  class NullSourceCodePosition
+    def initialize
+    end
+
+    def reveal(source, error_mode)
+      "(Can't find the source code position, sorry)"
+    end
+  end
+end

data/lib/halunke/tokenizer.rb

@@ -285,73 +285,73 @@ when 5 then
 # line 23 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:STRING, data[ts+1...te-1])  end
+ begin  emit(:STRING, data[ts+1...te-1], ts, te - 1)  end
 		end
 when 6 then
 # line 25 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:BAREWORD, data[ts...te])  end
+ begin  emit(:BAREWORD, data[ts...te], ts, te - 1)  end
 		end
 when 7 then
 # line 26 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:OPEN_PAREN, data[ts...te])  end
+ begin  emit(:OPEN_PAREN, data[ts...te], ts, te - 1)  end
 		end
 when 8 then
 # line 27 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:CLOSE_PAREN, data[ts...te])  end
+ begin  emit(:CLOSE_PAREN, data[ts...te], ts, te - 1)  end
 		end
 when 9 then
 # line 28 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:OPEN_CURLY, data[ts...te])  end
+ begin  emit(:OPEN_CURLY, data[ts...te], ts, te - 1)  end
 		end
 when 10 then
 # line 29 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:CLOSE_CURLY, data[ts...te])  end
+ begin  emit(:CLOSE_CURLY, data[ts...te], ts, te - 1)  end
 		end
 when 11 then
 # line 30 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:OPEN_BRACKET, data[ts...te])  end
+ begin  emit(:OPEN_BRACKET, data[ts...te], ts, te - 1)  end
 		end
 when 12 then
 # line 31 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:CLOSE_BRACKET, data[ts...te])  end
+ begin  emit(:CLOSE_BRACKET, data[ts...te], ts, te - 1)  end
 		end
 when 13 then
 # line 32 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:OPEN_DICT_BRACKET, data[ts...te])  end
+ begin  emit(:OPEN_DICT_BRACKET, data[ts...te], ts, te - 1)  end
 		end
 when 14 then
 # line 33 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:START_COMMENT, data[ts...te])  end
+ begin  emit(:START_COMMENT, data[ts...te], ts, te - 1)  end
 		end
 when 15 then
 # line 34 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:END_COMMENT, data[ts...te])  end
+ begin  emit(:END_COMMENT, data[ts...te], ts, te - 1)  end
 		end
 when 16 then
 # line 35 "lib/halunke/tokenizer.rl"
 		begin
 te = p+1
- begin  emit(:BAR, data[ts...te])  end
+ begin  emit(:BAR, data[ts...te], ts, te - 1)  end
 		end
 when 17 then
 # line 36 "lib/halunke/tokenizer.rl"
@@ -368,13 +368,13 @@ when 19 then
 # line 22 "lib/halunke/tokenizer.rl"
 		begin
 te = p
-p = p - 1; begin  emit(:NUMBER, data[ts...te].to_r)  end
+p = p - 1; begin  emit(:NUMBER, data[ts...te].to_r, ts, te - 1)  end
 		end
 when 20 then
 # line 25 "lib/halunke/tokenizer.rl"
 		begin
 te = p
-p = p - 1; begin  emit(:BAREWORD, data[ts...te])  end
+p = p - 1; begin  emit(:BAREWORD, data[ts...te], ts, te - 1)  end
 		end
 when 21 then
 # line 37 "lib/halunke/tokenizer.rl"
@@ -386,7 +386,7 @@ when 22 then
 # line 22 "lib/halunke/tokenizer.rl"
 		begin
  begin p = ((te))-1; end
- begin  emit(:NUMBER, data[ts...te].to_r)  end
+ begin  emit(:NUMBER, data[ts...te].to_r, ts, te - 1)  end
 		end
 when 23 then
 # line 37 "lib/halunke/tokenizer.rl"
@@ -400,7 +400,7 @@ when 24 then
 	case act
 	when 3 then
 	begin begin p = ((te))-1; end
- emit(:UNASSIGNED_BAREWORD, data[ts+1 ...te]) end
+ emit(:UNASSIGNED_BAREWORD, data[ts+1 ...te], ts, te - 1) end
 	when 16 then
 	begin begin p = ((te))-1; end
  raise "Could not lex '#{ data[ts...te] }'" end
@@ -460,8 +460,8 @@ end
 
     private
 
-    def emit(type, value)
-      @tokens << [ type, value ]
+    def emit(type, value, ts, te)
+      @tokens << [ type, [ value, ts, te ] ]
     end
   end
 end

data/lib/halunke/tokenizer.rl

@@ -19,20 +19,20 @@
 
   main := |*
 
-    number => { emit(:NUMBER, data[ts...te].to_r) };
-    string => { emit(:STRING, data[ts+1...te-1]) };
-    unassigned_bareword => { emit(:UNASSIGNED_BAREWORD, data[ts+1 ...te]) };
-    bareword => { emit(:BAREWORD, data[ts...te]) };
-    open_paren => { emit(:OPEN_PAREN, data[ts...te]) };
-    close_paren => { emit(:CLOSE_PAREN, data[ts...te]) };
-    open_curly => { emit(:OPEN_CURLY, data[ts...te]) };
-    close_curly => { emit(:CLOSE_CURLY, data[ts...te]) };
-    open_bracket => { emit(:OPEN_BRACKET, data[ts...te]) };
-    close_bracket => { emit(:CLOSE_BRACKET, data[ts...te]) };
-    open_dict_bracket => { emit(:OPEN_DICT_BRACKET, data[ts...te]) };
-    start_comment => { emit(:START_COMMENT, data[ts...te]) };
-    end_comment => { emit(:END_COMMENT, data[ts...te]) };
-    bar => { emit(:BAR, data[ts...te]) };
+    number => { emit(:NUMBER, data[ts...te].to_r, ts, te - 1) };
+    string => { emit(:STRING, data[ts+1...te-1], ts, te - 1) };
+    unassigned_bareword => { emit(:UNASSIGNED_BAREWORD, data[ts+1 ...te], ts, te - 1) };
+    bareword => { emit(:BAREWORD, data[ts...te], ts, te - 1) };
+    open_paren => { emit(:OPEN_PAREN, data[ts...te], ts, te - 1) };
+    close_paren => { emit(:CLOSE_PAREN, data[ts...te], ts, te - 1) };
+    open_curly => { emit(:OPEN_CURLY, data[ts...te], ts, te - 1) };
+    close_curly => { emit(:CLOSE_CURLY, data[ts...te], ts, te - 1) };
+    open_bracket => { emit(:OPEN_BRACKET, data[ts...te], ts, te - 1) };
+    close_bracket => { emit(:CLOSE_BRACKET, data[ts...te], ts, te - 1) };
+    open_dict_bracket => { emit(:OPEN_DICT_BRACKET, data[ts...te], ts, te - 1) };
+    start_comment => { emit(:START_COMMENT, data[ts...te], ts, te - 1) };
+    end_comment => { emit(:END_COMMENT, data[ts...te], ts, te - 1) };
+    bar => { emit(:BAR, data[ts...te], ts, te - 1) };
     space;
     any => { raise "Could not lex '#{ data[ts...te] }'" };
 
@@ -59,8 +59,8 @@ module Halunke
 
     private
 
-    def emit(type, value)
-      @tokens << [ type, value ]
+    def emit(type, value, ts, te)
+      @tokens << [ type, [ value, ts, te ] ]
     end
   end
 end

data/lib/halunke/version.rb

@@ -1,3 +1,3 @@
 module Halunke
-  VERSION = "0.8.0"
+  VERSION = "0.9.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: halunke
 version: !ruby/object:Gem::Version
-  version: 0.8.0
+  version: 0.9.0
 platform: ruby
 authors:
 - Lucas Dohmen
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2019-03-03 00:00:00.000000000 Z
+date: 2019-03-05 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rack
@@ -24,6 +24,20 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: 2.0.4
+- !ruby/object:Gem::Dependency
+  name: warning
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.10.1
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.10.1
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement
@@ -119,6 +133,7 @@ files:
 - docs/true-false.md
 - docs/web.md
 - examples/counter.hal
+- examples/error.hal
 - examples/hello.hal
 - examples/stdio.hal
 - examples/web.hal
@@ -126,6 +141,7 @@ files:
 - halunke.gemspec
 - lib/halunke.rb
 - lib/halunke/grammar.y
+- lib/halunke/herror.rb
 - lib/halunke/interpreter.rb
 - lib/halunke/nodes.rb
 - lib/halunke/parser.rb
@@ -144,6 +160,7 @@ files:
 - lib/halunke/runtime/hunassigned_bareword.rb
 - lib/halunke/runtime/hweb.rb
 - lib/halunke/runtime/true.hal
+- lib/halunke/source_code_position.rb
 - lib/halunke/tokenizer.rb
 - lib/halunke/tokenizer.rl
 - lib/halunke/version.rb