carbon-compiler 0.2.0

data/lib/carbon/compiler/visitor/preparation/statements.rb

@@ -0,0 +1,73 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+module Carbon
+  module Compiler
+    module Visitor
+      class Preparation
+        module Statements
+          Preparation.on Node::Statement::Return => :visit_ignore
+
+          Preparation.on Node::Statement::If => :visit_statement_if
+          Preparation.on Node::Statement::ElsIf => :visit_statement_if
+          def visit_statement_if(node)
+            @context = :if
+            condition = accept(node.condition)
+            @context = :normal
+
+            node.update(condition: condition, body: accept(node.body),
+              follow: accept(node.follow))
+          end
+
+          Preparation.on Node::Statement::Else => :visit_statement_else
+          def visit_statement_else(node)
+            node.update(body: accept(node.body))
+          end
+
+          Preparation.on Node::Statement::Catch => :visit_statement_catch
+          def visit_statement_catch(node)
+            visit_statement_body_follow(node)
+          end
+
+          Preparation.on Node::Statement::Try => :visit_statement_body_follow
+          def visit_statement_body_follow(node)
+            node.merge(body: accept(node.body), follow: accept(node.follow))
+          end
+
+          Preparation.on Node::Statement::While => :visit_statement_while
+          def visit_statement_while(node)
+            @context = :while
+            expr = accept(node.condition)
+            @context = :normal
+
+            node.update(condition: expr, body: accept(node.body))
+          end
+
+          Preparation.on Node::Statement::For => :visit_statement_for
+          def visit_statement_for(node)
+            @context = :"for:init"
+            initial = accept(node.initial)
+            @context = :"for:cond"
+            condition = accept(node.condition)
+            @context = :"for:incr"
+            increment = accept(node.increment)
+            @context = :normal
+
+            node.update(initial: initial, condition: condition,
+              increment: increment, body: accept(node.body))
+          end
+
+          Preparation.on Node::Statement::Finally => :visit_statement_body
+          def visit_statement_body(node)
+            node.merge(body: accept(node.body))
+          end
+
+          Preparation.on Node::Statement::Let => :visit_statement_let
+          def visit_statement_let(node)
+            node.merge(type: accept(node.type))
+          end
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/visitor/preparation/struct.rb

@@ -0,0 +1,37 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+module Carbon
+  module Compiler
+    module Visitor
+      class Preparation
+        module Struct
+          Preparation.on Node::Definition::Struct => :visit_struct
+          def visit_struct(node)
+            error_multiple_data(node) if @_data
+            @_data = node
+            names = {}
+            node.attributes!([directives_pop]).map! { |c| accept(c, names) }
+          end
+
+          Preparation.on Node::Definition::Struct::Element =>
+            :visit_struct_element
+          def visit_struct_element(node, names)
+            name = node.name.value
+            error_struct_duplicate(node, name, names) if names.key?(name)
+            names[name] = node
+            type = accept(node.type)
+            node.merge(type: type)
+          end
+
+        private
+
+          def error_struct_duplicate(node, name, names)
+            @file.emit("Struct/Definition/Duplicate", node.location, [name])
+            @file.emit("Trace/Location", names[name].location)
+          end
+        end
+      end
+    end
+  end
+end

data/program.ca

@@ -0,0 +1,16 @@
+:import Carbon::{Int32, Int8}.
+
+struct do
+  name: Int32;
+  value: Int8;
+end
+
+def alloc<T>(): Carbon::Pointer<T> do
+  return Carbon::Pointer<T>.alloc(1);
+end
+
+def main(): Carbon::Int32 do
+  let ptr: Program; # = Program.alloc<Carbon::Int8>();
+  ptr.value = 32i8;
+  return ptr.value.to-int32();
+end

data/test.rb

@@ -0,0 +1,21 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+lib = File.expand_path("../lib", __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require "ruby-prof"
+require "pry"
+require "pry-byebug"
+require "pry-rescue"
+require "carbon"
+require "carbon/compiler"
+
+Carbon.verbose += 1
+Pry.rescue do
+  project = Carbon::Compiler::Project.new(["program.ca"], ".")
+  index = project.call
+  main = Carbon::Type("Program.main()")
+  build = Carbon::Concrete::Build.new(index.build(main), index)
+  build.call
+  puts build.module
+end

metadata

@@ -0,0 +1,234 @@
+--- !ruby/object:Gem::Specification
+name: carbon-compiler
+version: !ruby/object:Gem::Version
+  version: 0.2.0
+platform: ruby
+authors:
+- Jeremy Rodi
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2016-08-24 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.12'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.12'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: carbon-core
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.2'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.2'
+- !ruby/object:Gem::Dependency
+  name: rainbow
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.1'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.1'
+description: ''
+email:
+- me@medcat.me
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitattributes"
+- ".gitignore"
+- ".rspec"
+- ".rubocop.yml"
+- ".travis.yml"
+- CODE_OF_CONDUCT.md
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- Vagrantfile
+- carbon-compiler.gemspec
+- lib/carbon/compiler.rb
+- lib/carbon/compiler/directive.rb
+- lib/carbon/compiler/directive/import.rb
+- lib/carbon/compiler/errors.rb
+- lib/carbon/compiler/location.rb
+- lib/carbon/compiler/metanostic.rb
+- lib/carbon/compiler/metanostic/defaults.rb
+- lib/carbon/compiler/metanostic/defaults.yml
+- lib/carbon/compiler/metanostic/diagnostic.rb
+- lib/carbon/compiler/metanostic/list.rb
+- lib/carbon/compiler/metanostic/mode.rb
+- lib/carbon/compiler/metanostic/state.rb
+- lib/carbon/compiler/metanostic/template.erb
+- lib/carbon/compiler/node.rb
+- lib/carbon/compiler/node/base.rb
+- lib/carbon/compiler/node/definition.rb
+- lib/carbon/compiler/node/definition/class.rb
+- lib/carbon/compiler/node/definition/class/element.rb
+- lib/carbon/compiler/node/definition/directive.rb
+- lib/carbon/compiler/node/definition/directive/function.rb
+- lib/carbon/compiler/node/definition/enum.rb
+- lib/carbon/compiler/node/definition/enum/element.rb
+- lib/carbon/compiler/node/definition/function.rb
+- lib/carbon/compiler/node/definition/function/body.rb
+- lib/carbon/compiler/node/definition/function/name.rb
+- lib/carbon/compiler/node/definition/function/parameter.rb
+- lib/carbon/compiler/node/definition/function/parameters.rb
+- lib/carbon/compiler/node/definition/module.rb
+- lib/carbon/compiler/node/definition/struct.rb
+- lib/carbon/compiler/node/definition/struct/element.rb
+- lib/carbon/compiler/node/etype.rb
+- lib/carbon/compiler/node/etype/option.rb
+- lib/carbon/compiler/node/etype/star.rb
+- lib/carbon/compiler/node/expression.rb
+- lib/carbon/compiler/node/expression/assignment.rb
+- lib/carbon/compiler/node/expression/call.rb
+- lib/carbon/compiler/node/expression/call/access.rb
+- lib/carbon/compiler/node/expression/call/attribute.rb
+- lib/carbon/compiler/node/expression/call/enum.rb
+- lib/carbon/compiler/node/expression/call/module.rb
+- lib/carbon/compiler/node/expression/call/parameters.rb
+- lib/carbon/compiler/node/expression/call/self.rb
+- lib/carbon/compiler/node/expression/call/unified.rb
+- lib/carbon/compiler/node/expression/literal.rb
+- lib/carbon/compiler/node/expression/operation.rb
+- lib/carbon/compiler/node/expression/operation/and.rb
+- lib/carbon/compiler/node/expression/operation/neq.rb
+- lib/carbon/compiler/node/expression/operation/normal.rb
+- lib/carbon/compiler/node/expression/operation/or.rb
+- lib/carbon/compiler/node/expression/unit.rb
+- lib/carbon/compiler/node/name.rb
+- lib/carbon/compiler/node/root.rb
+- lib/carbon/compiler/node/statement.rb
+- lib/carbon/compiler/node/statement/catch.rb
+- lib/carbon/compiler/node/statement/condition.rb
+- lib/carbon/compiler/node/statement/else.rb
+- lib/carbon/compiler/node/statement/elsif.rb
+- lib/carbon/compiler/node/statement/finally.rb
+- lib/carbon/compiler/node/statement/for.rb
+- lib/carbon/compiler/node/statement/if.rb
+- lib/carbon/compiler/node/statement/let.rb
+- lib/carbon/compiler/node/statement/match.rb
+- lib/carbon/compiler/node/statement/return.rb
+- lib/carbon/compiler/node/statement/try.rb
+- lib/carbon/compiler/node/statement/while.rb
+- lib/carbon/compiler/parser.rb
+- lib/carbon/compiler/parser/common.rb
+- lib/carbon/compiler/parser/expressions.rb
+- lib/carbon/compiler/parser/expressions/precedence.rb
+- lib/carbon/compiler/parser/expressions/primary.rb
+- lib/carbon/compiler/parser/firsts.rb
+- lib/carbon/compiler/parser/helpers.rb
+- lib/carbon/compiler/parser/root.rb
+- lib/carbon/compiler/parser/root/class.rb
+- lib/carbon/compiler/parser/root/directive.rb
+- lib/carbon/compiler/parser/root/enum.rb
+- lib/carbon/compiler/parser/root/function.rb
+- lib/carbon/compiler/parser/root/struct.rb
+- lib/carbon/compiler/parser/root/trait.rb
+- lib/carbon/compiler/parser/statements.rb
+- lib/carbon/compiler/parser/statements/if.rb
+- lib/carbon/compiler/parser/statements/match.rb
+- lib/carbon/compiler/parser/statements/try.rb
+- lib/carbon/compiler/project.rb
+- lib/carbon/compiler/project/file.rb
+- lib/carbon/compiler/scanner.rb
+- lib/carbon/compiler/scanner/main.rb
+- lib/carbon/compiler/scanner/token.rb
+- lib/carbon/compiler/version.rb
+- lib/carbon/compiler/visitor.rb
+- lib/carbon/compiler/visitor/base.rb
+- lib/carbon/compiler/visitor/generation.rb
+- lib/carbon/compiler/visitor/generation/asserts.rb
+- lib/carbon/compiler/visitor/generation/class.rb
+- lib/carbon/compiler/visitor/generation/context.rb
+- lib/carbon/compiler/visitor/generation/expressions.rb
+- lib/carbon/compiler/visitor/generation/expressions/assignment.rb
+- lib/carbon/compiler/visitor/generation/expressions/calls.rb
+- lib/carbon/compiler/visitor/generation/function.rb
+- lib/carbon/compiler/visitor/generation/statements.rb
+- lib/carbon/compiler/visitor/generation/struct.rb
+- lib/carbon/compiler/visitor/preparation.rb
+- lib/carbon/compiler/visitor/preparation/expressions.rb
+- lib/carbon/compiler/visitor/preparation/function.rb
+- lib/carbon/compiler/visitor/preparation/statements.rb
+- lib/carbon/compiler/visitor/preparation/struct.rb
+- program.ca
+- test.rb
+homepage: https://github.com/carbon-lang/compiler
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.5.1
+signing_key: 
+specification_version: 4
+summary: ''
+test_files: []