gloss 0.1.5 → 0.1.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 622926d0bd44e5bd9b93cfa75ea54dc67d976a63c91a5a60f17c859987ee2fce
-  data.tar.gz: 789917be6b264be0108cb03371b797c4ebc865e01fcb7218589808ccd68bdf83
+  metadata.gz: 9239f0e7898094d7957a2e1eae3b980ff57f94be27eea836f00561262eb8f8d4
+  data.tar.gz: 0ffa974e3146f699a9280878a412f589005cc4723f262c377a215aacd5cae146
 SHA512:
-  metadata.gz: c5fe3cf7f37aa5eec834b806c1f80083dde5be4b15000f18ae4807cb0d2ee5e3f378eaa271ffe3cb4d61b58feb98c3ac0586ab65da5ef2bb3df5dad1e4a02b2e
-  data.tar.gz: b2f55defed2e6ba5d3dec55dd7b6795a3f3ff54fa1e94532bc0bda6d91f099200d5ec40926c6c3b001a27809477016bdd8a59d24a6472419b0958647df6b5c00
+  metadata.gz: 97ef28c0abd86a51f35224661765950f9aab162cb119f7a0d2b05e3d985464f25c58546b0c191cd69fc537a1b921c22ebd8d7c2d4bd446257d17e9b6a454c346
+  data.tar.gz: a9c9b94fbe5ec96b3be1a5c67d5149219d0e138ef7081190c133676c784865fb90d3c1b86b250b0eb207d890c67120a86f27763c5de105baadf550bc158a464f

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    gloss (0.1.5)
+    gloss (0.1.6)
       fast_blank
       listen
       rbs (= 1.0.4)
@@ -10,7 +10,7 @@ PATH
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (6.1.3)
+    activesupport (6.1.3.1)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)
@@ -27,8 +27,8 @@ GEM
     ffi (1.15.0)
     i18n (1.8.9)
       concurrent-ruby (~> 1.0)
-    language_server-protocol (3.15.0.1)
-    listen (3.4.1)
+    language_server-protocol (3.15.0.2)
+    listen (3.5.0)
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
     method_source (1.0.0)

data/README.md

