-- ============================================================--
-- === Some kludgey stuff for implementing the offside rule ===--
-- ============================================================--

-- ==========================================================--
--
pgEatEnd :: Parser ()

pgEatEnd env [] 
   = POk env [] ()
pgEatEnd :: Parser ()
pgEatEnd env [] 
   = POk env [] ()
pgEatEnd env [] 
   = POk env [] ()