@@ -252,6 +252,7 @@ pprintErr' i (Elaborating s n e) = text "When elaborating" <+> text s <>
252252 annName' n (showqual i n) <> colon <$>
253253 pprintErr' i e
254254pprintErr' i (ElaboratingArg f x _ e)
255+ | isInternal f = pprintErr' i e
255256 | isUN x =
256257 text "When elaborating argument" <+>
257258 annotate (AnnBoundName x False) (text (showbasic x)) <+> -- TODO check plicity
@@ -269,6 +270,11 @@ pprintErr' i (ElaboratingArg f x _ e)
269270 else if isFnName f ctxt
270271 then text "function" <> space
271272 else empty
273+ isInternal (MN _ _) = True
274+ isInternal (UN n) = T.isPrefixOf (T.pack "__") n
275+ isInternal (NS n _) = isInternal n
276+ isInternal _ = True
277+
272278pprintErr' i (ProviderError msg) = text ("Type provider error: " ++ msg)
273279pprintErr' i (LoadingFailed fn e) = text "Loading" <+> text fn <+> text "failed:" <+> pprintErr' i e
274280pprintErr' i (ReflectionError parts orig) =