This commit is contained in:
crumbtoo
2024-02-16 15:11:08 -07:00
parent e63824e035
commit a72b771506
4 changed files with 157 additions and 138 deletions

View File

@@ -256,13 +256,13 @@ initAlexInput s = AlexInput
--------------------------------------------------------------------------------
deriving instance Lift (Program RlpcPs)
deriving instance Lift (Decl RlpcPs)
deriving instance Lift (Pat RlpcPs)
deriving instance Lift (Lit RlpcPs)
deriving instance Lift (Expr RlpcPs)
deriving instance Lift (Binding RlpcPs)
deriving instance Lift (Ty RlpcPs)
deriving instance Lift (Alt RlpcPs)
deriving instance Lift (ConAlt RlpcPs)
-- deriving instance Lift (Program RlpcPs)
-- deriving instance Lift (Decl RlpcPs)
-- deriving instance Lift (Pat RlpcPs)
-- deriving instance Lift (Lit RlpcPs)
-- deriving instance Lift (Expr RlpcPs)
-- deriving instance Lift (Binding RlpcPs)
-- deriving instance Lift (Ty RlpcPs)
-- deriving instance Lift (Alt RlpcPs)
-- deriving instance Lift (ConAlt RlpcPs)