@@ -4,8 +4,7 @@
 [![Total Downloads](http://ruby-gem-downloads-badge.herokuapp.com/gloss?type=total&color=green&label=downloads%20(total)&total_label=)](https://rubygems.org/gems/gloss)
 [![Current Version](http://ruby-gem-downloads-badge.herokuapp.com/gloss?color=green&label=downloads%20(current%20version)&metric=true)](https://rubygems.org/gems/gloss)
 
-[Gloss](https://en.wikipedia.org/wiki/Gloss_(annotation)) is a high-level programming language based on [Ruby](https://github.com/ruby/ruby) and [Crystal](https://github.com/crystal-lang/crystal), which compiles to ruby; its aims are on transparency,
-efficiency, and to enhance ruby's goal of developer happiness and productivity.
+[Gloss](https://en.wikipedia.org/wiki/Gloss_(annotation)) is a language project inspired by [Crystal](https://github.com/crystal-lang/crystal), Ruby's [RBS](https://github.com/ruby/rbs), [Steep](https://github.com/soutaro/steep) and [TypeScript](https://github.com/microsoft/TypeScript). It compiles to pure Ruby.
 
 ### Current features
 
@@ -20,23 +19,6 @@ efficiency, and to enhance ruby's goal of developer happiness and productivity.
 
 This project is at a stage where the core non-crystal parts are written in Gloss and compile to ruby (essentially self-hosting), albeit with the type checking being fairly loose. However the project is still in the very early stages; with (as of yet) no Linux support nor error handling (see roadmap below). Use at your own discretion!
 
-### Approx. roadmap:
-
-- Improve error handling and logging (currently almost non-existant)
-- Address Linux compatibility (currently more or less non-existant)
-- Implement different strictnesses of type checking
-- Metaprogramming helpers/safety:*
-  - Abstract classes and methods
-  - Method lookup/existence checking at compile time
-  - Method overloading
-
-#### Related items:
-
-- Rails helpers; probably some time away*
-- Editor plugins/syntax highlighting/langserver; probably some time away*
-
-*__Dependent on popularity__
-
 ## Examples:
 
 #### Type checking:
@@ -225,7 +207,14 @@ BaseClass.new(123) # Error - can't instantiate abstract class
 Child.new(123).what_is_var # Ok - "var is 123"
 ```
 
-## Usage:
+## Getting started:
+
+**Note: This gem currently requires Crystal to be installed. If you don't wish to install it, or run into other installation problems, consider using the Docker image:**
+
+```dockerfile
+FROM johansenja/gloss:latest
+# ...
+```
 
 ```ruby
 # Gemfile
@@ -248,8 +237,18 @@ then
 
 then
 
+`vi .gloss.yml # set entrypoint to src/hello_world.gl`
+
+then
+
 `gloss build`
 
 then
 
 `ruby ./hello_world.rb`
+
+## Example Projects:
+
+- This one! Gloss is mostly self-hosting, so check out the `./src` and `./.gloss.yml`, or the generated output in `./lib`
+- [onefiveone](https://github.com/johansenja/onefiveone) - A Roman Numeral CLI. Read the accompanying article [here](https://johansenja.medium.com/ruby-crystal-pt-ii-a-simple-app-using-gloss-368ff849db67)
+- More to come (including web apps)! Also check out `Used by` section in the sidebar

data/lib/gloss.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 require "rbs"
 require "json"
@@ -22,6 +21,7 @@ require "gloss/errors"
 require "gloss/logger"
 require "gloss/prog_loader"
 require "gloss/utils"
+require "gloss/runtime"
 require "gls"
 EMPTY_ARRAY = Array.new
 .freeze

data/lib/gloss/cli.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 require "optparse"
 module Gloss
@@ -27,6 +26,7 @@ case command
           when "version", "--version", "-v"
             puts(Gloss::VERSION)
           when "watch", "build"
+            Gloss.load_config
             type_checker = ProgLoader.new
 .run
             (if command.==("watch")

data/lib/gloss/config.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 require "ostruct"
 require "yaml"
@@ -11,7 +10,7 @@ module Gloss
 :src_dir => "src",
 :entrypoint => nil,
 :strict_require => false,
-:type_checking_strictness => "strict",
+:type_checking_strictness => "lenient",
 :prettify_output_executable_path => nil}.freeze)
   def self.load_config()
     user_config = (if File.exist?(File.absolute_path(File.join(Dir.pwd, CONFIG_PATH)))
@@ -24,5 +23,4 @@ module Gloss
       Config.send(:"#{k}=", user_config.[](k.to_s) || v)
     }
   end
-  load_config
 end

data/lib/gloss/errors.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 module Gloss
   module Errors

data/lib/gloss/initializer.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 require "yaml"
 module Gloss

data/lib/gloss/logger.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 module Gloss
   def self.logger()

data/lib/gloss/parser.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 module Gloss
   class Parser

data/lib/gloss/prog_loader.rb

@@ -1,33 +1,42 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 require "rubygems/gem_runner"
 module Gloss
   OUTPUT_BY_PATH = Hash.new
   class ProgLoader
     attr_reader(:"type_checker")
-    def initialize()
-      entrypoint = Config.entrypoint
-      (if entrypoint.==(nil) || entrypoint.==("")
+    def initialize(entrypoint_path = nil, entrypoint_contents = nil)
+      entrypoint_path ||= Config.entrypoint
+      (if entrypoint_path.==(nil) || entrypoint_path.==("")
         throw(:"error", "Entrypoint is not yet set in .gloss.yml")
       end)
-      @files_to_process = [Utils.absolute_path(Config.entrypoint), Utils.absolute_path(File.join(__dir__ || "", "..", "..", "sig", "core.rbs"))]
+      entrypoint = (if entrypoint_path && entrypoint_contents
+        ep = (if entrypoint_path.==(Runtime::NON_EXISTENT_FILEPATH)
+          entrypoint_path
+        else
+          Utils.absolute_path(entrypoint_path)
+        end)
+[ep, entrypoint_contents]
+      else
+        Utils.abs_path_with_contents(entrypoint_path)
+      end)
+      core_types = Utils.abs_path_with_contents(File.join(__dir__ || "", "..", "..", "sig", "core.rbs"))
+      @files_to_process = [entrypoint, core_types]
       @processed_files = Set.new
       @type_checker = TypeChecker.new
     end
     def run()
-      @files_to_process.each() { |path_string|
+      @files_to_process.each() { |__arg0|
+        path_string = __arg0.[](0)
+        file_contents = __arg0.[](1)
         (if path_string.end_with?(".rbs")
           @type_checker.load_sig_path(path_string)
         else
           (if !@processed_files.member?(path_string) || !OUTPUT_BY_PATH.[](path_string)
             Gloss.logger
 .debug("Loading #{path_string}")
-            path = Utils.absolute_path(path_string)
-            file_contents = File.open(path)
-.read
             contents_tree = Parser.new(file_contents)
 .run
             on_new_file_referenced = proc() { |ps, relative|
@@ -55,14 +64,14 @@ module Gloss
         base = File.join(Dir.pwd, path)
         fp = base.+(".gl")
         (if File.exist?(fp)
-          @files_to_process.<<(fp)
+          @files_to_process.<<(Utils.abs_path_with_contents(fp))
         end)
 return
       end)
       full = File.absolute_path("#{File.join(Config.src_dir, "lib", path)}.gl")
       pathn = Pathname.new(full)
       (if pathn.file?
-        @files_to_process.<<(pathn.to_s)
+        @files_to_process.<<(Utils.abs_path_with_contents(pathn.to_s))
       else
         pathn = Pathname.new("#{File.join(Dir.pwd, "sig", path)}.rbs")
         gem_path = Utils.gem_path_for(path)
@@ -122,8 +131,11 @@ nil            }
         end)
       }
       (if pn
-        unless         @files_to_process.include?(pn)
-          @files_to_process.<<(pn)
+        unless         @files_to_process.any?() { |__arg1|
+          fp = __arg1.[](0)
+          fp.==(pn)
+        }
+          @files_to_process.<<(Utils.abs_path_with_contents(pn))
         end
       else
         (if Config.strict_require

data/lib/gloss/runtime.rb

@@ -0,0 +1,25 @@
+  
+  ##### This file was generated by Gloss; any changes made here will be overwritten.
+  ##### See / to make changes
+
+require "stringio"
+module Gloss
+  class Runtime
+    NON_EXISTENT_FILEPATH = "__string__"
+    def self.process_string(str, options = Config.default_config)
+      out_io = StringIO.new
+      error_msg = catch(:"error") { ||
+        tree = Parser.new(str)
+.run
+        tc = ProgLoader.new(NON_EXISTENT_FILEPATH, str)
+.run
+        rb_output = Visitor.new(tree, tc)
+.run
+        tc.run(NON_EXISTENT_FILEPATH, rb_output)
+        Writer.new(rb_output, NON_EXISTENT_FILEPATH, out_io)
+.run
+nil      }
+return [out_io.string, error_msg].freeze
+    end
+  end
+end

data/lib/gloss/scope.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 module Gloss
   class Scope < Hash

data/lib/gloss/source.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 module Gloss
   class Source < String

data/lib/gloss/type_checker.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 require "set"
 module Gloss

data/lib/gloss/utils.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 require "rubygems"
 module Gloss
@@ -34,5 +33,10 @@ module Gloss
       src_path.sub("#{Config.src_dir}/", "")
 .sub(/\.gl$/, ".rb")
     end
+    def abs_path_with_contents(path)
+      abs_path = absolute_path(path)
+return [abs_path, File.open(abs_path)
+.read].freeze
+    end
   end
 end

data/lib/gloss/version.rb

@@ -1,8 +1,7 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 module Gloss
-  VERSION = "0.1.5"
+  VERSION = "0.1.6"
 end

data/lib/gloss/visitor.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 module Gloss
   class Visitor
@@ -123,7 +122,7 @@ case node.[](:"type")
           else
             RBS::Types::Bases::Any.new(location:             build_location(node))
           end)
-          method_types = [RBS::MethodType.new(type_params: EMPTY_ARRAY, type:           RBS::Types::Function.new(required_positionals:           args.dig(:"types", :"required_positionals"), optional_positionals:           args.dig(:"types", :"optional_positionals"), rest_positionals:           args.dig(:"types", :"rest_positionals"), trailing_positionals:           args.dig(:"types", :"trailing_positionals"), required_keywords:           args.dig(:"types", :"required_keywords"), optional_keywords:           args.dig(:"types", :"optional_keywords"), rest_keywords:           args.dig(:"types", :"rest_keywords"), return_type: return_type), block:           (if node.[](:"yield_arg_count")
+          method_types = [RBS::MethodType.new(type_params: EMPTY_ARRAY, type:           RBS::Types::Function.new(required_positionals:           args.dig(:"types", :"required_positionals"), optional_positionals:           args.dig(:"types", :"optional_positionals"), rest_positionals:           args.dig(:"types", :"rest_positionals"), trailing_positionals:           args.dig(:"types", :"trailing_positionals"), required_keywords:           args.dig(:"types", :"required_keywords"), optional_keywords:           args.dig(:"types", :"optional_keywords"), rest_keywords:           args.dig(:"types", :"rest_keywords"), return_type: return_type), block:           (if node.[](:"yield_arg_count") || args.dig(:"types", :"block_arg")
             RBS::Types::Block.new(type:             RBS::Types::Function.new(required_positionals:             Array.new, optional_positionals:             Array.new, rest_positionals: nil, trailing_positionals:             Array.new, required_keywords:             Hash.new, optional_keywords:             Hash.new, rest_keywords: nil, return_type:             RBS::Types::Bases::Any.new(location:             build_location(node))), required: !!node.[](:"block_arg") || node.[](:"yield_arg_count"))
           else
             nil
@@ -616,7 +615,9 @@ EMPTY_HASH      }
       end)
       # @type var rest_kw: Hash[Symbol, Any]?
       rest_kw =       node.[](:"rest_kw_args")
-      (if [rp, op, rkw, okw, rest_p, rest_kw].all?() { |a|
+      # @type var block_arg: Hash[Symbol, Any]?
+      block_arg =       node.[](:"block_arg")
+      (if [rp, op, rkw, okw, rest_p, rest_kw, block_arg].all?() { |a|
 a && a.empty?      }
         return nil
       end)
@@ -634,6 +635,10 @@ a && a.empty?      }
         "**#{visit_node(rest_kw)}"
       else
         ""
+      end), (if block_arg
+        "&#{visit_node(block_arg)}"
+      else
+        ""
       end)].reject(&:"empty?")
 .flatten
 .join(", ")
@@ -658,6 +663,7 @@ a && a.empty?      }
 :trailing_positionals => EMPTY_ARRAY,
 :required_keywords => node.[](:"req_kw_args") || EMPTY_HASH,
 :optional_keywords => node.[](:"opt_kw_args") || EMPTY_HASH,
+:block_arg => true,
 :rest_keywords =>       (if 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:         build_location(node)))

data/lib/gloss/watcher.rb

@@ -1,7 +1,6 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 require "listen"
 module Gloss

data/lib/gloss/writer.rb

@@ -1,46 +1,59 @@
-  # frozen_string_literal: true
-
+  
   ##### This file was generated by Gloss; any changes made here will be overwritten.
-  ##### See src/ to make changes
+  ##### See / to make changes
 
 require "pathname"
 require "fileutils"
 module Gloss
   class Writer
-    def initialize(content, src_path, output_path = Pathname.new(Utils.src_path_to_output_path(src_path)))
+    def initialize(content, src_path, output = nil)
       @content = content
       @src_path = src_path
-      @output_path = output_path
+      @output = output
     end
     def run()
-      unless       @output_path.parent
-.exist?
-        FileUtils.mkdir_p(@output_path.parent)
-      end
-      File.open(@output_path, "wb") { |file|
+      write_to_output() { |otpt|
         sb = shebang
         (if sb
-          file.puts(sb)
+          otpt.puts(sb)
         end)
-        file.puts(@content)
+        otpt.puts(@content)
       }
-      (if Config.prettify_output_executable_path
-        system(Config.prettify_output_executable_path, @output_path.to_s)
-      end)
     end
     private     def shebang()
-      (if @output_path.executable?
-        first_line = File.open(@src_path) { |f|
-          f.readline
-        }
-        (if first_line.start_with?("#!")
-          first_line
+      case @output
+        when Pathname
+          (if @output.executable?
+            first_line = File.open(@src_path) { |f|
+              f.readline
+            }
+            (if first_line.start_with?("#!")
+              first_line
+            else
+              nil
+            end)
+          end)
         else
           nil
-        end)
-      else
-        nil
-      end)
+      end
+    end
+    private     def write_to_output(&blk)
+      case @output
+        when IO, StringIO
+          yield(@output)
+        else
+          output = @output || Pathname.new(Utils.src_path_to_output_path(@src_path))
+          unless           output.parent
+.exist?
+            FileUtils.mkdir_p(output.parent)
+          end
+          File.open(output, "wb") { |file|
+            yield(file)
+          }
+          (if Config.prettify_output_executable_path
+            system(Config.prettify_output_executable_path, @output.to_s)
+          end)
+      end
     end
   end
 end

data/src/lib/gloss.gl

@@ -18,6 +18,7 @@ require "gloss/errors"
 require "gloss/logger"
 require "gloss/prog_loader"
 require "gloss/utils"
+require "gloss/runtime"
 
 require "gls"
 

data/src/lib/gloss/cli.gl

@@ -21,6 +21,7 @@ module Gloss
         when "version", "--version", "-v"
           puts Gloss::VERSION
         when "watch", "build"
+          Gloss.load_config
           type_checker = ProgLoader.new.run
           if command == "watch"
             files = files.map do |f|

data/src/lib/gloss/config.gl

@@ -9,7 +9,7 @@ module Gloss
       src_dir: "src",
       entrypoint: nil,
       strict_require: false,
-      type_checking_strictness: "strict",
+      type_checking_strictness: "lenient",
       prettify_output_executable_path: nil
     }
   )
@@ -22,6 +22,4 @@ module Gloss
                   end
     Config.default_config.each { |k, v| Config.send(:"#{k}=", user_config[k.to_s] || v) }
   end
-
-  load_config
 end

data/src/lib/gloss/prog_loader.gl

@@ -6,29 +6,31 @@ module Gloss
   class ProgLoader
     attr_reader :type_checker
 
-    def initialize
-      entrypoint = Config.entrypoint
-      if entrypoint == nil || entrypoint == ""
+    def initialize(entrypoint_path = nil, entrypoint_contents = nil)
+      entrypoint_path ||= Config.entrypoint
+      if entrypoint_path == nil || entrypoint_path == ""
         throw :error, "Entrypoint is not yet set in .gloss.yml"
       end
-      @files_to_process = [
-        Utils.absolute_path(Config.entrypoint),
-        # __dir__ is typed as String? - but it shouldn't be nil here
-        Utils.absolute_path(File.join((__dir__||""), "..", "..", "sig", "core.rbs"))
-      ]
+      entrypoint = if entrypoint_path && entrypoint_contents
+          ep = entrypoint_path == Runtime::NON_EXISTENT_FILEPATH ? entrypoint_path : Utils.absolute_path(entrypoint_path)
+          [ep, entrypoint_contents]
+        else
+          Utils.abs_path_with_contents(entrypoint_path)
+        end
+      # __dir__ is typed as String? - but it shouldn't be nil here
+      core_types = Utils.abs_path_with_contents(File.join((__dir__||""), "..", "..", "sig", "core.rbs"))
+      @files_to_process = [entrypoint, core_types]
       @processed_files = Set.new
       @type_checker = TypeChecker.new
     end
 
     def run
-      @files_to_process.each do |path_string|
+      @files_to_process.each do |(path_string, file_contents)|
         # currently steep would give an `unexpected jump` if next was used
         if path_string.end_with? ".rbs"
           @type_checker.load_sig_path path_string
         elsif !@processed_files.member?(path_string) || !OUTPUT_BY_PATH.[](path_string)
           Gloss.logger.debug "Loading #{path_string}"
-          path = Utils.absolute_path(path_string)
-          file_contents = File.open(path).read
           contents_tree = Parser.new(file_contents).run
           on_new_file_referenced = proc do |ps, relative|
             ps.each do |pa|
@@ -58,7 +60,7 @@ module Gloss
         base = File.join(Dir.pwd, path)
         fp = base + ".gl"
         if File.exist? fp
-          @files_to_process << fp
+          @files_to_process << Utils.abs_path_with_contents(fp)
         end
         return
       end
@@ -67,7 +69,7 @@ module Gloss
       full = File.absolute_path("#{File.join(Config.src_dir, "lib", path)}.gl")
       pathn = Pathname.new full
       if pathn.file?
-        @files_to_process << pathn.to_s
+        @files_to_process << Utils.abs_path_with_contents(pathn.to_s)
       else
         # no .gl file available - .rbs file available?
         # TODO: verify file is still actually requireable
@@ -118,7 +120,9 @@ module Gloss
       end
 
       if pn
-        @files_to_process << pn unless @files_to_process.include? pn
+        unless @files_to_process.any? { |(fp, _)| fp == pn }
+          @files_to_process << Utils.abs_path_with_contents(pn)
+        end
       elsif Config.strict_require
         throw :error, "Cannot resolve relative path for #{path}"
       else

data/src/lib/gloss/runtime.gl

@@ -0,0 +1,20 @@
+require "stringio"
+
+module Gloss
+  class Runtime
+    NON_EXISTENT_FILEPATH = "__string__"
+
+    def self.process_string(str : String, options = Config.default_config)
+      out_io = StringIO.new
+      error_msg = catch :error do
+        tree = Parser.new(str).run
+        tc = ProgLoader.new(NON_EXISTENT_FILEPATH, str).run
+        rb_output = Visitor.new(tree, tc).run
+        tc.run(NON_EXISTENT_FILEPATH, rb_output)
+        Writer.new(rb_output, NON_EXISTENT_FILEPATH, out_io).run
+        nil
+      end
+      return out_io.string, error_msg
+    end
+  end
+end

data/src/lib/gloss/utils.gl

@@ -31,5 +31,10 @@ module Gloss
       src_path.sub("#{Config.src_dir}/", "")
               .sub(/\.gl$/, ".rb")
     end
+
+    def abs_path_with_contents(path)
+      abs_path = absolute_path(path)
+      return abs_path, File.open(abs_path).read
+    end
   end
 end

data/src/lib/gloss/version.gl

@@ -1,3 +1,3 @@
 module Gloss
-  VERSION = "0.1.5"
+  VERSION = "0.1.6"
 end

data/src/lib/gloss/visitor.gl

@@ -151,7 +151,7 @@ module Gloss
               rest_keywords: args.dig(:types, :rest_keywords),
               return_type: return_type
             ),
-            block: node[:yield_arg_count] ?
+            block: node[:yield_arg_count] || args.dig(:types, :block_arg) ?
               RBS::Types::Block.new(
                 type: RBS::Types::Function.new(
                   required_positionals: Array.new,
@@ -523,7 +523,8 @@ module Gloss
       okw : Hash[Symbol, Any] = node.fetch(:opt_kw_args) { EMPTY_HASH }
       rest_p : String? = node[:rest_p_args] ? visit_node(node[:rest_p_args]) : nil
       rest_kw : Hash[Symbol, Any]? = node[:rest_kw_args]
-      return nil if [rp, op, rkw, okw, rest_p, rest_kw].all? { |a| a && a.empty? }
+      block_arg : Hash[Symbol, Any]? = node[:block_arg]
+      return nil if [rp, op, rkw, okw, rest_p, rest_kw, block_arg].all? { |a| a && a.empty? }
 
       contents = [
         rp.map { |a| visit_node(a) },
@@ -531,7 +532,8 @@ module Gloss
         rkw.map { |name, _| "#{name}:" },
         okw.map { |name, value| "#{name}: #{value}" },
         rest_p ? "*#{rest_p}" : "",
-        rest_kw ? "**#{visit_node(rest_kw)}" : ""
+        rest_kw ? "**#{visit_node(rest_kw)}" : "",
+        block_arg ? "&#{visit_node(block_arg)}" : ""
       ].reject(&:empty?).flatten.join(", ")
       representation = "(#{contents})"
       rp_args = rp.map do |a|
@@ -561,6 +563,7 @@ module Gloss
           trailing_positionals: EMPTY_ARRAY, # TODO
           required_keywords: node[:req_kw_args] || EMPTY_HASH,
           optional_keywords: node[:opt_kw_args] || EMPTY_HASH,
+          block_arg: true,
           rest_keywords: node[:rest_kw_args] ?
             RBS::Types::Function::Param.new(
               name: visit_node(node[:rest_kw_args]).to_sym,

data/src/lib/gloss/writer.gl

@@ -1,5 +1,3 @@
-# frozen_string_literal: true
-
 require "pathname"
 require "fileutils"
 
@@ -8,31 +6,46 @@ module Gloss
     def initialize(
       @content,
       @src_path : String,
-      @output_path : Pathname? = Pathname.new(
-        Utils.src_path_to_output_path(src_path)
-      )
+      @output : Pathname | IO | NilClass = nil
     )
     end
 
     def run
-      FileUtils.mkdir_p(@output_path.parent) unless @output_path.parent.exist?
-      File.open(@output_path, "wb") do |file|
+      write_to_output do |otpt|
         sb = shebang
-        file.puts sb if sb
-        file.puts @content
-      end
-      if Config.prettify_output_executable_path
-        system Config.prettify_output_executable_path, @output_path.to_s
+        otpt.puts sb if sb
+        otpt.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
+      case @output
+      when Pathname
+        if @output.executable?
+          first_line = File.open(@src_path) { |f| f.readline }
+          first_line.start_with?("#!") ? first_line : nil
+        end
       else
         nil
       end
     end
+
+    private def write_to_output(&blk)
+      case @output
+      when IO, StringIO
+        # blk.call(@output)
+        yield @output
+      else
+        output = @output || Pathname.new(Utils.src_path_to_output_path(@src_path))
+        FileUtils.mkdir_p(output.parent) unless output.parent.exist?
+        File.open(output, "wb") do |file|
+          # blk.call(file)
+          yield file
+        end
+        if Config.prettify_output_executable_path
+          system Config.prettify_output_executable_path, @output.to_s
+        end
+      end
+    end
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: gloss
 version: !ruby/object:Gem::Version
-  version: 0.1.5
+  version: 0.1.6
 platform: ruby
 authors:
 - johansenja
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-03-13 00:00:00.000000000 Z
+date: 2021-03-28 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: fast_blank
@@ -179,6 +179,7 @@ files:
 - lib/gloss/logger.rb
 - lib/gloss/parser.rb
 - lib/gloss/prog_loader.rb
+- lib/gloss/runtime.rb
 - lib/gloss/scope.rb
 - lib/gloss/source.rb
 - lib/gloss/type_checker.rb
@@ -204,6 +205,7 @@ files:
 - src/lib/gloss/logger.gl
 - src/lib/gloss/parser.gl
 - src/lib/gloss/prog_loader.gl
+- src/lib/gloss/runtime.gl
 - src/lib/gloss/scope.gl
 - src/lib/gloss/source.gl
 - src/lib/gloss/type_checker.gl
@@ -231,7 +233,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.2.3
+rubygems_version: 3.1.2
 signing_key:
 specification_version: 4
 summary: A superset of ruby