samples/lex_switch_test.mlua

-------------------------------------------------------------------------------
-- Copyright (c) 2006-2013 Fabien Fleutot and others.
--
-- All rights reserved.
--
-- This program and the accompanying materials are made available
-- under the terms of the Eclipse Public License v1.0 which
-- accompanies this distribution, and is available at
-- http://www.eclipse.org/legal/epl-v10.html
--
-- This program and the accompanying materials are also made available
-- under the terms of the MIT public license which accompanies this
-- distribution, and is available at http://www.lua.org/license.html
--
-- Contributors:
--     Fabien Fleutot - API and implementation
--
-------------------------------------------------------------------------------

-- This is a simple and somewhat stupid example of how to switch
-- lexers dynamically. Behind a V, X and Y are the only reserved
-- keywords. In normal conditions, X and Y aren't keywords and can be
-- used as variables.

-{ block:
   require 'lexer'
   local my_lexer = lexer.lexer:clone() -- no keywords
   my_lexer:add{"X", "Y"}
   mlp.lexer:add "V"

   function num(lx)
      local a = lx:next()
      assert(a.tag=='Number')
      return a
   end
      
   my_parser = gg.list{
      gg.multisequence{
         { "X", num, builder = |x| `Table{ x[1], +{0} } },
         { "Y", num, builder = |y| `Table{ +{0}, y[1] } },
         default = gg.sequence{ mlp.id, builder = |x| `Pair{ `String{x[1][1]},`True } } },
      separators = { ',', ';' },
      builder = function(l) l.tag='Table'; return l end }

   mlp.expr:add{ "V", gg.with_lexer(my_lexer, my_parser), builder = unpack } }

-- Use the special lexer:
foo = V X 1, Y 2, X 3, 
      for, foo, in, tag, function -- check that these aren't keywords in my_lexer

-- Use X and Y as Id, in the unpolluted lexer:
print "Vector:"
X = table.tostring(foo, 60)
print (X)

print "Sum:" -- Ready for a functional one-liner? :)
Y = |v| table.ifold (|a,b| table.imap (|c,d| c+d, a, b), {0,0}, v) 
table.print (Y(foo))