rc #13

Merged
crumbtoo merged 196 commits from dev into main 2024-02-13 13:22:23 -07:00
Showing only changes of commit e962bacd2e - Show all commits

View File

@@ -23,13 +23,14 @@ module Rlp.Syntax
, XFunD, XTySigD, XInfixD, XDataD, XXDeclD , XFunD, XTySigD, XInfixD, XDataD, XXDeclD
-- *** RlpExpr -- *** RlpExpr
, XLetE, XVarE, XLamE, XCaseE, XIfE, XAppE, XLitE , XLetE, XVarE, XLamE, XCaseE, XIfE, XAppE, XLitE
, XParE, XOAppE , XParE, XOAppE, XXRlpExprE
-- ** Pattern synonyms -- ** Pattern synonyms
-- *** Decl -- *** Decl
, pattern FunD, pattern TySigD, pattern InfixD, pattern DataD , pattern FunD, pattern TySigD, pattern InfixD, pattern DataD
-- *** RlpExpr -- *** RlpExpr
, pattern LetE, pattern VarE, pattern LamE, pattern CaseE, pattern IfE , pattern LetE, pattern VarE, pattern LamE, pattern CaseE, pattern IfE
, pattern AppE, pattern LitE, pattern ParE, pattern OAppE , pattern AppE, pattern LitE, pattern ParE, pattern OAppE
, pattern XRlpExprE
) )
where where
---------------------------------------------------------------------------------- ----------------------------------------------------------------------------------