something

This commit is contained in:
crumbtoo
2024-02-16 18:23:02 -07:00
parent 910cf66468
commit 9297d815d6
3 changed files with 27 additions and 20 deletions

View File

@@ -13,7 +13,7 @@ module Rlp.Syntax
, Expr(..), Expr', ExprF(..)
, Lit(..)
, Pat(..)
, Decl(..)
, Decl(..), Decl'
, Program(..)
, Where
@@ -121,4 +121,5 @@ makeBaseFunctor ''Expr
makeLenses ''Program
type Expr' p = Cofree (ExprF p)
type Decl' p = Cofree (Const (Decl p))