gloss 0.0.6 → 0.1.0

data/src/lib/gloss/utils.gl

@@ -0,0 +1,38 @@
+require "rubygems"
+
+module Gloss
+  module Utils
+    module_function
+
+    def absolute_path(path)
+      pn = Pathname.new(path)
+      if pn.absolute?
+        pn.to_s
+      else
+        ap = File.absolute_path path
+        if File.exist? ap
+          ap
+        else
+          throw :error, "File path #{path} does not exist (also looked for #{ap})"
+        end
+      end
+    end
+
+    def gem_path_for(gem_name)
+      Gem.ui.instance_variable_set :"@outs", StringIO.new
+      Gem::GemRunner.new.run(["which", gem_name])
+      Gem.ui.outs.string
+    rescue SystemExit => e
+      nil
+    end
+
+    def with_file_header(str)
+      "#{Visitor::FILE_HEADER}\n\n#{str}"
+    end
+
+    def src_path_to_output_path(src_path : String) : String
+      src_path.sub("#{Config.src_dir}/", "")
+              .sub(/\.gl$/, ".rb")
+    end
+  end
+end

data/src/lib/gloss/version.gl

@@ -1,3 +1,3 @@
 module Gloss
-  VERSION = "0.0.6"
+  VERSION = "0.1.0"
 end

data/src/lib/gloss/{builder.gl → visitor.gl}

@@ -1,35 +1,26 @@
 module Gloss
-  module Utils
-    module_function
-
-    def with_file_header(str)
-      "#{Builder::FILE_HEADER}\n\n#{str}"
-    end
-  end
-
-  class Builder
+  class Visitor
     FILE_HEADER = <<~RUBY
       #{"# frozen_string_literal: true\n" if Config.frozen_string_literals}
       ##### This file was generated by Gloss; any changes made here will be overwritten.
       ##### See #{Config.src_dir}/ to make changes
     RUBY
 
-    include Utils
-
     attr_reader :tree
 
-    def initialize(tree_hash, type_checker = nil)
+    def initialize(tree_hash, type_checker = nil, @on_new_file_referenced = nil)
       @indent_level = 0
       @inside_macro = false
       @eval_vars = false
       @current_scope = nil
       @tree = tree_hash
       @type_checker = type_checker
+      @after_module_function = false
     end
 
     def run
       rb_output = visit_node(@tree)
-      with_file_header(rb_output)
+      Utils.with_file_header(rb_output)
     end
 
     # type node = Hash[Symbol, String | Array[String | node] | Hash[Symbol, node]] | true | false
@@ -41,18 +32,31 @@ module Gloss
         class_name = visit_node(node[:name])
         current_namespace = @current_scope ? @current_scope.name.to_namespace : RBS::Namespace.root
         superclass_type = nil
-        superclass_output = nil
+        superclass_output = ""
         if node[:superclass]
           @eval_vars = true
           superclass_output = visit_node(node[:superclass])
           @eval_vars = false
-          superclass_type = RBS::Parser.parse_type superclass_output
+          args = Array.new
           if node.dig(:superclass, :type) == "Generic"
