sfrp 1.1.0

data/.travis.yml

@@ -0,0 +1,12 @@
+language: ruby
+rvm:
+  - 2.2
+  - 2.1
+  - 2.0
+install:
+  - gem install bundler
+script:
+  - 'bundle install'
+  - 'bundle exec rspec'
+  - 'bundle exec rubocop'
+  - 'cd test; rake'

data/Gemfile

@@ -0,0 +1,2 @@
+source 'https://rubygems.org'
+gemspec

data/LICENSE

@@ -0,0 +1,28 @@
+Copyright (c) 2016, Kensuke Sawada
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+1. Redistributions of source code must retain the above copyright
+notice, this list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright
+notice, this list of conditions and the following disclaimer in the
+documentation and/or other materials provided with the distribution.
+
+3. Neither the name of the copyright holder nor the names of its
+contributors may be used to endorse or promote products derived from
+this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
+INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
+(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
+ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

data/README.md

@@ -0,0 +1,34 @@
+SFRP
+=====
+
+Pure Functional Language for microcontrollers.
+
+[![Build Status](https://travis-ci.org/sfrp/sfrp.svg?branch=master)](https://travis-ci.org/sfrp/sfrp)
+[![Coverage Status](https://coveralls.io/repos/github/sfrp/sfrp/badge.svg?branch=master)](https://coveralls.io/github/sfrp/sfrp?branch=master)
+
+# Install SFRP
+```
+$ git clone https://github.com/sfrp/sfrp.git ~/sfrp
+$ cd ~/sfrp
+$ rake install
+```
+For updating, `git pull && rake install`.
+
+# Usage Example
+Write following simple accumulator program.
+```
+-- Main.sfrp
+import Base
+import IO.STDIO as IO
+
+in @x from IO.$getInt()
+out IO.$putInt(@y)
+
+@y 0 = @x + @@y
+```
+
+Compile and Run the program.
+```
+$ sfrp Main --build=cc
+$ ./Main
+```

data/Rakefile

@@ -0,0 +1 @@
+require "bundler/gem_tasks"

data/base-library/Base.sfrp

@@ -0,0 +1,81 @@
+ptype Int{int} = /^((0x)?[0-9]+)$/\1/
+ptype Float{float} = /^([0-9]+\.[0-9]+)$/\1f/
+ptype Bool{int} = True{1} | False{0}
+ptype Unit{int} = Unit{0}
+
+type Maybe[a] = Just(a) | Nothing
+type Either[a, b] = Left(a) | Right(b)
+type Tuple2[a, b] = Tuple2(a, b)
+type Tuple3[a, b, c] = Tuple3(a, b, c)
+type Tuple4[a, b, c, d] = Tuple4(a, b, c, d)
+type Tuple5[a, b, c, d, e] = Tuple5(a, b, c, d, e)
+
+fst(pair : (a, b)) : a = x where (x, _) = pair
+snd(pair : (a, b)) : b = y where (_, y) = pair
+
+foreign - as '-(Int) : Int
+foreign + as '+(Int) : Int
+foreign ! as '!(Bool) : Bool
+
+infix || 8
+foreign || as ||(Bool, Bool) : Bool
+
+infix && 9
+foreign && as &&(Bool, Bool) : Bool
+
+infixl | 10
+foreign | as |(Int, Int) : Int
+
+infixl ^ 11
+foreign ^ as ^(Int, Int) : Int
+
+infixl & 12
+foreign & as &(Int, Int) : Int
+
+infixl == 13
+infixl != 13
+infixl \= 13
+foreign == as ==(Int, Int) : Bool
+foreign != as !=(Int, Int) : Bool
+foreign \= as \=(Int, Int) : Bool
+
+infixl <  14
+infixl <= 14
+infixl >  14
+infixl >= 14
+infixl <.  14
+infixl <=. 14
+infixl >.  14
+infixl >=. 14
+foreign < as <(Int, Int) : Bool
+foreign <= as <=(Int, Int) : Bool
+foreign > as >(Int, Int) : Bool
+foreign >= as >=(Int, Int) : Bool
+foreign < as <.(Float, Float) : Bool
+foreign <= as <=.(Float, Float) : Bool
+foreign > as >.(Float, Float) : Bool
+foreign >= as >=.(Float, Float) : Bool
+
+infixl << 15
+infixl >> 15
+foreign << as <<(Int, Int) : Int
+foreign >> as >>(Int, Int) : Int
+
+infixl + 16
+infixl - 16
+infixl +. 16
+foreign + as +(Int, Int) : Int
+foreign - as -(Int, Int) : Int
+foreign + as +.(Float, Float) : Float
+foreign - as -.(Float, Float) : Float
+
+infixl * 17
+infixl / 17
+infixl % 17
+infixl *. 17
+infixl /. 17
+foreign * as *(Int, Int) : Int
+foreign / as /(Int, Int) : Int
+foreign % as %(Int, Int) : Int
+foreign * as *.(Float, Float) : Float
+foreign / as /.(Float, Float) : Float

data/base-library/IO/AVR/ATMEGA8.c

@@ -0,0 +1,9 @@
+#include <avr/io.h>
+#include "ATMEGA8.h"
+
+int portD(int port_num, int high_or_low) {
+  high_or_low = (high_or_low == 0 ? 0 : 1);
+  DDRD |= 1 << port_num;
+  PORTD = (~(1 << port_num) & PORTD) | (high_or_low << port_num);
+  return 0;
+}

data/base-library/IO/AVR/ATMEGA8.h

@@ -0,0 +1,6 @@
+#ifndef IO_AVR_ATMEGA8
+#define IO_AVR_ATMEGA8
+
+int portD(int, int);
+
+#endif

data/base-library/IO/AVR/ATMEGA8.sfrp

@@ -0,0 +1,4 @@
+import Base
+
+-- PORT-D
+foreign portD as $portD(Int, Bool) : Unit

data/base-library/IO/STDIO.c

@@ -0,0 +1,40 @@
+#include <stdio.h>
+#include <stdlib.h>
+
+int get_int() {
+  int x;
+  if (scanf("%d", &x) == EOF) {
+    exit(0);
+  }
+  return x;
+}
+
+int put_int(int x) {
+  printf("%d\n", x);
+  return 0;
+}
+
+float get_float() {
+  float x;
+  if (scanf("%f", &x) == EOF) {
+    exit(0);
+  }
+  return x;
+}
+
+int put_float(float x) {
+  printf("%f\n", x);
+  return 0;
+}
+
+int get_int_pair(int* a, int* b) {
+  if (scanf("%d %d", a, b) == EOF) {
+    exit(0);
+  }
+  return 0;
+}
+
+int put_int_pair(int a, int b) {
+  printf("(%d, %d)\n", a, b);
+  return 0;
+}

data/base-library/IO/STDIO.h

@@ -0,0 +1,13 @@
+#ifndef IO_STDIO_H
+#define IO_STDIO_H
+
+int get_int();
+int put_int(int);
+
+int get_float();
+int put_float(float);
+
+int get_int_pair(int*, int*);
+int put_int_pair(int, int);
+
+#endif

data/base-library/IO/STDIO.sfrp

@@ -0,0 +1,10 @@
+import Base
+
+foreign get_int as $getInt() : Int
+foreign put_int as $putInt(Int) : Unit
+
+foreign get_float as $getFloat() : Float
+foreign put_float as $putFloat(Float) : Unit
+
+foreign get_int_pair as $getIntPair() : (Int, Int)
+foreign put_int_pair as $putIntPair(Int, Int) : Unit

data/bin/sfrp

@@ -0,0 +1,7 @@
+#!/usr/bin/env ruby
+$LOAD_PATH.unshift File.expand_path('../../lib', __FILE__)
+
+require 'sfrp'
+Version = SFRP::VERSION
+INCLUDE_PATH = File.expand_path('../../base-library', __FILE__)
+SFRP::Command.from_argv(ARGV, INCLUDE_PATH).run

data/lib/sfrp.rb

@@ -0,0 +1,2 @@
+require 'sfrp/version'
+require 'sfrp/command'

data/lib/sfrp/command.rb

@@ -0,0 +1,73 @@
+require 'sfrp/compiler'
+require 'optparse'
+
+module SFRP
+  class Command < Struct.new(
+    :main_file, :out_dir, :show_files, :include_paths, :error_class, :cc
+  )
+    def self.from_argv(argv, include_path)
+      com = new('Main', './output', false, ['.'], false, nil)
+      extract_argv(com, argv)
+      com[:include_paths] << include_path
+      com
+    end
+
+    def self.extract_argv(com, argv)
+      opt_parser = OptionParser.new do |parse|
+        desc = 'show paths of the .c file'
+        parse.on('--show-files', desc) do
+          com.show_files = true
+        end
+        desc = 'specify output directory (default is ./output)'
+        parse.on('--out=DIR_NAME', desc) do |dir|
+          com.out_dir = './' + dir.gsub(/\/$/, '')
+        end
+        desc = 'add include path (multi specification is allowed)'
+        parse.on('--include=PATH', desc) do |path|
+          com.include_paths << path
+        end
+        desc = 'only print error (do not generate compiled file)'
+        parse.on('--only-print-error', desc) do
+          com.out_dir = nil
+        end
+        desc = 'print error class instead of error message'
+        parse.on('--error-class', desc) do
+          com.error_class = true
+        end
+        desc = 'make binary by given command'
+        parse.on('--build=CC', desc) do |cc|
+          com.cc = cc
+        end
+      end
+      args_without_option = opt_parser.parse(argv)
+      case args_without_option.size
+      when 0
+        nil
+      when 1
+        com.main_file = args_without_option[0].gsub(/\.sfrp$/, '')
+      else
+        STDERR.puts 'invalid target specification'
+        exit(1)
+      end
+    rescue OptionParser::InvalidOption => error
+      puts error.message
+      exit(1)
+    end
+
+    def run
+      outs = Compiler.new(main_file, include_paths).compile(out_dir)
+      out_paths = outs.map { |o| out_dir + '/' + o + '.c' }
+      STDOUT.puts out_paths.join("\n") if show_files
+      STDERR.print `#{cc} -o #{main_file} #{out_paths.join(' ')}` if cc
+    rescue SFRP::CompileError => cerr
+      text = error_class ? cerr.class.to_s : cerr.message
+      if out_dir == nil
+        STDOUT.puts text
+        exit(0)
+      else
+        STDERR.puts text
+        exit(1)
+      end
+    end
+  end
+end

data/lib/sfrp/compiler.rb

@@ -0,0 +1,94 @@
+require 'sfrp/input/set'
+require 'sfrp/raw/set'
+require 'sfrp/flat/set'
+require 'sfrp/poly/set'
+require 'sfrp/mono/set'
+require 'sfrp/low/set'
+require 'sfrp/output/set'
+require 'sfrp/error'
+require 'sfrp/file'
+
+module SFRP
+  class Compiler
+    def initialize(main_fmodule_uri, include_paths)
+      @main_fmodule_uri = main_fmodule_uri
+      @include_paths = include_paths
+    end
+
+    def make_input_set
+      Input::Set.new do |s|
+        collect_fmodule_uris(@main_fmodule_uri).each do |uri|
+          content = File.read(to_full_path(uri))
+          s.append_source_file(uri, content)
+        end
+      end
+    end
+
+    def make_output_set
+      make_input_set
+      .to_raw
+      .to_flat
+      .to_poly
+      .to_mono
+      .to_low(collect_include_strs(@main_fmodule_uri))
+      .to_output
+    end
+
+    def compile(output_dir_path = nil)
+      virtual_files = collect_virtual_files(@main_fmodule_uri)
+      output_set = make_output_set
+      output_set.generate!(output_dir_path, virtual_files) if output_dir_path
+      output_file_names
+    end
+
+    def output_file_names
+      ['main'] + collect_virtual_files(@main_fmodule_uri).flat_map do |vf|
+        vf.file_ext == 'c' ? [vf.fmodule_uri.gsub('.', '/')] : []
+      end
+    end
+
+    private
+
+    def collect_fmodule_uris(fmodule_uri, visited = {})
+      return [] if visited.key?(fmodule_uri)
+      visited[fmodule_uri] = true
+      content = File.read(to_full_path(fmodule_uri))
+      content.each_line.each_with_object([fmodule_uri]) do |line, ary|
+        line.match(/import ([A-Z][a-zA-Z0-9]+(\.[A-Z][a-zA-Z0-9]+)*)/) do |m|
+          ary.concat(collect_fmodule_uris(m[1], visited))
+        end
+      end
+    end
+
+    def collect_virtual_files(fmodule_uri)
+      collect_fmodule_uris(fmodule_uri).each_with_object([]) do |uri, ary|
+        path = to_full_path(uri)
+        cpath = path.gsub(/\.sfrp$/, '.c')
+        hpath = path.gsub(/\.sfrp$/, '.h')
+        if File.exist?(cpath)
+          ary << VirtualFile.new(uri, 'c', File.read(cpath))
+        end
+        if File.exist?(hpath)
+          ary << VirtualFile.new(uri, 'h', File.read(hpath))
+        end
+      end
+    end
+
+    def collect_include_strs(fmodule_uri)
+      collect_virtual_files(fmodule_uri).each_with_object([]) do |vf, ary|
+        if vf.file_ext == 'h'
+          ary << "#{vf.fmodule_uri.gsub('.', '/')}.#{vf.file_ext}"
+        end
+      end
+    end
+
+    def to_full_path(fmodule_uri)
+      relative_path = fmodule_uri.gsub('.', '/')
+      @include_paths.each do |path|
+        full_path = path + '/' + relative_path + '.sfrp'
+        return full_path if File.exist?(full_path)
+      end
+      raise FileResolveError.new(fmodule_uri, @include_paths)
+    end
+  end
+end