fix traits bug

anoma · Sep 14, 2023 · 0945d54 · 0945d54
1 parent f84dcb4
commit 0945d54
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...Juvix/Compiler/Internal/Translation/FromInternal/Analysis/TypeChecking/Traits/Resolver.hs b/...Juvix/Compiler/Internal/Translation/FromInternal/Analysis/TypeChecking/Traits/Resolver.hs
@@ -15,8 +15,8 @@ type SubsI = HashMap VarName InstanceParam
 subsIToE :: SubsI -> SubsE
 subsIToE = fmap paramToExpression
 
-isTrait :: InfoTable -> InductiveName -> Bool
-isTrait tab name = fromJust (HashMap.lookup name (tab ^. infoInductives)) ^. inductiveInfoDef . inductiveTrait
+isTrait :: InfoTable -> Name -> Bool
+isTrait tab name = maybe False (^. inductiveInfoDef . inductiveTrait) (HashMap.lookup name (tab ^. infoInductives))
 
 resolveTraitInstance ::
   (Members '[Error TypeCheckerError, NameIdGen, Inference, Reader LocalVars, Reader InfoTable] r) =>