bottom up

2024-04-03 16:03:17 -06:00
parent 0f9c179f20
commit 7c8dae9813
5 changed files with 258 additions and 502 deletions
--- a/src/Rlp/AltSyntax.hs
+++ b/src/Rlp/AltSyntax.hs
@@ -4,6 +4,7 @@ module Rlp.AltSyntax
    -- * AST
      Program(..), Decl(..), ExprF(..), Pat(..)
    , RlpExprF, RlpExpr, Binding(..), Alter(..)
+    , RlpExpr', RlpExprF', AnnotatedRlpExpr', Type'
    , DataCon(..), Type(..), Kind
    , pattern IntT, pattern TypeT
    , Core.Rec(..)
@@ -54,6 +55,11 @@ import Compiler.Types
 import Core.Syntax              qualified as Core
 --------------------------------------------------------------------------------

+type RlpExpr' = RlpExpr PsName
+type RlpExprF' = RlpExprF PsName
+type AnnotatedRlpExpr' = Cofree (RlpExprF PsName)
+type Type' = Type PsName
+
 type AnnotatedRlpExpr b = Cofree (RlpExprF b)

 type TypedRlpExpr b = Cofree (RlpExprF b) (Type b)