]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Grammar/Playground.hs
bug: a ref outside its def must be supported
[haskell/symantic-parser.git] / test / Grammar / Playground.hs
1 {-# LANGUAGE NoMonomorphismRestriction #-}
2 {-# LANGUAGE TemplateHaskell #-}
3 module Grammar.Playground where
4
5 import Symantic.Parser
6 import qualified Symantic.Parser.Haskell as H
7
8 boom :: Applicable 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 H.unit
15 in foo *> foo