sfrp 1.1.0

data/spec/sfrp/raw/set_spec.rb

@@ -0,0 +1,38 @@
+require 'spec_helper'
+require 'sfrp/raw/set'
+require 'sfrp/flat/set'
+
+module SFRP
+  describe 'Compiled Flat-Set from Raw-Set' do
+    let(:fset) do
+      Raw::Set.new do |s|
+        ns = Raw::Namespace.new('Main', [])
+        s << begin
+          a = R.vc_call_e(R.r('1'), [])
+          b = R.vc_call_e(R.r('2'), [])
+          plus = R.r('+')
+          asta = R.r('*')
+          exp = R.seq_e([a, b, a, b], [asta, plus, asta])
+          Raw::Function.new('f', ns, nil, [], [], exp, nil, false)
+        end
+        s << begin
+          int = R.t(R.r('Int'), [])
+          Raw::Function.new('+', ns, int, [a, b], [int, int], nil, 'add', false)
+        end
+        s << begin
+          int = R.t(R.r('Int'), [])
+          Raw::Function.new('*', ns, int, ['a', 'b'], [int, int], nil, 'mul', false)
+        end
+        s << begin
+          Raw::PrimTConst.new('Int', ns, 'int', /^([0-9]+)$/, '\1')
+        end
+        s << Raw::Infix.new(ns, R.r('+'), 6, Raw::Infix::LEFT)
+        s << Raw::Infix.new(ns, R.r('*'), 7, Raw::Infix::LEFT)
+      end.to_flat
+    end
+
+    it 'is compiled correctly' do
+      fset # TODO write assertions
+    end
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,16 @@
+require 'pry'
+require 'pp'
+require 'tapp'
+require 'awesome_print'
+require 'simplecov'
+require 'coveralls'
+require 'parslet/rig/rspec'
+
+SimpleCov.formatter = SimpleCov::Formatter::MultiFormatter.new([
+  SimpleCov::Formatter::HTMLFormatter,
+  Coveralls::SimpleCov::Formatter
+])
+
+SimpleCov.start do
+  add_filter '/spec/'
+end

data/test/IntTest/Main.c

@@ -0,0 +1,5 @@
+#include <stdio.h>
+
+int init(int x) {
+  printf("Initialize:%d\n", x);
+}

data/test/IntTest/Main.h

@@ -0,0 +1,6 @@
+#ifndef MAIN_H
+#define MAIN_H
+
+int init(int);
+
+#endif

data/test/IntTest/Main.sfrp

@@ -0,0 +1,10 @@
+import Base
+import IO.STDIO as SIO
+
+foreign init as $initProgram(Int) : Unit
+init $initProgram(0)
+
+in @input 0 from SIO.$getInt()
+out SIO.$putInt(@x)
+
+@x : Int = -(@@input * 1 + @input * 2)

data/test/IntTest/in.txt

@@ -0,0 +1,3 @@
+1
+2
+3

data/test/IntTest/out.txt

@@ -0,0 +1,4 @@
+Initialize:0
+-2
+-5
+-8

data/test/MaybeTest/Main.sfrp

@@ -0,0 +1,8 @@
+import Base
+import IO.STDIO as SIO
+import SubDir.Lib as Lib
+
+in @maybeInt : Maybe[Int] from Lib.$getMaybeInt()
+out SIO.$putInt(@acc)
+
+@acc 0 : Int = @@acc + Lib.getOrElse(@maybeInt, 0)

data/test/MaybeTest/SubDir/Lib.sfrp

@@ -0,0 +1,9 @@
+import Base
+import IO.STDIO as SIO
+
+$getMaybeInt() : Maybe[Int] = case SIO.$getIntPair() of
+  (0, _) -> Nothing
+  (_, x) -> Just(x)
+
+getOrElse(m, v) = case m of
+  Just(v) -> v; Nothing -> v

data/test/MaybeTest/in.txt

@@ -0,0 +1,6 @@
+1 1
+1 1
+1 2
+1 3
+0 100
+1 1

data/test/MaybeTest/out.txt

@@ -0,0 +1,6 @@
+1
+2
+4
+7
+7
+8

data/test/Rakefile

@@ -0,0 +1,15 @@
+DIRS = Dir.glob('**').select { |f| File.directory?(f) }
+
+desc 'test all'
+task :default => DIRS
+
+DIRS.each do |d|
+  desc "test #{d}"
+  task d do
+    cd d do
+      sh "bundle exec ../../bin/sfrp --build=cc --out=compiled"
+      sh './Main < in.txt | diff -y out.txt -'
+      sh 'rm -fr ./compiled ./Main'
+    end
+  end
+end

metadata

@@ -0,0 +1,290 @@
+--- !ruby/object:Gem::Specification
+name: sfrp
+version: !ruby/object:Gem::Version
+  version: 1.1.0
+platform: ruby
+authors:
+- Kensuke Sawada
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-09-29 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !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: simplecov
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: coveralls
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rubocop
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 0.40.0
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 0.40.0
+- !ruby/object:Gem::Dependency
+  name: pry-byebug
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: tapp
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: awesome_print
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: parslet
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 1.7.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 1.7.1
+description: Pure Functional Language for microcontrollers.
+email:
+- sasasawada@gmail.com
+executables:
+- sfrp
+extensions: []
+extra_rdoc_files: []
+files:
+- ".ctags"
+- ".editorconfig"
+- ".gitignore"
+- ".rubocop.yml"
+- ".travis.yml"
+- Gemfile
+- LICENSE
+- README.md
+- Rakefile
+- base-library/Base.sfrp
+- base-library/IO/AVR/ATMEGA8.c
+- base-library/IO/AVR/ATMEGA8.h
+- base-library/IO/AVR/ATMEGA8.sfrp
+- base-library/IO/STDIO.c
+- base-library/IO/STDIO.h
+- base-library/IO/STDIO.sfrp
+- bin/sfrp
+- lib/sfrp.rb
+- lib/sfrp/command.rb
+- lib/sfrp/compiler.rb
+- lib/sfrp/error.rb
+- lib/sfrp/file.rb
+- lib/sfrp/flat/dsl.rb
+- lib/sfrp/flat/elements.rb
+- lib/sfrp/flat/exception.rb
+- lib/sfrp/flat/expression.rb
+- lib/sfrp/flat/set.rb
+- lib/sfrp/input/exception.rb
+- lib/sfrp/input/parser.rb
+- lib/sfrp/input/set.rb
+- lib/sfrp/input/transformer.rb
+- lib/sfrp/low/dsl.rb
+- lib/sfrp/low/element.rb
+- lib/sfrp/low/set.rb
+- lib/sfrp/mono/dsl.rb
+- lib/sfrp/mono/environment.rb
+- lib/sfrp/mono/exception.rb
+- lib/sfrp/mono/expression.rb
+- lib/sfrp/mono/function.rb
+- lib/sfrp/mono/memory.rb
+- lib/sfrp/mono/node.rb
+- lib/sfrp/mono/pattern.rb
+- lib/sfrp/mono/set.rb
+- lib/sfrp/mono/type.rb
+- lib/sfrp/mono/vconst.rb
+- lib/sfrp/output/set.rb
+- lib/sfrp/poly/dsl.rb
+- lib/sfrp/poly/elements.rb
+- lib/sfrp/poly/exception.rb
+- lib/sfrp/poly/expression.rb
+- lib/sfrp/poly/monofier.rb
+- lib/sfrp/poly/set.rb
+- lib/sfrp/poly/typing.rb
+- lib/sfrp/raw/dsl.rb
+- lib/sfrp/raw/elements.rb
+- lib/sfrp/raw/exception.rb
+- lib/sfrp/raw/expression.rb
+- lib/sfrp/raw/namespace.rb
+- lib/sfrp/raw/set.rb
+- lib/sfrp/version.rb
+- sfrp.gemspec
+- spec/sfrp/Test.sfrp
+- spec/sfrp/compiler_spec.rb
+- spec/sfrp/flat/set_spec.rb
+- spec/sfrp/input/parse_test.sfrp
+- spec/sfrp/input/set_spec.rb
+- spec/sfrp/low/set_spec.rb
+- spec/sfrp/mono/expected.yml
+- spec/sfrp/mono/set_spec.rb
+- spec/sfrp/output/set_spec.rb
+- spec/sfrp/poly/set_spec.rb
+- spec/sfrp/raw/set_spec.rb
+- spec/spec_helper.rb
+- test/IntTest/Main.c
+- test/IntTest/Main.h
+- test/IntTest/Main.sfrp
+- test/IntTest/in.txt
+- test/IntTest/out.txt
+- test/MaybeTest/Main.sfrp
+- test/MaybeTest/SubDir/Lib.sfrp
+- test/MaybeTest/in.txt
+- test/MaybeTest/out.txt
+- test/Rakefile
+homepage: https://github.com/sfrp/sfrp
+licenses:
+- The BSD 3-Clause License
+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: Compiler of a pure functional language for microcontrollers.
+test_files:
+- spec/sfrp/Test.sfrp
+- spec/sfrp/compiler_spec.rb
+- spec/sfrp/flat/set_spec.rb
+- spec/sfrp/input/parse_test.sfrp
+- spec/sfrp/input/set_spec.rb
+- spec/sfrp/low/set_spec.rb
+- spec/sfrp/mono/expected.yml
+- spec/sfrp/mono/set_spec.rb
+- spec/sfrp/output/set_spec.rb
+- spec/sfrp/poly/set_spec.rb
+- spec/sfrp/raw/set_spec.rb
+- spec/spec_helper.rb
+- test/IntTest/Main.c
+- test/IntTest/Main.h
+- test/IntTest/Main.sfrp
+- test/IntTest/in.txt
+- test/IntTest/out.txt
+- test/MaybeTest/Main.sfrp
+- test/MaybeTest/SubDir/Lib.sfrp
+- test/MaybeTest/in.txt
+- test/MaybeTest/out.txt
+- test/Rakefile