meta_compile 0.0.11 → 0.0.12

data/Rakefile

@@ -34,22 +34,22 @@ task :bootstrap do
 		puts "1. Build bootstrap compiler"
 		pexec "gcc -o bootstrapped_c bootstrap.c"
 		puts "2. Use the c meta compiler to compile the meta_to_ruby_minimal.meta description"
-		pexec "./bootstrapped_c meta_to_ruby_minimal.meta compile_to_ruby.c"
+		pexec "./bootstrapped_c ../syntaxes/meta_to_ruby_minimal.meta compile_to_ruby.c"
 		puts "3. Build the stepping stone ruby compiler we created from the meta description"
 		pexec "gcc -o meta_r compile_to_ruby.c"
 		puts "4. Now use the generated stepping stone compiler to generate a ruby compiler for the ruby meta syntax"
-		pexec "./meta_r meta_to_ruby_minimal.meta meta_ruby_compiler_from_c.rb"
+		pexec "./meta_r ../syntaxes/meta_to_ruby_minimal.meta meta_ruby_compiler_from_c.rb"
 		puts "5. Run the generated ruby meta compiler to a ruby version"
-		pexec "ruby -I. meta_ruby_compiler_from_c.rb meta_to_ruby_minimal.meta > meta_ruby_compiler.rb"
+		pexec "ruby -I. meta_ruby_compiler_from_c.rb ../syntaxes/meta_to_ruby_minimal.meta > meta_ruby_compiler.rb"
 		puts "6. Ruby version differ since it has single instead of double quotes around strings"
 		#pexec "diff meta_ruby_compiler_from_c.rb meta_ruby_compiler.rb"
 		puts "7. But we can generate again and ensure it is a meta compiler"
-		pexec "ruby -I. meta_ruby_compiler.rb meta_to_ruby_minimal.meta > meta_ruby_compiler2.rb"
+		pexec "ruby -I. meta_ruby_compiler.rb ../syntaxes/meta_to_ruby_minimal.meta > meta_ruby_compiler2.rb"
 		pexec "diff meta_ruby_compiler.rb meta_ruby_compiler2.rb"
 		puts "8. One more round just to show off... :)"
-		pexec "ruby -I. meta_ruby_compiler2.rb meta_to_ruby_minimal.meta > meta_ruby_compiler3.rb"
+		pexec "ruby -I. meta_ruby_compiler2.rb ../syntaxes/meta_to_ruby_minimal.meta > meta_ruby_compiler3.rb"
 		pexec "diff meta_ruby_compiler.rb meta_ruby_compiler3.rb"
-		puts "Summary:\nCreated a #{loc('meta_ruby_compiler.rb')} line meta-II meta compiler from a #{loc('meta_to_ruby_minimal.meta')} line meta-II spec\n\n"
+		puts "Summary:\nCreated a #{loc('meta_ruby_compiler.rb')} line meta-II meta compiler from a #{loc('../syntaxes/meta_to_ruby_minimal.meta')} line meta-II spec\n\n"
 	end
 end
 
@@ -89,13 +89,13 @@ end
 
 desc "Ensure it is a meta compiler"
 task :ensure_meta => [:make_bin] do
-  ensure_is_meta "bin/meta_compile", "bootstrap/meta_to_ruby_minimal.meta"
+  ensure_is_meta "bin/meta_compile", "syntaxes/meta_to_ruby_minimal.meta"
 end
 
 desc "Update line counts in README.template.md to make README.md"
 task :update_readme => [:bootstrap] do
 	rmeta2_compiler_loc = loc('bootstrap/meta_ruby_compiler.rb')
-	rmeta2_spec_loc = loc('bootstrap/meta_to_ruby_minimal.meta')
+	rmeta2_spec_loc = loc('syntaxes/meta_to_ruby_minimal.meta')
 	readme = File.read("README.template.md").gsub("%%RMetaII_SPEC_LOC%%", rmeta2_spec_loc.to_s)
 	readme = readme.gsub("%%RMetaII_COMPILER_LOC%%", rmeta2_compiler_loc.to_s)
 	File.open("README.md", "w") {|f| f.puts readme}

data/meta_compile.gemspec

@@ -1,12 +1,12 @@
 Gem::Specification.new do |s|
   s.name        = 'meta_compile'
-  s.version     = '0.0.11'
+  s.version     = '0.0.12'
   s.date        = '2012-11-25'
   s.summary     = "meta compiler framework"
   s.description = "A meta compilation framework à la Meta-II by Val Schorre"
   s.authors     = ["Robert Feldt"]
   s.email       = 'robert.feldt@gmail.com'
