commit cba308df3c69805d36ce567d2042dfb1233276f5 parent 1c12e12887ccb316fb6f4ba0bb33fcccfa9d4e46 Author: Robert Russell <robert@rr3.xyz> Date: Tue, 27 Aug 2024 15:10:00 -0700 Remove non parser code I got carried away and forgot that this example only needs to demonstrate parsing... Diffstat:
| M | example/Main.hs | | | 23 | ----------------------- |
1 file changed, 0 insertions(+), 23 deletions(-)
diff --git a/example/Main.hs b/example/Main.hs @@ -198,29 +198,6 @@ pSrc :: P Prog pSrc = pWs *> pProg <* eof -------------------------------------------------------------------------------- --- Core syntax - --------------------------------------------------------------------------------- --- Context - -data Ctx = Ctx { -} - --------------------------------------------------------------------------------- --- Elaboration monad - --------------------------------------------------------------------------------- --- Elaboration - -{- -elabDecl :: Decl -> Elab -elabDecl (Decl posneg x params xtors) = - -elabProg :: Prog -> Elab -elabProg (Prog decls stmt) = --} - --------------------------------------------------------------------------------- ex :: ByteString ex = "data Bool : + { #true, #false } data Any { #any [A] A, } #true :Bool: \\x=>@print"