This commit is contained in:
crumbtoo
2024-01-02 08:43:34 -07:00
parent c5c06fa6cb
commit cbe4276061
2 changed files with 12 additions and 5 deletions

View File

@@ -5,6 +5,7 @@
{-# LANGUAGE OverloadedStrings #-}
module Rlp.Syntax
( RlpExpr(..)
, RlpExpr'
, RlpExprF(..)
, RlpExprF'
, Decl(..)
@@ -61,6 +62,8 @@ data RlpExpr b = LetE [Bind b] (RlpExpr b)
| LitE (Lit b)
deriving Show
type RlpExpr' = RlpExpr Name
-- do we want guards?
data Alt b = AltA (Pat b) (RlpExpr b)
deriving Show