emfrp 0.1.2 → 0.1.3

data/tests/core/FromAnnotation.mfrp

@@ -1,18 +1,18 @@
-module FromAnnotation
-in
-  i : Int
-out
-  n1 : Int,
-  n2 : Int
-use Std
-
-node init[0] from[i, n1@last]
-n1 = n1@last + i
-
-node init[0]
-n2 = n2@last + i
-
-#@ :assert-module 0 => 0, 0
-#@ : 1 => 1, 1
-#@ : 1 => 2, 2
-#@ : 2 => 4, 4
+module FromAnnotation
+in
+  i : Int
+out
+  n1 : Int,
+  n2 : Int
+use Std
+
+node init[0] from[i, n1@last]
+n1 = n1@last + i
+
+node init[0]
+n2 = n2@last + i
+
+#@ :assert-module 0 => 0, 0
+#@ : 1 => 1, 1
+#@ : 1 => 2, 2
+#@ : 2 => 4, 4

data/tests/core/Last.mfrp

@@ -1,10 +1,10 @@
-module Last in x:Int out y use Std
-
-node init[0] a = x
-node y = a@last
-
-#@ :assert-module
-#-   1 => 0
-#@ : 2 => 1
-#@ : 3 => 2
-#@ : 4 => 3
+module Last in x:Int out y use Std
+
+node init[0] a = x
+node y = a@last
+
+#@ :assert-module
+#-   1 => 0
+#@ : 2 => 1
+#@ : 3 => 2
+#@ : 4 => 3

data/tests/core/Rakefile

@@ -1,2 +1,2 @@
-load File.expand_path('../../Rakefile.common', __FILE__)
-task :default => ["Std"] + TARGETS
+load File.expand_path('../../Rakefile.common', __FILE__)
+task :default => ["Std"] + TARGETS

data/tests/core/TypingTest.mfrp

@@ -1,11 +1,11 @@
-material TypingTest use Std
-
-#@ :assert-type x => Tuple2[Int, Unit]
-data x = ((1, 2), Unit) of ((a, b), c) -> (a, c)
-
-#@ :assert-type y => Maybe[Int]
-data y : Maybe[Int] = Nothing
-
-#@ :assert-type z => Tuple2[Int, Double]
-func id(x) = x
-data z = (id(1), id(1.0))
+material TypingTest use Std
+
+#@ :assert-type x => Tuple2[Int, Unit]
+data x = ((1, 2), Unit) of ((a, b), c) -> (a, c)
+
+#@ :assert-type y => Maybe[Int]
+data y : Maybe[Int] = Nothing
+
+#@ :assert-type z => Tuple2[Int, Double]
+func id(x) = x
+data z = (id(1), id(1.0))

data/tests/core/WithoutInputs.mfrp

@@ -1,19 +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
+# 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

@@ -1,32 +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
+$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

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

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: emfrp
 version: !ruby/object:Gem::Version
-  version: 0.1.2
+  version: 0.1.3
 platform: ruby
 authors:
 - Kensuke Sawada
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2016-01-19 00:00:00.000000000 Z
+date: 2018-11-12 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: colorize
@@ -204,7 +204,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.2.2
+rubygems_version: 2.6.11
 signing_key: 
 specification_version: 4
 summary: A compier of Emfrp, a FRP language for small embeded systems.