rubymacros 0.1.5 → 0.1.6

data/example/assert0.rb

@@ -0,0 +1,11 @@
+macro assert
+    if $Debug
+        :( p :hi )
+    end
+end
+
+  begin
+    assert
+  end
+
+if assert; 123 end

data/example/assert0_wrap.rb

@@ -0,0 +1,5 @@
+require 'macro'
+$Debug=1
+Macro.load 'example/assert0.rb'
+$Debug=nil
+Macro.load 'example/assert0.rb'

data/example/assert_does_nothing_when_disabled.rb

@@ -0,0 +1,19 @@
+=begin
+    rubymacros - a macro preprocessor for ruby
+    Copyright (C) 2008, 2016  Caleb Clausen
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Lesser General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Lesser General Public License for more details.
+
+    You should have received a copy of the GNU Lesser General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+=end
+
+assert false

data/example/assert_wrap.rb

@@ -1,5 +1,26 @@
+=begin
+    rubymacros - a macro preprocessor for ruby
+    Copyright (C) 2008, 2016  Caleb Clausen
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Lesser General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Lesser General Public License for more details.
+
+    You should have received a copy of the GNU Lesser General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+=end
+
 require 'macro'
 $Debug=1
 Macro.require 'example/assert'
 
 test_assert
+
+$Debug=nil
+Macro.require 'example/assert_does_nothing_when_disabled'

data/example/expected_output.txt

@@ -0,0 +1,88 @@
+#    rubymacros - a macro preprocessor for ruby
+#    Copyright (C) 2008, 2016  Caleb Clausen
+#
+#    This program is free software: you can redistribute it and/or modify
+#    it under the terms of the GNU Lesser General Public License as published by
+#    the Free Software Foundation, either version 3 of the License, or
+#    (at your option) any later version.
+#
+#    This program is distributed in the hope that it will be useful,
+#    but WITHOUT ANY WARRANTY; without even the implied warranty of
+#    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+#    GNU Lesser General Public License for more details.
+#
+#    You should have received a copy of the GNU Lesser General Public License
+#    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+example/loop_wrap.rb :
+0
+1
+2
+3
+4
+5
+6
+7
+8
+9
+example/andand_wrap.rb :
+Success!
+example/__dir___wrap.rb :
+"example"
+example/formless_macro_wrap.rb :
+0 1 2 3 4 
+0 1 2 3 4 
+0 1 2 
+0 1 2 
+example/linenum_wrap.rb :
+35
+example/separated_scope_wrap.rb :
+11
+10
+example/simple_wrap.rb :
+3
+example/unproc_wrap.rb :
+:foo
+example/unroll_wrap.rb :
+1
+2
+3
+1
+2
+3
+1
+2
+3
+1
+2
+3
+1
+2
+3
+1
+2
+3
+1
+2
+3
+4
+5
+6
+7
+8
+1
+2
+3
+4
+5
+6
+7
+8
+9
+example/with_wrap.rb :
+[999, 3]
+example/assert_wrap.rb :
+all assertions passed
+example/assert0_wrap.rb :
+:hi
+:hi

data/example/formless_macro.rb

@@ -0,0 +1,123 @@
+=begin
+    rubymacros - a macro preprocessor for ruby
+    Copyright (C) 2008, 2016  Caleb Clausen
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Lesser General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Lesser General Public License for more details.
+
+    You should have received a copy of the GNU Lesser General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+=end
+
+=begin surely doesn't work
+macro formless_macro(name,args,body)
+  :(
+    macro ^name (^CommaOpNode[*args])
+      :(^^body)
+    end
+  )
+end
+=end
+
+macro formless_macro(name,args,body)
+  argnames=args.map{|arg|
+    case arg
+    when RedParse::VarNode;  
+      fail if /[A-Z$@]/===arg.name
+      arg
+    when RedParse::CallNode; 
+      fail if /[A-Z$@]/===arg.name
+      fail if arg.receiver or arg.params or arg.block
+      RedParse::VarNode[arg.name]
+    else fail
+    end
+  } if args
+  Macro::MacroNode[nil,name.name,argnames,
+    Macro::FormNode[body],
+    [],nil,nil
+  ]
+end
+
+#form escape not enclosed in a form... that's deeply weird
+#i'm frankly surprised that this works...
+
+formless_macro(loop,[body],
+  while true
+    ^body
+  end
+)
+
+i=0
+loop(
+  print i, ' '
+  break if (i+=1)>=5
+)
+print "\n"
+
+body=nil
+formless_macro(loop2,[body],
+  while true
+    ^body
+  end
+)
+
+i=0
+loop2(
+  print i, ' '
+  break if (i+=1)>=5
+)
+print "\n"
+
+macro formless_macro2(name,args=nil)
+  argnames=args.map{|arg|
+    case arg
+    when RedParse::VarNode;  
+      fail if /[A-Z$@]/===arg.name
+      arg
+    when RedParse::CallNode; 
+      fail if /[A-Z$@]/===arg.name
+      fail if arg.receiver or arg.params or arg.block
+      RedParse::VarNode[arg.name]
+    else fail
+    end
+  } if args
+  Macro::MacroNode[nil,name.name,argnames,
+    Macro::FormNode[yield],
+    [],nil,nil
+  ]
+end
+
+formless_macro2(loop3){
+  while true
+    ^yield
+  end
+}
+
+i=0
+loop3{
+  print i, " "
+  break if (i+=1)>=3
+}
+print "\n"
+
+body=nil
+formless_macro2(loop4){
+  while true
+    ^yield
+  end
+}
+
+i=0
+loop4{
+  print i, " "
+  break if (i+=1)>=3
+}
+print "\n"
+

