carbon-compiler 0.2.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 656ef67db905ee5ced18a75d79bc9b85abcc9c3c
+  data.tar.gz: 1a0915c9d60d49304a6e06422cf5e7c73828295a
+SHA512:
+  metadata.gz: a22c9f3557f76e5d4cad816da6f71ca404bb09dcea62a6093e0ee55e4513eb0e1c97e3a7ca80faf71b5fff2f97da3019a574644bd2c5d30f9aef0174cee68e58
+  data.tar.gz: b036680aebb5314bc61a37a74acecc556f535539a4690e3495d0b97c72c99397b46437fe8aaae49c6902698ba88b86cc0971ca37e7057a3a5bf60787cdc19fdc

data/.gitattributes

@@ -0,0 +1,17 @@
+# Auto detect text files and perform LF normalization
+* text=auto
+
+# Custom for Visual Studio
+*.cs     diff=csharp
+
+# Standard to msysgit
+*.doc	 diff=astextplain
+*.DOC	 diff=astextplain
+*.docx diff=astextplain
+*.DOCX diff=astextplain
+*.dot  diff=astextplain
+*.DOT  diff=astextplain
+*.pdf  diff=astextplain
+*.PDF	 diff=astextplain
+*.rtf	 diff=astextplain
+*.RTF	 diff=astextplain

data/.gitignore

@@ -0,0 +1,10 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+/.vagrant/

data/.rspec

@@ -0,0 +1,2 @@
+--format documentation
+--color

data/.rubocop.yml

@@ -0,0 +1,39 @@
+AllCops:
+  TargetRubyVersion: 2.3
+  Exclude:
+    - "lib/carbon/compiler/parser/**/*.rb"
+    - "lib/carbon/compiler/visitor/generation/**/*.rb"
+Style/AlignParameters:
+  EnforcedStyle: with_fixed_indentation
+Style/SignalException:
+  EnforcedStyle: only_fail
+Style/AccessModifierIndentation:
+  EnforcedStyle: outdent
+Style/ConditionalAssignment:
+  Enabled: false
+Style/Encoding:
+  Enabled: true
+  EnforcedStyle: always
+  AutoCorrectEncodingComment: "# encoding: utf-8\n"
+Style/MultilineBlockChain:
+  Enabled: false
+Style/MultilineMethodCallIndentation:
+  Enabled: false
+Style/ParallelAssignment:
+  Enabled: false
+Style/RedundantFreeze:
+  Enabled: false
+Style/RegexpLiteral:
+  EnforcedStyle: mixed
+Style/StringLiterals:
+  EnforcedStyle: double_quotes
+Style/AndOr:
+  EnforcedStyle: conditionals
+Style/AlignHash:
+  EnforcedLastArgumentHashStyle: ignore_implicit
+Style/AlignArray:
+  Enabled: false
+Style/IndentArray:
+  Enabled: false
+Style/Alias:
+  EnforcedStyle: prefer_alias_method

data/.travis.yml

@@ -0,0 +1,5 @@
+sudo: false
+language: ruby
+rvm:
+  - 2.3.1
+before_install: gem install bundler -v 1.12.5

data/CODE_OF_CONDUCT.md

@@ -0,0 +1,49 @@
+# Contributor Code of Conduct
+
+As contributors and maintainers of this project, and in the interest of
+fostering an open and welcoming community, we pledge to respect all people who
+contribute through reporting issues, posting feature requests, updating
+documentation, submitting pull requests or patches, and other activities.
+
+We are committed to making participation in this project a harassment-free
+experience for everyone, regardless of level of experience, gender, gender
+identity and expression, sexual orientation, disability, personal appearance,
+body size, race, ethnicity, age, religion, or nationality.
+
+Examples of unacceptable behavior by participants include:
+
+* The use of sexualized language or imagery
+* Personal attacks
+* Trolling or insulting/derogatory comments
+* Public or private harassment
+* Publishing other's private information, such as physical or electronic
+  addresses, without explicit permission
+* Other unethical or unprofessional conduct
+
+Project maintainers have the right and responsibility to remove, edit, or
+reject comments, commits, code, wiki edits, issues, and other contributions
+that are not aligned to this Code of Conduct, or to ban temporarily or
+permanently any contributor for other behaviors that they deem inappropriate,
+threatening, offensive, or harmful.
+
+By adopting this Code of Conduct, project maintainers commit themselves to
+fairly and consistently applying these principles to every aspect of managing
+this project. Project maintainers who do not follow or enforce the Code of
+Conduct may be permanently removed from the project team.
+
+This code of conduct applies both within project spaces and in public spaces
+when an individual is representing the project or its community.
+
+Instances of abusive, harassing, or otherwise unacceptable behavior may be
+reported by contacting a project maintainer at me@medcat.me. All
+complaints will be reviewed and investigated and will result in a response that
+is deemed necessary and appropriate to the circumstances. Maintainers are
+obligated to maintain confidentiality with regard to the reporter of an
+incident.
+
+This Code of Conduct is adapted from the [Contributor Covenant][homepage],
+version 1.3.0, available at
+[http://contributor-covenant.org/version/1/3/0/][version]
+
+[homepage]: http://contributor-covenant.org
+[version]: http://contributor-covenant.org/version/1/3/0/

data/Gemfile

@@ -0,0 +1,11 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+source "https://rubygems.org"
+
+# Specify your gem's dependencies in carbon-compiler.gemspec
+gemspec
+gem "pry"
+gem "pry-byebug"
+gem "pry-rescue"
+gem "pry-stack_explorer"

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2016 Jeremy Rodi
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,41 @@
+# Carbon::Compiler
+
+Welcome to your new gem! In this directory, you'll find the files you need to be able to package up your Ruby library into a gem. Put your Ruby code in the file `lib/carbon/compiler`. To experiment with that code, run `bin/console` for an interactive prompt.
+
+TODO: Delete this and the text above, and describe your gem
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'carbon-compiler'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install carbon-compiler
+
+## Usage
+
+TODO: Write usage instructions here
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/[USERNAME]/carbon-compiler. This project is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the [Contributor Covenant](http://contributor-covenant.org) code of conduct.
+
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](http://opensource.org/licenses/MIT).
+

data/Rakefile

@@ -0,0 +1,9 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task default: :spec

data/Vagrantfile

@@ -0,0 +1,84 @@
+# encoding: utf-8
+# frozen_string_literal: true
+# -*- mode: ruby -*-
+# vi: set ft=ruby :
+
+# All Vagrant configuration is done below. The "2" in Vagrant.configure
+# configures the configuration version (we support older styles for
+# backwards compatibility). Please don't change it unless you know what
+# you're doing.
+Vagrant.configure(2) do |config|
+  # The most common configuration options are documented and commented below.
+  # For a complete reference, please see the online documentation at
+  # https://docs.vagrantup.com.
+
+  # Every Vagrant development environment requires a box. You can search for
+  # boxes at https://atlas.hashicorp.com/search.
+  config.vm.box = "terrywang/archlinux"
+
+  # Disable automatic box update checking. If you disable this, then
+  # boxes will only be checked for updates when the user runs
+  # `vagrant box outdated`. This is not recommended.
+  # config.vm.box_check_update = false
+
+  # Create a forwarded port mapping which allows access to a specific port
+  # within the machine from a port on the host machine. In the example below,
+  # accessing "localhost:8080" will access port 80 on the guest machine.
+  # config.vm.network "forwarded_port", guest: 3000, host: 3000
+
+  # Create a private network, which allows host-only access to the machine
+  # using a specific IP.
+  # config.vm.network "private_network", ip: "192.168.33.10"
+
+  # Create a public network, which generally matched to bridged network.
+  # Bridged networks make the machine appear as another physical device on
+  # your network.
+  # config.vm.network "public_network"
+
+  # Share an additional folder to the guest VM. The first argument is
+  # the path on the host to the actual folder. The second argument is
+  # the path on the guest to mount the folder. And the optional third
+  # argument is a set of non-required options.
+  # config.vm.synced_folder "../data", "/vagrant_data"
+  config.vm.synced_folder "../core", "/vagrant_core"
+
+  # Provider-specific configuration so you can fine-tune various
+  # backing providers for Vagrant. These expose provider-specific options.
+  # Example for VirtualBox:
+  #
+  config.vm.provider "virtualbox" do |vb|
+    # Display the VirtualBox GUI when booting the machine
+    # vb.gui = true
+
+    # Customize the amount of memory on the VM:
+    vb.memory = "1024"
+  end
+  #
+  # View the documentation for the provider you are using for more
+  # information on available options.
+
+  # Define a Vagrant Push strategy for pushing to Atlas. Other push strategies
+  # such as FTP and Heroku are also available. See the documentation at
+  # https://docs.vagrantup.com/v2/push/atlas.html for more information.
+  # config.push.define "atlas" do |push|
+  #   push.app = "YOUR_ATLAS_USERNAME/YOUR_APPLICATION_NAME"
+  # end
+
+  # Enable provisioning with a shell script. Additional provisioners such as
+  # Puppet, Chef, Ansible, Salt, and Docker are also available. Please see the
+  # documentation for more information about their specific syntax and use.
+  # config.vm.provision "shell", inline: <<-SHELL
+  #   sudo apt-get update
+  #   sudo apt-get install -y apache2
+  # SHELL
+
+  config.vm.provision "shell", inline: <<-SHELL
+    sudo pacman --noconfirm -Syyu git fish base-devel libyaml openssl zlib llvm35
+    sudo chsh vagrant -s /usr/bin/fish
+  SHELL
+
+  config.vm.provision "shell", privileged: false, name: "ruby", inline: <<-SHELL
+    mkdir -p ~/.config/fish
+    echo "set -x PATH ~/.gem/ruby/2.3.0/bin \\\$PATH" >> ~/.config/fish/config.fish
+  SHELL
+end

data/carbon-compiler.gemspec

@@ -0,0 +1,28 @@
+# coding: utf-8
+# frozen_string_literal: true
+lib = File.expand_path("../lib", __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require "carbon/compiler/version"
+
+Gem::Specification.new do |spec|
+  spec.name          = "carbon-compiler"
+  spec.version       = Carbon::Compiler::VERSION
+  spec.authors       = ["Jeremy Rodi"]
+  spec.email         = ["me@medcat.me"]
+
+  spec.summary       = ""
+  spec.description   = ""
+  spec.homepage      = "https://github.com/carbon-lang/compiler"
+  spec.license       = "MIT"
+
+  spec.files         = `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.12"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec", "~> 3.0"
+  spec.add_dependency "carbon-core", "~> 0.2"
+  spec.add_dependency "rainbow", "~> 2.1"
+end

data/lib/carbon/compiler.rb

@@ -0,0 +1,20 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+require "carbon"
+require "carbon/compiler/errors"
+require "carbon/compiler/version"
+require "carbon/compiler/directive"
+require "carbon/compiler/location"
+require "carbon/compiler/metanostic"
+require "carbon/compiler/node"
+require "carbon/compiler/parser"
+require "carbon/compiler/project"
+require "carbon/compiler/scanner"
+require "carbon/compiler/visitor"
+
+module Carbon
+  module Compiler
+    # Your code goes here...
+  end
+end

data/lib/carbon/compiler/directive.rb

@@ -0,0 +1,48 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+module Carbon
+  module Compiler
+    class Directive
+      ATTACHING = %w(doc extern).freeze
+      def self.handlers
+        @_handlers ||= {}
+      end
+
+      def self.handle(name, &block)
+        handlers[name.to_s] = block
+      end
+
+      require "carbon/compiler/directive/import"
+
+      def initialize(node, file, index)
+        @node = node
+        @file = file
+        @index = index
+      end
+
+      def call
+        instance_exec(&self.class.handlers.fetch(name.to_s))
+      end
+
+      def name
+        @node.value
+      end
+
+      def attach?
+        ATTACHING.include?(name)
+      end
+
+    private
+
+      def error_excessive_parameters(node, expected)
+        @file.emit("Directive/Parameter/Excessive", node.location,
+          [expected, node.parameters.size])
+      end
+
+      def error_invalid_parameter(parameter)
+        @file.emit("Directive/Parameter/Invalid", parameter.location)
+      end
+    end
+  end
+end

data/lib/carbon/compiler/directive/import.rb

@@ -0,0 +1,17 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+module Carbon
+  module Compiler
+    class Directive
+      module Import
+        Directive.handle :import do
+          error_excessive_parameters(node, 1) if @node.parameters.size != 1
+          etype = @node.parameters.first
+          error_invalid_parameter(etype) unless etype.is_a?(Node::EType)
+          @file.aliases.merge!(etype.expand(@file))
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/errors.rb

@@ -0,0 +1,7 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+module Carbon
+  class DiagnosticError < Error
+  end
+end

data/lib/carbon/compiler/location.rb

@@ -0,0 +1,136 @@
+# encoding: utf-8
+# frozen_string_literal: true
+
+module Carbon
+  module Compiler
+    # Contains location information for tokens and nodes.  This is commonly used
+    # in error reporting.
+    class Location
+      include Comparable
+      # The lines that the location covers.  Despite its name, this is actually
+      # a range of lines.  Tokens may only be on one line; however, nodes can
+      # be on multiple lines.
+      #
+      # @return [Range<Integer>]
+      attr_reader :line
+      # The columns that the location covers.  Despite its name, this is
+      # actually a range of columns.
+      #
+      # @return [Range<Integer>]
+      attr_reader :column
+      # The file that the location is in.
+      #
+      # @return [String]
+      attr_reader :file
+
+      include Comparable
+
+      # Returns a default location, representing no location information.
+      # This is used when no location information can be obtained, or none
+      # exists; for example, a compiler error unrelated to the parsing of the
+      # file.
+      #
+      # @return [Location]
+      def self.default(file = "(null)")
+        new(0..0, 0..0, file)
+      end
+
+      def self.internal
+        default("(internal)")
+      end
+
+      # Initializes the location.  The location is frozen after initialization.
+      #
+      # @param lines [Range<Integer>]
+      # @param columns [Range<Integer>]
+      # @param files [String]
+      def initialize(lines, columns, files)
+        @line = lines
+        @column = columns
+        @file = files
+        to_a
+        freeze
+      end
+
+      # Compares this location to another location.  It does so by converting
+      # both to arrays and comparing said arrays.
+      #
+      # @return [Numeric]
+      def <=>(other)
+        fail ArgumentError, "Expected a Location" unless other.is_a?(Location)
+        to_a <=> other.to_a
+      end
+
+      # Converts the location to an array.  This array has no meaning outside
+      # of comparisons and equality.  The array is frozen.
+      #
+      # @return [(Class, Range<Integer>, Range<Integer>, String)]
+      def to_a
+        @array ||= [self.class, @line, @column, @file.to_s].freeze
+      end
+
+      # Returns a numeric representation of this class for use of hashing.
+      #
+      # @return [Numeric]
+      def hash
+        to_a.hash
+      end
+
+      # A union operation.  Performing a union on two locations expands both
+      # of them; the range of lines is expanded so that the start of the new
+      # range is the lowest of the start of the ranges from either location,
+      # and the end of the range is the highest of the end of the ranges from
+      # either location; the same is done with the column.  This sets the size
+      # of the new location so that both originating locations are contained
+      # within the new location.
+      #
+      # @param other [Location] The location to union with.
+      # @return [Location] A new location containing the result of the union.
+      def |(other)
+        fail ArgumentError, "Cannot union #{other.class}" unless
+          other.is_a?(Location)
+
+        lines = merge_ranges(line, other.line)
+        columns = merge_ranges(column, other.column)
+        Location.new(lines, columns, file)
+      end
+
+      # Creates a duplicate.  Since the location is frozen, this returns self.
+      #
+      # @return [self]
+      def dup
+        self
+      end
+
+      # Pretty inspect.
+      #
+      # @return [String]
+      def inspect
+        "#(Location #{self})"
+      end
+
+      # Creates a string representation of the location.
+      #
+      # @return [String]
+      def to_s
+        "#{file}:#{line_to_s}:#{column_to_s}"
+      end
+
+    private
+
+      def merge_ranges(*ranges)
+        ranges.map(&:begin).min..ranges.map(&:end).max
+      end
+
+      def line_to_s
+        return @line.end.to_s if @line.size == 1
+        @line.to_s
+      end
+
+      def column_to_s
+        return @column.end.to_s if @column.size == 1
+        @column.to_s
+      end
+    end
+  end
+end