[scoper] Update emptyInfoTable with missing field

2024-12-14 08:27:03 +03:00 · 2022-03-29 13:50:32 +01:00 · 2022-03-29 13:50:32 +01:00 · 53f66b09f2
commit 53f66b09f2
parent c2f6d1529c
1 changed files with 2 additions and 1 deletions
--- a/src/MiniJuvix/Syntax/Concrete/Scoped/InfoTable.hs
+++ b/src/MiniJuvix/Syntax/Concrete/Scoped/InfoTable.hs
@ -35,7 +35,8 @@ emptyInfoTable = InfoTable {
  _infoConstructors = mempty,
  _infoAxioms = mempty,
  _infoInductives = mempty,
-  _infoFunctions = mempty
+  _infoFunctions = mempty,
+  _infoFunctionClauses = mempty
  }

 makeLenses ''InfoTable