fix Internal-to-Core

anoma · Mar 9, 2023 · a2be800 · a2be800
1 parent 339d91a
commit a2be800
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/Juvix/Compiler/Core/Translation/FromInternal.hs b/src/Juvix/Compiler/Core/Translation/FromInternal.hs
@@ -653,7 +653,9 @@ fromPatternArg pa = case pa ^. Internal.patternArgName of
           _ -> return ()
         return $ PatWildcard (PatternWildcard mempty (Binder (n ^. nameText) (Just (n ^. nameLoc)) ty))
       Internal.PatternConstructorApp c -> do
-        varsNum <- (^. indexTableVarsNum) <$> get
+        idt :: IndexTable <- get
+        ctorTy <- runReader idt $ goType (fromJust (c ^. Internal.constrAppType))
+        let varsNum = idt ^. indexTableVarsNum
         case asPat of
           Just (pan, _) -> modify (over indexTableVars (HashMap.insert (pan ^. nameId) varsNum))
           _ -> return ()
@@ -665,7 +667,6 @@ fromPatternArg pa = case pa ^. Internal.patternArgName of
         let indArgs = replicate nParams (wildcard mkSmallUniv)
             args = indArgs ++ patternArgs
         m <- getIdent identIndex
-        ctorTy <- goType (fromJust (c ^. Internal.constrAppType))
         case m of
           Just (IdentConstr tag) ->
             return $