-            superclass_output = superclass_output[/^[^\[]+/]
+            superclass_output = superclass_output[/^[^\[]+/] || superclass_output
+            args = node.dig(:superclass, :args).map { |n| RBS::Parser.parse_type(visit_node(n)) }
           end
+
+          class_name_index = superclass_output.index(/[^(?:::)]+\z/) || 0
+          namespace = superclass_output[0, class_name_index]
+          superclass_name = superclass_output[/[^(?:::)]+\z/] || superclass_output
+          superclass_type = RBS::AST::Declarations::Class::Super.new(
+            name: RBS::TypeName.new(
+              namespace: method(:Namespace).call(namespace),
+              name: superclass_name.to_sym,
+            ),
+            args: args,
+            location: build_location(node),
+          )
         end
 
-        src.write_ln "class #{class_name}#{" < #{superclass_output}" if superclass_output}"
+        src.write_ln "class #{class_name}#{" < #{superclass_output}" unless superclass_output.blank?}"
 
         class_type = RBS::AST::Declarations::Class.new(
           name: RBS::TypeName.new(
@@ -63,7 +67,7 @@ module Gloss
           super_class: superclass_type,
           members: Array.new, # TODO
           annotations: Array.new, # TODO
-          location: node[:location],
+          location: build_location(node),
           comment: node[:comment]
         )
         old_parent_scope = @current_scope
@@ -77,10 +81,12 @@ module Gloss
 
         @current_scope.members << class_type if @current_scope
 
-        if @type_checker
-          @type_checker.top_level_decls[class_type.name.name] = class_type unless @current_scope
+        if @type_checker && !@current_scope
+          @type_checker.top_level_decls.add(class_type)
         end
       when "ModuleNode"
+        existing_module_function_state = @after_module_function.dup
+        @after_module_function = false
         module_name = visit_node node[:name]
         src.write_ln "module #{module_name}"
 
@@ -95,7 +101,7 @@ module Gloss
           self_types: Array.new, # TODO
           members: Array.new, # TODO
           annotations: Array.new, # TODO
-          location: node[:location],
+          location: build_location(node),
           comment: node[:comment]
         )
         old_parent_scope = @current_scope
@@ -107,10 +113,11 @@ module Gloss
 
         @current_scope.members << module_type if @current_scope
 
-        if @type_checker
-          @type_checker.top_level_decls[module_type.name.name] = module_type unless @current_scope
+        if @type_checker && !@current_scope
+          @type_checker.top_level_decls.add(module_type)
         end
         src.write_ln "end"
+        @after_module_function = existing_module_function_state
       when "DefNode"
         args = render_args(node)
         receiver = node[:receiver] ? visit_node(node[:receiver]) : nil
@@ -123,11 +130,11 @@ module Gloss
                             namespace: RBS::Namespace.root
                           ),
                           args: EMPTY_ARRAY, # TODO
-                          location: node[:location]
+                          location: build_location(node)
                         )
                       else
                         RBS::Types::Bases::Any.new(
-                          location: node[:location]
+                          location: build_location(node)
                         )
                       end
 
@@ -154,19 +161,19 @@ module Gloss
                   required_keywords: Hash.new,
                   optional_keywords: Hash.new,
                   rest_keywords: nil,
-                  return_type: RBS::Types::Bases::Any.new(location: node[:location])
+                  return_type: RBS::Types::Bases::Any.new(location: build_location(node))
                 ),
                 required: !!(node[:block_arg] || node[:yield_arg_count])
               ) : nil,
-            location: node[:location]
+            location: build_location(node)
           )
         ]
         method_definition = RBS::AST::Members::MethodDefinition.new(
           name: node[:name].to_sym,
-          kind: receiver ? :class : :instance,
+          kind: @after_module_function ? :singleton_instance : receiver ? :singleton : :instance,
           types: method_types,
           annotations: EMPTY_ARRAY, # TODO
-          location: node[:location],
+          location: build_location(node),
           comment: node[:comment],
           overload: false
         )
@@ -202,7 +209,14 @@ module Gloss
                             else
                               nil
                             end
-        call = "#{obj}#{node[:name]}#{opening_delimiter}#{args}#{")" if has_parens}#{block}"
+        name = node[:name]
+        call = "#{obj}#{name}#{opening_delimiter}#{args}#{")" if has_parens}#{block}"
+        case name
+        when "require_relative"
+          @on_new_file_referenced.call(name, true) if @on_new_file_referenced
+        when "module_function"
+          @after_module_function = true
+        end
         src.write_ln(call)
 
       when "Block"
@@ -247,9 +261,10 @@ module Gloss
         src.write node[:value]
 
       when "Require"
+        path = node[:value]
+        src.write_ln %(require "#{path}")
 
