gloss 0.1.2 → 0.1.7

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 598f28c63b98dc26491f81b56112a067e53700f36136e9da1f2a4fbda60e14fc
-  data.tar.gz: 0f39f4a5cd5202bdc280c81b0fac581d06bc9303e58df7ed39ffb993cdfe577f
+  metadata.gz: 0f65447f0ea2606334c6c17956f4c8ec7c8be413918fa4d2d423f973407a451b
+  data.tar.gz: bf09ca8cfc5f0b6d4f7f6c77d8e1cb93da94d1359452218fc514160cf54c571a
 SHA512:
-  metadata.gz: 1d3687951054a991b8c13eae82be7d7ccdb1fd5c2a730ced1b7472a3aa1b59a4fca5471ecc0e2dca00b3abf337a3ebb79bc9e06c3677fc55d30c52f682b332b0
-  data.tar.gz: 0b14828108ea3fa140a560a04313ff6c0321f1e968e168532ae9ab092e41291affe9f4feac1f4309d5be63fd6b0b0cb63e48bce1ea6b5652bb947b051913d07e
+  metadata.gz: 2d788c4b489e5e16e66e304d64f9c0830922d9ef861de818ac170e3c54d64b99e0d45cf6752beca1a392e88f15dc1d3627f02f66f79eb2437659807d1b5551d2
+  data.tar.gz: 9b285072b81d675ac0ca5485a732e7c46e83aca2b6bf09d288b58b7a6b9503e976711f0a2cb51d3d04edbf2c573d8625a0c8f9f35e4d158b11145a2d5919c3bd

data/.github/workflows/tests.yml

@@ -0,0 +1,41 @@
+name: Tests
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+env:
+  ImageOS: ubuntu18
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    container:
+      image: johansenja/gloss:latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - uses: actions/cache@v2
+        id: gems-cache
+        with:
+          path: vendor/bundle
+          key: ${{ runner.os }}-gems-${{ hashFiles('**/Gemfile.lock') }}
+          restore-keys: |
+            ${{ runner.os }}-gems-
+      - name: install Bundler
+        run: gem install bundler:2.2.3
+      - name: install gems
+        run: bundle install --jobs 4 --retry 3
+      - name: Compile extension
+        run: make
+        working-directory: ext/gloss
+      - name: Run tests
+        run: rake
+      - name: Install dependencies
+        run: shards install
+        working-directory: ext/gloss
+      - name: Run tests
+        run: crystal spec
+        working-directory: ext/gloss
+      - name: Build self with current state
+        run: exe/gloss build

data/.gloss.yml

@@ -2,3 +2,4 @@
 frozen_string_literals: true
 src_dir: src
 entrypoint: src/exe/gloss
+type_checking_strictness: lenient

data/Gemfile.lock

@@ -1,22 +1,22 @@
 PATH
   remote: .
   specs:
-    gloss (0.1.2)
+    gloss (0.1.7)
       fast_blank
       listen
-      rbs
-      steep
+      rbs (= 1.0.4)
+      steep (= 0.41.0)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (6.1.1)
+    activesupport (6.1.3.1)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)
       tzinfo (~> 2.0)
       zeitwerk (~> 2.3)
-    ast (2.4.1)
+    ast (2.4.2)
     ast_utils (0.4.0)
       parser (>= 2.7.0)
     byebug (11.1.3)
@@ -24,15 +24,15 @@ GEM
     concurrent-ruby (1.1.8)
     diff-lcs (1.4.4)
     fast_blank (1.0.0)
-    ffi (1.14.2)
-    i18n (1.8.8)
+    ffi (1.15.0)
+    i18n (1.8.10)
       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.1)
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
     method_source (1.0.0)
-    minitest (5.14.3)
+    minitest (5.14.4)
     parallel (1.20.1)
     parser (2.7.2.0)
       ast (~> 2.4.1)
