cvs commit: fptools/happy/examples/glr Makefile fptools/happy/examples/glr/bio-eg Bio.y fptools/happy/examples/glr/expr-monad Expr.y Hugs.lhs Main.lhs Makefile README fptools/happy/src ProduceGLRCode.lhs fptools/happy/templates GLR_Base.lhs

paulcc      2004/10/28 05:48:49 PDT

  Modified files:
    happy/examples/glr   Makefile 
    happy/examples/glr/bio-eg Bio.y 
    happy/src            ProduceGLRCode.lhs 
    happy/templates      GLR_Base.lhs 
  Added files:
    happy/examples/glr/expr-monad Expr.y Hugs.lhs Main.lhs 
                                  Makefile README 
  Log:
  Main change is adding basic support for %monad directive BUT ONLY in --decode
  mode. (Does it make sense in the other mode???) It should be possible now
  to GLR-ise the main GHC grammar!                Documentation to follow.
  
  Added an example "glr/expr-monad" to demonstrate what is possible.
  
  It isn't as efficient as it might be, since it is just built on top of the
  existing decoding set-up.  (I'll look at changing this next)
  
  Also done:
   + using composition of appends, rather than large string appends, cf the
     rest of Happy.
   + reductions now point directly at the (possibly shared) semantic values,
     rather than having an indirection layer.
  
  Revision  Changes    Path
  1.3       +3 -2      fptools/happy/examples/glr/Makefile
  1.2       +5 -5      fptools/happy/examples/glr/bio-eg/Bio.y
  1.8       +190 -108  fptools/happy/src/ProduceGLRCode.lhs
  1.3       +9 -6      fptools/happy/templates/GLR_Base.lhs