slight performance tweak

This commit is contained in:
2026-02-18 21:45:26 -08:00
parent c1f959be38
commit 32400bdd4e

View File

@@ -13,9 +13,9 @@ import Lib.Types
lookup : QName -> TopContext -> Maybe TopEntry lookup : QName -> TopContext -> Maybe TopEntry
lookup qn@(QN ns nm) top = lookup qn@(QN ns nm) top =
case lookupMap' qn top.defs of if ns == top.ns
Just entry => Just entry then lookupMap' qn top.defs
Nothing => case lookupMap' ns top.modules of else case lookupMap' ns top.modules of
Just mod => lookupMap' qn mod.modDefs Just mod => lookupMap' qn mod.modDefs
Nothing => Nothing Nothing => Nothing