data/example/formless_macro_wrap.rb

@@ -0,0 +1,20 @@
+=begin
+    rubymacros - a macro preprocessor for ruby
+    Copyright (C) 2008, 2016  Caleb Clausen
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Lesser General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Lesser General Public License for more details.
+
+    You should have received a copy of the GNU Lesser General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+=end
+
+require 'macro'
+Macro.require 'example/formless_macro'

data/example/inline.rb

@@ -0,0 +1,97 @@
+=begin
+    rubymacros - a macro preprocessor for ruby
+    Copyright (C) 2008, 2016  Caleb Clausen
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Lesser General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Lesser General Public License for more details.
+
+    You should have received a copy of the GNU Lesser General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+=end
+
+macro inline(method)
+  #block/&param must be re-varified if used more than once
+  #lvar defns in block should be scoped to just the block
+  #maybe block should always remain a proc, rather than inlining it?
+
+  #some things aren't supported in inline methods (yet)
+  #return|redo|retry|yield keywords, & parameter, and optional args are disallowed
+  fail if method.rfind{|n| RedParse::KWCallNode===n and /^(?:return|redo|retry|yield)$/===n.ident }
+  if params=method.params
+    fail if RedParse::UnaryAmpNode===params.last
+    last_non_star=params.last
+    last_non_star=params[-2] if RedParse::UnaryStarNode===last_non_star
+    fail if RedParse::AssignNode===last_non_star
+  end
+
+  result=:(:(inline_self=^receiver; begin end))
+  pre=result.val
+  body=result.val[-1]
+
+  #copy method innards to begin node
+  body.body=method.body
+  body.rescues=method.rescues
+  body.ensure=method.ensure
+  body.else=method.else
+
+  #make a list of known params to inline method
+  params={}
+  #params should be re-varified to ensure theyre evaled exactly once
+  #without hygienic macros, param names (+inline_self) leak into the caller!
+  method.params.each{|param|
+    case param
+    when RedParse::VarNode
+      params[param.name]=1
+#      pre[0]+= :( :((^^param)=^param) )
+    when RedParse::UnaryStarNode,RedParse::UnAmpNode
+      param=param.val
+      params[param.name]=1
+#      pre[0]+= :( :((^^param)=^param) )
+    when RedParse::AssignNode
+      default=param.right
+      param=param.left
+      params[param.name]=1
+#      pre[0]+= :( :((^^param)=^param||^default) )
+    end
+  } if method.params
+
+  inline_self=RedParse::VarNode["inline_self"]
+
+  body.walk{|parent,i,subi,node|
+    newnode=nil
+    case node
+    when RedParse::VarNode
+      #search method for params and escape them
+      if params[node.name]
+        newnode=RedParse::ParenedNode[Macro::FormEscapeNode[node]]
+      end
+
+    #what to do with receiver? implicit and explicit refs must be replaced
+    when RedParse::VarLikeNode
+      newnode=inline_self if node.name=="self"
+    when RedParse::CallNode
+      node.receiver||=inline_self 
+
+    end
+    if newnode
+      if subi
+        parent[i][subi]=newnode
+      else
+        parent[i]=newnode
+      end
+    end
+    true
+  }
+
+  result.rebuild_transform #shouldn't be needed
+
+  result= Macro::MacroNode[nil,method.name,method.params,result]
+  return result
+end

data/example/linenum.rb

@@ -1,3 +1,21 @@
+=begin
+    rubymacros - a macro preprocessor for ruby
+    Copyright (C) 2008, 2016  Caleb Clausen
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Lesser General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Lesser General Public License for more details.
+
+    You should have received a copy of the GNU Lesser General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+=end
+
 macro __DIR__
   :(File.dirname(__FILE__))
 end
@@ -14,5 +32,5 @@ def user_of_foo
 end
 
 def linenumuser
-  p __LINE__ #should print 17
+  p __LINE__ #should print 35
 end

data/example/linenum_user.rb

@@ -1,3 +1,21 @@
+=begin
+    rubymacros - a macro preprocessor for ruby
+    Copyright (C) 2008, 2016  Caleb Clausen
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Lesser General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Lesser General Public License for more details.
+
+    You should have received a copy of the GNU Lesser General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+=end
+
 SCRIPT_LINES__={}
 require 'example/linenum_wrap.rb'