@@ -252,6 +252,7 @@ pprintErr' i (Elaborating s n e) = text "When elaborating" <+> text s <>
252 annName' n (showqual i n) <> colon <$>
252 annName' n (showqual i n) <> colon <$>
253 pprintErr' i e
253 pprintErr' i e
254pprintErr' i (ElaboratingArg f x _ e)
254pprintErr' i (ElaboratingArg f x _ e)
255+ | isInternal f = pprintErr' i e
255 | isUN x =
256 | isUN x =
256 text "When elaborating argument" <+>
257 text "When elaborating argument" <+>
257 annotate (AnnBoundName x False) (text (showbasic x)) <+> -- TODO check plicity
258 annotate (AnnBoundName x False) (text (showbasic x)) <+> -- TODO check plicity
@@ -269,6 +270,11 @@ pprintErr' i (ElaboratingArg f x _ e)
269 else if isFnName f ctxt
270 else if isFnName f ctxt
270 then text "function" <> space
271 then text "function" <> space
271 else empty
272 else empty
273+ isInternal (MN _ _) = True
274+ isInternal (UN n) = T.isPrefixOf (T.pack "__") n
275+ isInternal (NS n _) = isInternal n
272pprintErr' i (ProviderError msg) = text ("Type provider error: " ++ msg)
278pprintErr' i (ProviderError msg) = text ("Type provider error: " ++ msg)
273pprintErr' i (LoadingFailed fn e) = text "Loading" <+> text fn <+> text "failed:" <+> pprintErr' i e
279pprintErr' i (LoadingFailed fn e) = text "Loading" <+> text fn <+> text "failed:" <+> pprintErr' i e
274pprintErr' i (ReflectionError parts orig) =
280pprintErr' i (ReflectionError parts orig) =