meta_compile 0.0.8 → 0.0.10

data/README.md

@@ -3,7 +3,7 @@ meta_compile
 
 A meta compilation framework for Ruby à la [Meta-II by Val Schorre](http://ibm-1401.info/Meta-II-schorre.pdf).
 
-Uses a C version of Meta-II developed by Long Nguyen's ([meta](https://github.com/impeachgod/meta)) to bootstrap a Ruby version from a [fully self-contained 27 (non-empty) line specification file](https://raw.github.com/robertfeldt/meta_compile/master/bootstrap/meta_for_ruby.txt). The [generated Ruby Meta-II compiler file](https://github.com/robertfeldt/meta_compile/blob/master/bin/meta_compile) is 230 lines of non-empty Ruby code.
+This uses a [C version of Meta-II](https://github.com/impeachgod/meta) developed by Long Nguyen to bootstrap a Ruby version from a [fully self-contained, 26 (non-empty) line specification file](https://raw.github.com/robertfeldt/meta_compile/master/bootstrap/meta_to_ruby_minimal.meta). The [generated Ruby Meta-II compiler file](https://github.com/robertfeldt/meta_compile/blob/master/bin/meta_compile) is 231 lines of Ruby code.
 
 Install
 -------
@@ -25,16 +25,24 @@ Manually verifying that it is a meta compiler
 
 In your local copy of the git repo, use the pre-generated binary to compile the specification file to a ruby file:
 
-        bin/meta_compile bootstrap/meta_for_ruby.txt t.rb
+        bin/meta_compile bootstrap/meta_to_ruby_minimal.meta t.rb
 
 This generates a t.rb which is itself a compiler for meta syntax specs. So lets use it to generate itself:
 
-        ruby t.rb bootstrap/meta_for_ruby.txt t2.rb
+        ruby t.rb bootstrap/meta_to_ruby_minimal.meta t2.rb
 
 And ensure they are really the same:
 
         diff t.rb t2.rb
 
+To be really sure we can try the generated t2.rb as a meta-compiler:
+
+        ruby t2.rb bootstrap/meta_to_ruby_minimal.meta t3.rb
+
+and this should convince us:
+
+        diff t2.rb t3.rb
+
 Limitations
 -----------
 + Very bad/little error handling

data/Rakefile

@@ -33,52 +33,75 @@ task :bootstrap do
 	Dir.chdir("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_for_ruby.txt description"
-		pexec "./bootstrapped_c meta_for_ruby.txt compile_syntax_c_to_ruby.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"
 		puts "3. Build the stepping stone ruby compiler we created from the meta description"
-		pexec "gcc -o meta_r compile_syntax_c_to_ruby.c"
+		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_for_ruby.txt meta_ruby_compiler_from_c.rb"
+		pexec "./meta_r 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_for_ruby.txt meta_ruby_compiler.rb"
-		puts "6. The Ruby version differ in that it has single quotes instead of double quotes around emitted strings"
+		pexec "ruby -I. meta_ruby_compiler_from_c.rb 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_for_ruby.txt meta_ruby_compiler2.rb"
+		pexec "ruby -I. meta_ruby_compiler.rb 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_for_ruby.txt meta_ruby_compiler3.rb"
+		pexec "ruby -I. meta_ruby_compiler2.rb 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_for_ruby.txt')} line meta-II spec\n\n"
+		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"
+	end
+end
+
+# Bootstrap a syntax from the meta_compile compiler
+def bootstrap_from_meta_compile(syntaxFile)
+	pexec "meta_compile #{syntaxFile} > tgen.rb"
+	ensure_is_meta("tgen.rb", syntaxFile)
+end
+
+def diff_files(f1, f2)
+	File.read(f1) != File.read(f2)
+end
+
+def ensure_is_meta(generatedFile, specFile)
+	pexec "ruby #{generatedFile} #{specFile} > t.rb"
+	pexec "ruby t.rb #{specFile} > t2.rb"
+	# Obviously we should now be able to go on and on... :)
+	pexec "ruby t2.rb #{specFile} > t3.rb"
+	begin
+		if diff_files("t.rb", "t2.rb") || diff_files("t2.rb", "t3.rb")
+			puts "ERROR: #{generatedFile} is NOT a meta compiler (generated from #{specFile})"
+			exit(-1)
+		else
+			puts "YES #{generatedFile} is meta!!! (generated from #{specFile})"
+		end
+	ensure
+		FileUtils.rm_f Dir.glob("t*.rb")
 	end
 end
 
 desc "Make binary from the bootstrapped ruby meta-II compiler"
 task :make_bin => [:bootstrap] do
-	# First ensure it is a meta compiler
-	puts "Ensure it is a meta-compiler"
-	pexec "ruby bootstrap/meta_ruby_compiler.rb bootstrap/meta_for_ruby.txt t.rb"
-	if File.read("t.rb") != File.read("bootstrap/meta_ruby_compiler.rb")
-		puts "ERROR: bootstrap/meta_ruby_compiler.rb is NOT a meta compiler"
-		exit(-1)
-	else
-		puts "YES it is meta!!!"
-	end
 	FileUtils.cp "bootstrap/meta_ruby_compiler.rb", "bin/meta_compile"
 	FileUtils.chmod 0755, "bin/meta_compile"
 	puts "Created binary in bin/meta_compile"
 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"
+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_for_ruby.txt')
+	rmeta2_spec_loc = loc('bootstrap/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}
 end
 
-task :default => :make_bin
+task :default => :ensure_meta
 
 desc "Build the gem"
 task :build_gem => [:make_bin] do
@@ -99,7 +122,7 @@ end
 
 task :clean do
 	Dir.chdir("bootstrap") do
-	  FileUtils.rm_f  %w{bootstrapped_c meta_compiler_from_boostrapped_c.c meta_compiler.c meta_ruby_compiler2.rb meta_ruby_compiler3.rb meta_ruby_compiler_from_c.rb compile_syntax_c_to_ruby.c meta_c meta_r}
+	  FileUtils.rm_f  %w{bootstrapped_c meta_compiler_from_boostrapped_c.c meta_compiler.c meta_ruby_compiler2.rb meta_ruby_compiler3.rb meta_ruby_compiler_from_c.rb compile_to_ruby.c meta_c meta_r}
   end
   FileUtils.rm_f Dir.glob("t*.rb")
 end

data/bin/meta_compile

@@ -1,6 +1,7 @@
 #!/usr/bin/env ruby
 require "strscan"
-class RMetaII
+class C_program
+$c = self
 def compile(str, out)
 @i, @o = StringScanner.new(str), out
 compile_program
@@ -197,14 +198,17 @@ raise("error at: " + @i.rest.split("\n")[0]) if !@f
 @o.print "\n"
 @o.print 'require "strscan"'
 @o.print "\n"
-@o.print 'class '
+@o.print 'class C_'
 @o.print @t
 @o.print "\n"
+@o.print '$c = self'
+@o.print "\n"
 @o.print 'def compile(str, out)'
 @o.print "\n"
 @o.print '@i, @o = StringScanner.new(str), out'
 @o.print "\n"
-@o.print 'compile_program'
+@o.print 'compile_'
+@o.print @t
 @o.print "\n"
 @o.print 'end'
 @o.print "\n"
@@ -218,13 +222,10 @@ raise("error at: " + @i.rest.split("\n")[0]) if !@f
 raise("error at: " + @i.rest.split("\n")[0]) if !@f
 @o.print 'end'
 @o.print "\n"
-@o.print 'begin; puts("Use: " + $0 + " <in> <out>"); exit; end if ARGV.length != 2'
-@o.print "\n"
-@o.print 'File.open(ARGV[1], "w") {|f| RMetaII.new.compile(File.read(ARGV[0]), f)}'
+@o.print '$c.new.compile(File.read(ARGV[0]), STDOUT) if __FILE__ == $0'
 @o.print "\n"
 end
 end while false
 end
 end
-begin; puts("Use: " + $0 + " <in> <out>"); exit; end if ARGV.length != 2
-File.open(ARGV[1], "w") {|f| RMetaII.new.compile(File.read(ARGV[0]), f)}
+$c.new.compile(File.read(ARGV[0]), STDOUT) if __FILE__ == $0

data/bootstrap/meta_ruby_compiler.rb

@@ -1,6 +1,7 @@
 #!/usr/bin/env ruby
 require "strscan"
-class RMetaII
+class C_program
+$c = self
 def compile(str, out)
 @i, @o = StringScanner.new(str), out
 compile_program
@@ -197,14 +198,17 @@ raise("error at: " + @i.rest.split("\n")[0]) if !@f
 @o.print "\n"
 @o.print 'require "strscan"'
 @o.print "\n"
-@o.print 'class '
+@o.print 'class C_'
 @o.print @t
 @o.print "\n"
+@o.print '$c = self'
+@o.print "\n"
 @o.print 'def compile(str, out)'
 @o.print "\n"
 @o.print '@i, @o = StringScanner.new(str), out'
 @o.print "\n"
-@o.print 'compile_program'
+@o.print 'compile_'
+@o.print @t
 @o.print "\n"
 @o.print 'end'
 @o.print "\n"
@@ -218,13 +222,10 @@ raise("error at: " + @i.rest.split("\n")[0]) if !@f
 raise("error at: " + @i.rest.split("\n")[0]) if !@f
 @o.print 'end'
 @o.print "\n"
-@o.print 'begin; puts("Use: " + $0 + " <in> <out>"); exit; end if ARGV.length != 2'
-@o.print "\n"
-@o.print 'File.open(ARGV[1], "w") {|f| RMetaII.new.compile(File.read(ARGV[0]), f)}'
+@o.print '$c.new.compile(File.read(ARGV[0]), STDOUT) if __FILE__ == $0'
 @o.print "\n"
 end
 end while false
 end
 end
-begin; puts("Use: " + $0 + " <in> <out>"); exit; end if ARGV.length != 2
-File.open(ARGV[1], "w") {|f| RMetaII.new.compile(File.read(ARGV[0]), f)}
+$c.new.compile(File.read(ARGV[0]), STDOUT) if __FILE__ == $0

data/bootstrap/{meta_for_ruby.txt → meta_to_ruby_minimal.meta}

@@ -1,4 +1,4 @@
-.syntax RMetaII
+.syntax program
 
 outarg = '$' <'@o.print @t'> | .string <'@o.print ' $>;
 
@@ -6,7 +6,7 @@ out = '<' *outarg '>' <'@o.print "\n"'>;
 
 exp3 = .id       <'compile_' $>
      | .string   <'@i.scan /\s*/; s=' $ '; l=s.length;'>
-          <'@f = (@i.peek(l) == s) ? (@t=s; @i.pos += l) : nil'>
+                 <'@f = (@i.peek(l) == s) ? (@t=s; @i.pos += l) : nil'>
      | '.id'     <'@i.scan /\s*/; @f = @t = @i.scan /[A-Za-z]+[A-Za-z0-9_]+/'>
      | '.string' <'@i.scan /\s*/; @f = @t = @i.scan /\047[^\047]*\047/'>
      | '(' exp1 ')'
@@ -24,12 +24,11 @@ exp1 = <'begin'> exp2
 rule = .id <'def compile_' $> '=' exp1 ';' <'end'>;
 
 program = '.syntax' .id 
-  <'#!/usr/bin/env ruby'> <'require "strscan"'>
-  <'class ' $> <'def compile(str, out)'>
+  <'#!/usr/bin/env ruby'> <'require "strscan"'> 
+  <'class C_' $> <'$c = self'> <'def compile(str, out)'>
   <'@i, @o = StringScanner.new(str), out'>
-  <'compile_program'> <'end'>
+  <'compile_' $> <'end'>
   *rule '.end' <'end'>
-  <'begin; puts("Use: " + $0 + " <in> <out>"); exit; end if ARGV.length != 2'>
-  <'File.open(ARGV[1], "w") {|f| RMetaII.new.compile(File.read(ARGV[0]), f)}'>;
+  <'$c.new.compile(File.read(ARGV[0]), STDOUT) if __FILE__ == $0'>;
 
 .end

data/meta_compile.gemspec

@@ -1,6 +1,6 @@
 Gem::Specification.new do |s|
   s.name        = 'meta_compile'
-  s.version     = '0.0.8'
+  s.version     = '0.0.10'
   s.date        = '2012-11-25'
   s.summary     = "meta compiler framework"
   s.description = "A meta compilation framework à la Meta-II by Val Schorre"

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: meta_compile
 version: !ruby/object:Gem::Version
-  version: 0.0.8
+  version: 0.0.10
   prerelease: 
 platform: ruby
 authors:
@@ -23,10 +23,10 @@ files:
 - meta_compile.gemspec
 - bin/meta_compile
 - bootstrap/bootstrap.c
-- bootstrap/meta_for_c.txt
-- bootstrap/meta_for_ruby.txt
-- bootstrap/meta_for_ruby_single_flag.txt
 - 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
 homepage: http://rubygems.org/gems/meta_compile