[ compat ] adjust to upstream changes (#33)

* [ compat ] adjust to upstream changes * [ compat ] adjust to upstream changes
stefan-hoeck · Dec 3, 2024 · a739e83 · a739e83
1 parent b8b0c2e
commit a739e83
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Text/Show/PrettyVal/Derive.idr b/src/Text/Show/PrettyVal/Derive.idr
@@ -196,6 +196,8 @@ PrettyVal nms p =
 
 %runElab derive "Language.Reflection.TT.FC" [PrettyVal]
 
+%runElab derive "WithFC" [PrettyVal]
+
 %runElab derive "NameType" [PrettyVal]
 
 %runElab derive "PrimType" [PrettyVal]
@@ -243,4 +245,5 @@ PrettyVal nms p =
   , "Record"
   , "Clause"
   , "Decl"
+  , "IClaimData"
   ] [PrettyVal]