@@ -164,7 +164,8 @@ doExec env ctxt p@(P Ref n ty) =
164 doExec env ctxt tm
164 doExec env ctxt tm
165 [CaseOp _ _ _ _ _ (CaseDefs _ (ns, sc) _ _)] -> return (EP Ref n EErased)
165 [CaseOp _ _ _ _ _ (CaseDefs _ (ns, sc) _ _)] -> return (EP Ref n EErased)
166 [] -> execFail . Msg $ "Could not find " ++ show n ++ " in definitions."
166 [] -> execFail . Msg $ "Could not find " ++ show n ++ " in definitions."
167+ other | length other > 1 -> execFail . Msg $ "Multiple definitions found for " ++ show n
167− thing -> trace (take 200 $ "got to " ++ show thing ++ " lookup up " ++ show n) $ undefined
168+ | otherwise -> execFail . Msg . take 500 $ "got to " ++ show other ++ " lookup up " ++ show n
168doExec env ctxt p@(P Bound n ty) =
169doExec env ctxt p@(P Bound n ty) =
169 case lookup n env of
170 case lookup n env of
170 Nothing -> execFail . Msg $ "not found"
171 Nothing -> execFail . Msg $ "not found"