-        src.write_ln %(require "#{node[:value]}")
-
+        @on_new_file_referenced.call(path, false) if @on_new_file_referenced
       when "Assign", "OpAssign"
 
         src.write_ln "#{visit_node(node[:target])} #{node[:op]}= #{visit_node(node[:value]).strip}"
@@ -388,7 +403,8 @@ module Gloss
         src.write "return#{val}"
       when "TypeDeclaration"
         src.write_ln "# @type var #{visit_node(node[:var])}: #{visit_node(node[:declared_type])}"
-        src.write_ln "#{visit_node(node[:var])} = #{visit_node(node[:value])}"
+        value = node[:value] ? " = #{visit_node node[:value]}" : nil
+        src.write_ln "#{visit_node(node[:var])}#{value}"
       when "ExceptionHandler"
         src.write_ln "begin"
         indented src do
@@ -422,7 +438,7 @@ module Gloss
             name: method(:TypeName).call(name),
             args: Array.new,
             annotations: Array.new,
-            location: node[:location],
+            location: build_location(node),
             comment: node[:comment]
           )
         if @current_scope
@@ -438,7 +454,7 @@ module Gloss
             name: method(:TypeName).call(name),
             args: Array.new,
             annotations: Array.new,
-            location: node[:location],
+            location: build_location(node),
             comment: node[:comment]
           )
         if @current_scope
@@ -510,37 +526,50 @@ module Gloss
         rest_kw ? "**#{visit_node(rest_kw)}" : ""
       ].reject(&:empty?).flatten.join(", ")
       representation = "(#{contents})"
-      rp.map! do |a|
+      rp_args = rp.map do |a|
         RBS::Types::Function::Param.new(
           name: visit_node(a).to_sym,
           type: RBS::Types::Bases::Any.new(
-            location: a[:location]
+            location: build_location(a)
           )
         )
       end
-      op.map! do |a|
+      op_args = op.map do |a|
         RBS::Types::Function::Param.new(
           name: visit_node(a).to_sym,
-          type: RBS::Types::Bases::Any.new(location: a[:location])
+          type: RBS::Types::Bases::Any.new(location: build_location(a))
         )
       end
-      rest_p = (rpa = node[:rest_p_args]) ? RBS::Types::Function::Param.new(name: visit_node(rpa).to_sym, type: RBS::Types::Bases::Any.new(location: node[:location])) : nil
+      rpa = rest_p ? RBS::Types::Function::Param.new(
+              name: rest_p.to_sym,
+              type: RBS::Types::Bases::Any.new(location: build_location(node))
+            ) : nil
       {
         representation: representation,
         types: {
-          required_positionals: rp,
-          optional_positionals: op,
-          rest_positionals: rest_p,
+          required_positionals: rp_args,
+          optional_positionals: op_args,
+          rest_positionals: rpa,
           trailing_positionals: EMPTY_ARRAY, # TODO
           required_keywords: node[:req_kw_args] || EMPTY_HASH,
           optional_keywords: node[:opt_kw_args] || EMPTY_HASH,
           rest_keywords: node[:rest_kw_args] ?
             RBS::Types::Function::Param.new(
               name: visit_node(node[:rest_kw_args]).to_sym,
-              type: RBS::Types::Bases::Any.new(location: node[:location])
+              type: RBS::Types::Bases::Any.new(location: build_location(node))
             ) : nil
         }
       }
     end
+
+    def build_location(node)
+      return nil unless node[:location]
+
+#      RBS::Location.new(
+#        buffer: RBS::Buffer.new(@file_path, @file_content),
+#        start_pos: node[:location][:start],
+#        end_pos: node[:location][:end]
+#      )
+    end
   end
 end

data/src/lib/gloss/watcher.gl

@@ -1,5 +1,3 @@
-# frozen_string_literal: true
-
 require "listen"
 
 module Gloss
