@@ -20,13 +20,13 @@ prmod = sNS (sUN "Provide") ["Providers"]
2020-- | Handle an error, if the type provider returned an error. Otherwise return the provided term.
2121getProvided :: FC -> TT Name -> Idris (TT Name)
2222getProvided fc tm | (P _ pioret _, [tp, result]) <- unApply tm
23− , (P _ nm _, [_, err]) <- unApply result
23+ , (P _ nm _, [_, err]) <- unApply result
2424 , pioret == ioret && nm == ermod
2525 = case err of
2626 Constant (Str msg) -> ierror . At fc . ProviderError $ msg
2727 _ -> ifail "Internal error in type provider, non-normalised error"
2828 | (P _ pioret _, [tp, result]) <- unApply tm
29− , (P _ nm _, [_, res]) <- unApply result
29+ , (P _ nm _, [_, res]) <- unApply result
3030 , pioret == ioret && nm == prmod
3131 = return res
3232 | otherwise = ifail $ "Internal type provider error: result was not " ++