from concrete

anoma · Nov 20, 2024 · e3a7a76 · e3a7a76
1 parent f8fd9f4
commit e3a7a76
Show file tree

Hide file tree

Showing 7 changed files with 257 additions and 67 deletions.
diff --git a/src/Juvix/Compiler/Internal/Data/InfoTable.hs b/src/Juvix/Compiler/Internal/Data/InfoTable.hs
@@ -44,10 +44,11 @@ functionInfoFromFunctionDef isLocal FunctionDef {..} =
     }
 
 inductiveInfoFromInductiveDef :: InductiveDef -> InductiveInfo
-inductiveInfoFromInductiveDef InductiveDef {..} =
+inductiveInfoFromInductiveDef d@InductiveDef {..} =
   InductiveInfo
     { _inductiveInfoName = _inductiveName,
       _inductiveInfoType = _inductiveType,
+      _inductiveInfoLoc = getLoc d,
       _inductiveInfoBuiltin = _inductiveBuiltin,
       _inductiveInfoParameters = _inductiveParameters,
       _inductiveInfoConstructors = map (^. inductiveConstructorName) _inductiveConstructors,