@@ -7,7 +5,8 @@ module Gloss
     def initialize(@paths : Array[String])
       if @paths.empty?
         @paths = [File.join(Dir.pwd, Config.src_dir)]
-        @only = /\.gl$/
+        # either any filepath with .gl extension, or executable with extension
+        @only = /(?:(\.gl|(?:(?<=\/)[^\.\/]+))\z|\A[^\.\/]+\z)/
       else
         file_names = Array.new
         paths = Array.new
@@ -33,7 +32,7 @@ module Gloss
           content = File.read(f)
           err = catch :error do
             Writer.new(
-              Builder.new(
+              Visitor.new(
                 Parser.new(
                   content
                 ).run

data/src/lib/gloss/writer.gl

@@ -4,30 +4,32 @@ require "pathname"
 require "fileutils"
 
 module Gloss
-  module Utils
-    module_function
-
-    def src_path_to_output_path(src_path : String) : String
-      src_path.sub("#{Config.src_dir}/", "")
-              .sub(/\.gl$/, ".rb")
-    end
-  end
-
   class Writer
-    include Utils
-
     def initialize(
       @content,
-      src_path : String,
-      @output_path : Pathname? = Pathname.new(src_path_to_output_path(src_path))
+      @src_path : String,
+      @output_path : Pathname? = Pathname.new(
+        Utils.src_path_to_output_path(src_path)
+      )
     )
     end
 
     def run
       FileUtils.mkdir_p(@output_path.parent) unless @output_path.parent.exist?
       File.open(@output_path, "wb") do |file|
+        sb = shebang
+        file.puts sb if sb
         file.puts @content
       end
     end
+
+    private def shebang
+      if @output_path.executable?
+        first_line = File.open(@src_path) { |f| f.readline }
+        first_line.start_with?("#!") ? first_line : nil
+      else
+        nil
+      end
+    end
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: gloss
 version: !ruby/object:Gem::Version
-  version: 0.0.6
+  version: 0.1.0
 platform: ruby
 authors:
 - johansenja
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-02-07 00:00:00.000000000 Z
+date: 2021-02-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: fast_blank
@@ -159,32 +159,43 @@ files:
 - ext/gloss/src/rb_ast.cr
 - gloss.gemspec
 - lib/gloss.rb
-- lib/gloss/builder.rb
 - lib/gloss/cli.rb
 - lib/gloss/config.rb
 - lib/gloss/errors.rb
 - lib/gloss/initializer.rb
 - lib/gloss/logger.rb
 - lib/gloss/parser.rb
+- lib/gloss/prog_loader.rb
 - lib/gloss/scope.rb
 - lib/gloss/source.rb
 - lib/gloss/type_checker.rb
+- lib/gloss/utils.rb
 - lib/gloss/version.rb
+- lib/gloss/visitor.rb
 - lib/gloss/watcher.rb
 - lib/gloss/writer.rb
-- sig/gloss.rbs
+- sig/core.rbs
+- sig/fast_blank.rbs
+- sig/gls.rbs
 - sig/listen.rbs
-- src/lib/gloss/builder.gl
+- sig/optparse.rbs
+- sig/rubygems.rbs
+- sig/yaml.rbs
+- src/exe/gloss
+- src/lib/gloss.gl
 - src/lib/gloss/cli.gl
 - src/lib/gloss/config.gl
 - src/lib/gloss/errors.gl
 - src/lib/gloss/initializer.gl
 - src/lib/gloss/logger.gl
 - src/lib/gloss/parser.gl
+- src/lib/gloss/prog_loader.gl
 - src/lib/gloss/scope.gl
 - src/lib/gloss/source.gl
 - src/lib/gloss/type_checker.gl
+- src/lib/gloss/utils.gl
 - src/lib/gloss/version.gl
+- src/lib/gloss/visitor.gl
 - src/lib/gloss/watcher.gl
 - src/lib/gloss/writer.gl
 homepage: