emfrp 0.0.1

data/tests/core/WithoutInputs.mfrp

@@ -0,0 +1,19 @@
+# testing no-inputs module
+module WithoutInputs
+out
+  x : Int
+use Std
+
+#@ :assert-node x 0 => 1
+#@ :assert-node x 1 => 2
+node init[0] x = x@last + 1
+
+# testing no-dependings node
+#@ :assert-node const0 => 0
+node const0 = 0
+
+#@ :assert-module
+#-   => 1
+#@ : => 2
+#@ : => 3
+#@ : => 4

data/tests/load_time_error/Rakefile

@@ -0,0 +1,32 @@
+$LOAD_PATH.unshift File.expand_path('../../../lib', __FILE__)
+require 'emfrp'
+require 'stringio'
+
+TARGETS = Dir.glob("./*.mfrp").map{|x| x =~ /^\.\/(.*).mfrp$/; $1}
+
+task :default => TARGETS
+
+TARGETS.each do |t|
+  file t do
+    puts "TESTING #{t}".colorize(:light_blue)
+    expected_code = File.open("#{t}.mfrp", 'r'){|f| f.gets[1..-1].chomp.strip.to_sym}
+    begin
+      out = StringIO.new
+      inter = Emfrp::Interpreter.new(Emfrp::IncludeDirs, out, t)
+      puts " => fail".colorize(:red)
+    rescue Emfrp::Interpreter::InterpreterError => err
+      if err.code == expected_code
+        puts " => ok".colorize(:green)
+      else
+        puts "Error code `#{expected_code}' is expected, but actual is `#{err.code}'."
+        out.string.each_line do |line|
+          print ">> " + line
+        end
+        puts " => fail".colorize(:red)
+      end
+    rescue => err
+      puts err.inspect
+      puts " => fail".colorize(:red)
+    end
+  end
+end

data/tests/load_time_error/TypeMismatch.mfrp

@@ -0,0 +1,4 @@
+# unify
+material TypeMismatch use Std
+
+data x = 1 + 1.1

metadata

@@ -0,0 +1,180 @@
+--- !ruby/object:Gem::Specification
+name: emfrp
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- Kensuke Sawada
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2015-12-17 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: colorize
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.7.7
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.7.7
+- !ruby/object:Gem::Dependency
+  name: parser_combinator
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.0.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.0.3
+- !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'
+description: Pure Functional Programming with your microcomputer.
+email:
+- sasasawada@gmail.com
+executables:
+- emfrp
+- emfrpi
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- Gemfile
+- LICENSE
+- README.md
+- Rakefile
+- bin/emfrp
+- bin/emfrpi
+- emfrp.gemspec
+- examples/LCDPositioner/LCDPositioner.c
+- examples/LCDPositioner/LCDPositioner.h
+- examples/LCDPositioner/LCDPositioner.mfrp
+- examples/LCDPositioner/LCDPositionerMain.c
+- examples/LCDPositioner/LCDPositionerMain.c.gen
+- examples/LCDPositioner/graph.dot
+- examples/LCDPositioner/graph.png
+- examples/MostDistantPoint/MostDistantPoint.c
+- examples/MostDistantPoint/MostDistantPoint.h
+- examples/MostDistantPoint/MostDistantPoint.mfrp
+- examples/MostDistantPoint/MostDistantPointMain.c
+- examples/MostDistantPoint/graph.dot
+- examples/MostDistantPoint/graph.png
+- lib/emfrp.rb
+- lib/emfrp/compile/c/alloc.rb
+- lib/emfrp/compile/c/codegen.rb
+- lib/emfrp/compile/c/codegen_context.rb
+- lib/emfrp/compile/c/monofy.rb
+- lib/emfrp/compile/c/syntax_codegen.rb
+- lib/emfrp/compile/c/syntax_exp_codegen.rb
+- lib/emfrp/compile/graphviz/graphviz.rb
+- lib/emfrp/compile_error.rb
+- lib/emfrp/interpreter/command_manager.rb
+- lib/emfrp/interpreter/evaluater.rb
+- lib/emfrp/interpreter/file_loader.rb
+- lib/emfrp/interpreter/interpreter.rb
+- lib/emfrp/parser/expression.rb
+- lib/emfrp/parser/misc.rb
+- lib/emfrp/parser/operator.rb
+- lib/emfrp/parser/parser.rb
+- lib/emfrp/parser/parsing_error.rb
+- lib/emfrp/parser/toplevel.rb
+- lib/emfrp/pre_convert/alpha_convert.rb
+- lib/emfrp/pre_convert/make_name_dict.rb
+- lib/emfrp/pre_convert/node_check.rb
+- lib/emfrp/pre_convert/pre_convert.rb
+- lib/emfrp/syntax.rb
+- lib/emfrp/typing/typing.rb
+- lib/emfrp/typing/typing_error.rb
+- lib/emfrp/typing/union_type.rb
+- lib/emfrp/version.rb
+- mfrp_include/Std.mfrp
+- tests/Rakefile
+- tests/Rakefile.common
+- tests/command/Rakefile
+- tests/command/ReplaceNode.mfrp
+- tests/compiler/ComplexDataType/ComplexDataType.mfrp
+- tests/compiler/ComplexDataType/ComplexDataTypeMain.c
+- tests/compiler/ComplexDataType/Rakefile
+- tests/compiler/ComplexDataType/actual_out.txt
+- tests/compiler/ComplexDataType/expected_out.txt
+- tests/compiler/ComplexDataType/graph.png
+- tests/compiler/ComplexDataType/in.txt
+- tests/compiler/LCDPositioner/LCDPositioner.mfrp
+- tests/compiler/LCDPositioner/LCDPositionerMain.c
+- tests/compiler/LCDPositioner/Rakefile
+- tests/compiler/LCDPositioner/actual_out.txt
+- tests/compiler/LCDPositioner/expected_out.txt
+- tests/compiler/LCDPositioner/graph.dot
+- tests/compiler/LCDPositioner/graph.png
+- tests/compiler/LCDPositioner/in.txt
+- tests/compiler/Rakefile
+- tests/compiler/Rakefile.common
+- tests/core/FromAnnotation.mfrp
+- tests/core/Last.mfrp
+- tests/core/Rakefile
+- tests/core/TypingTest.mfrp
+- tests/core/WithoutInputs.mfrp
+- tests/load_time_error/Rakefile
+- tests/load_time_error/TypeMismatch.mfrp
+homepage: ''
+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.2.2
+signing_key: 
+specification_version: 4
+summary: A compier of Emfrp, a FRP language for small embeded systems.
+test_files: []