@@ -77,6 +77,7 @@ GEM
     rubocop-ast (1.4.0)
       parser (>= 2.7.1.5)
     ruby-progressbar (1.11.0)
+    rufo (0.12.0)
     steep (0.41.0)
       activesupport (>= 5.1)
       ast_utils (>= 0.4.0)
@@ -99,6 +100,7 @@ DEPENDENCIES
   rake-compiler
   rspec
   rubocop
+  rufo
 
 BUNDLED WITH
    2.2.3

data/README.md

@@ -1,12 +1,10 @@
-# Gloss
+# ![Gloss](./logo.svg "Gloss")
 [![Gem Version](https://badge.fury.io/rb/gloss.svg)](https://rubygems.org/gems/gloss)
-[![Ruby Specs](https://github.com/johansenja/gloss/workflows/Ruby%20Specs/badge.svg)](https://github.com/johansenja/gloss/actions?query=workflow%3A%22Ruby+Specs%22)
-[![Crystal Specs](https://github.com/johansenja/gloss/workflows/Crystal%20Specs/badge.svg)](https://github.com/johansenja/gloss/actions?query=workflow%3A%22Crystal+Specs%22)
-[![Total Downloads](http://ruby-gem-downloads-badge.herokuapp.com/gloss?type=total&color=green&metric=true&label=downloads%20(total)&total_label=)](https://rubygems.org/gems/gloss)
+[![Tests](https://github.com/johansenja/gloss/workflows/Tests/badge.svg)](https://github.com/johansenja/gloss/actions?query=workflow%3ATests)
+[![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
 
@@ -21,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:
@@ -136,7 +117,7 @@ class Language
     TS = "TypeScript"
     P = "Python"
   end
-  
+
   def favourite_language(language : Lang)
     puts "my favourite language is #{language}"
   end
@@ -212,7 +193,7 @@ end
 ```crystal
 abstract class BaseClass
   attr_reader :var
-  
+
   def initialize(@var); end
 end
 
@@ -226,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
@@ -249,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/Rakefile

@@ -17,8 +17,10 @@ RSpec::Core::RakeTask.new :spec  do |spec|
   spec.pattern = 'spec/**/*_spec.rb'
 end
 
-task :build do
+task :build_gem do
   sh "cd", "ext/gloss", "&&", "make", "all", "&&", "cd", "-"
 end
 
-task :default => [:spec]
+task build: [:build_gem]
+
+task default: [:spec]

data/ext/gloss/Makefile

@@ -3,16 +3,8 @@ PLATFORM = $(shell uname -s)
 
 ifeq "$(PLATFORM)" "Darwin"
 TARGET = ../../lib/gls.bundle
-
-clean:
-	rm -f $(TARGET) $(TARGET).dwarf
-endif
-
-ifeq "$(PLATFORM)" "Linux"
+else
 TARGET = ../../lib/gls.so
-
-clean:
-	rm -f $(TARGET)
 endif
 
 install: all
@@ -23,4 +15,8 @@ shards:
 	shards
 
 build: ./src/gloss.cr
-	$(CRYSTAL) build  --link-flags "-shared -dynamic -Wl,-undefined,dynamic_lookup" $< -o $(TARGET) --release
+	$(CRYSTAL) build  --link-flags "-shared -Wl,-undefined,dynamic_lookup" $< -o $(TARGET) --release
+
+clean:
+	rm -f $(TARGET)
+	rm -f $(TARGET).dwarf

data/ext/gloss/lib/cr_ruby.cr

@@ -1,8 +1,6 @@
 lib CrRuby
   # every ruby Object is a VALUE
   type VALUE = Void*
-  # ruby method typing
-  type METHOD_FUNC = VALUE, VALUE -> VALUE
 
   # a ruby Class is a VALUE
   $rb_cObject : VALUE
@@ -28,8 +26,11 @@ lib CrRuby
   fun rb_define_module(name: UInt8*) : VALUE
 
   # define ruby method in C
-  fun rb_define_method(klass: VALUE, name: UInt8*, func: METHOD_FUNC, argc: Int32)
+  fun rb_define_method(klass: VALUE, name: UInt8*, func: Proc(CrRuby::VALUE, CrRuby::VALUE,
+                                                              CrRuby::VALUE), argc: Int32)
 
   # define singleton ruby method in C
-  fun rb_define_singleton_method(klass: VALUE, name: UInt8*, func: METHOD_FUNC, argc: Int32)
+  fun rb_define_singleton_method(klass: VALUE, name: UInt8*, func: Proc(CrRuby::VALUE,
+                                                                        CrRuby::VALUE,
+                                                                        CrRuby::VALUE), argc: Int32)
 end

data/ext/gloss/src/gloss.cr

@@ -21,5 +21,10 @@ fun init = Init_gls
   GC.init
   LibCrystalMain.__crystal_main(0, Pointer(Pointer(UInt8)).null)
   gloss = CrRuby.rb_define_module("Gloss");
-  CrRuby.rb_define_singleton_method(gloss, "parse_buffer", ->parse_string(CrRuby::VALUE, CrRuby::VALUE), 1);
+  CrRuby.rb_define_singleton_method(
+    gloss,
+    "parse_buffer",
+    ->parse_string(CrRuby::VALUE, CrRuby::VALUE),
+    1
+  );
 end

data/gloss.gemspec

@@ -17,11 +17,12 @@ Gem::Specification.new do |s|
 
   s.add_runtime_dependency "fast_blank"
   s.add_runtime_dependency "listen"
-  s.add_runtime_dependency "rbs"
-  s.add_runtime_dependency "steep"
+  s.add_runtime_dependency "rbs", "1.0.4"
+  s.add_runtime_dependency "steep", "0.41.0"
 
+  s.add_development_dependency "pry-byebug"
   s.add_development_dependency "rake-compiler"
   s.add_development_dependency "rspec"
-  s.add_development_dependency "pry-byebug"
   s.add_development_dependency "rubocop"
+  s.add_development_dependency "rufo"
 end

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,11 +21,8 @@ require "gloss/errors"
 require "gloss/logger"
 require "gloss/prog_loader"
 require "gloss/utils"
-is_ci = ENV.fetch("CI") { ||
-false}
-unless is_ci
-  require "gls"
-end
+require "gloss/runtime"
+require "gls"
 EMPTY_ARRAY = Array.new
 .freeze
 EMPTY_HASH = {}.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,7 +26,9 @@ case command
           when "version", "--version", "-v"
             puts(Gloss::VERSION)
           when "watch", "build"
-            type_checker = ProgLoader.new
+            Gloss.load_config
+            type_checker = TypeChecker.new(Config.src_dir)
+            type_checker = ProgLoader.new(type_checker)
 .run
             (if command.==("watch")
               files = files.map() { |f|

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"
@@ -10,14 +9,18 @@ module Gloss
   Config = OpenStruct.new(default_config: {:frozen_string_literals => true,
 :src_dir => "src",
 :entrypoint => nil,
-:strict_require => false}.freeze)
-  user_config = (if File.exist?(CONFIG_PATH)
-    YAML.safe_load(File.read(CONFIG_PATH))
-  else
+:strict_require => false,
+: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)))
+      YAML.safe_load(File.read(CONFIG_PATH))
+    else
+      Config.default_config
+    end)
     Config.default_config
-  end)
-  Config.default_config
 .each() { |k, v|
-    Config.send(:"#{k}=", user_config.[](k.to_s) || v)
-  }
+      Config.send(:"#{k}=", user_config.[](k.to_s) || v)
+    }
+  end
 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()
@@ -24,6 +23,11 @@ nil => nil,
       else
         IO::NULL
       end))
+.tap() { |l|
+        (if real_log_level
+          l.level=(real_log_level)
+        end)
+      }
     end)
   end
 end

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