-  s.files       = ["Rakefile", "README.md", "meta_compile.gemspec"] + Dir.glob("bin/*") + Dir.glob("bootstrap/*")
+  s.files       = ["Rakefile", "README.md", "meta_compile.gemspec"] + Dir.glob("bin/*") + Dir.glob("bootstrap/*") + Dir.glob("syntaxes/*")
   s.executables << 'meta_compile'
   s.homepage    =
     'http://rubygems.org/gems/meta_compile'

data/syntaxes/aexp.input1

@@ -0,0 +1 @@
+a := b

data/syntaxes/aexp.meta

@@ -0,0 +1,16 @@
+.syntax aexp
+
+aexp = as *as;
+as = .id <'address' $> ':=' ex1 <'store'> ';';
+ex1 = ex2 *(  '+' ex2 <'add'>
+            | '-' ex2 <'sub'>);
+ex2 = ex3 *(  '*' ex3 <'mpy'>
+            | '/' ex3 <'div'>);
+ex3 = ex4 *('^' ex3 <'exp'>);
+ex4 = '+' ex5
+    | '-' ex5 <'minus'>
+    | ex5;
+ex5 = .id     <'load' $>
+    | '(' ex1 ')';
+
+.end

data/syntaxes/meta_to_ruby.meta

@@ -0,0 +1,59 @@
+.syntax program
+
+outarg = '$'              <'@out.print @token'> 
+       | .string          <'@out.print ' $>;
+
+out = '<' *outarg '>'     <'@out.print "\n"'>;
+
+exp3 = .id                <'compile_' $>
+
+     | .string            <'@in.scan /\s*/'>
+                          <'s=' $>
+                          <'l=s.length'>
+                          <'@flag = (@in.peek(l) == s) ? (@token=s; @in.pos += l) : nil'>
+
+     | '.id'              <'@in.scan /\s*/; @flag = @token = @in.scan /[A-Za-z]+[A-Za-z0-9_]+/'>
+
+     | '.string'          <'@in.scan /\s*/; @flag = @token = @in.scan /\047[^\047]*\047/'>
+
+     | '(' exp1 ')'
+
+     | '.e'               <'@flag = true'>
+
+     | '*' <'begin'> exp3 <'end while @flag'> <'@flag = true'>;
+
+exp2 =  ( exp3 <'if @flag'> | out <'if true'> )
+       *(   exp3          <'raise("error at: " + @in.rest.split("\n")[0]) if !@flag'>
+          | out ) <'end'>;
+
+exp1 = <'begin'> exp2
+       *( '|' <'break if @flag'> exp2 )
+       <'end while false'>;
+
+rule = .id <'def compile_' $> '=' exp1 ';' <'end'>;
+
+program = '.syntax' .id 
+  <'#!/usr/bin/env ruby'> 
+  <'require "strscan"'> 
+
+  <'class C_' $> 
+  <'  $c = self # so we can access it below if this is run from command line'> 
+  <'  def compile(str, out)'>
+  <'    @in, @out = StringScanner.new(str), out'>
+  <'    compile_' $> 
+  <'  end'>
+
+    *rule '.end' 
+
+  <'end # end of class'>
+
+  <'if __FILE__ == $0'>
+  <'  if ARGV.length != 1'>
+  <'    puts("usage: " + $0 + " <input>")'>
+  <'    exit -1'>
+  <'  else'>
+  <'    $c.new.compile(File.read(ARGV[0]), STDOUT)'>
+  <'  end'>
+  <'end'>;
+
+.end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: meta_compile
 version: !ruby/object:Gem::Version
-  version: 0.0.11
+  version: 0.0.12
   prerelease: 
 platform: ruby
 authors:
@@ -25,10 +25,13 @@ files:
 - bootstrap/bootstrap.c
 - bootstrap/meta_ruby_compiler.rb
 - bootstrap/meta_to_c.meta
-- bootstrap/meta_to_ruby_minimal.meta
-- bootstrap/meta_to_ruby_minimal_single_flag.meta
 - bootstrap/original_support.h
 - bootstrap/support.h
+- syntaxes/aexp.input1
+- syntaxes/aexp.meta
+- syntaxes/meta_to_ruby.meta
+- syntaxes/meta_to_ruby_minimal.meta
+- syntaxes/meta_to_ruby_minimal_single_flag.meta
 homepage: http://rubygems.org/gems/meta_compile
 licenses: []
 post_install_message: