parsers/Parsers/Playground.hs

   1 {-# LANGUAGE NoMonomorphismRestriction #-}
   2 {-# LANGUAGE TemplateHaskell #-}
   3 module Parsers.Playground where
   4
   5 import Symantic.Parser
   6 import qualified Symantic.Typed.Lang as Prod
   7
   8 boom :: CombApplicable repr => repr ()
   9 boom =
  10   let foo = (-- newRegister_ unit (\r0 ->
  11        let goo = (-- newRegister_ unit (\r1 ->
  12              let hoo = {-get r0 <~> get r1 *>-} goo *> hoo in hoo
  13             ) *> goo
  14        in goo) *> pure Prod.unit
  15   in foo *> foo