git.iko.soy/Idris-dev
on master help sign in
More informative provider error
commit91bbae7dadba2d2735a597e650142f33dfeeca24 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateTue 19 Aug 2014, 17:40 (12 years ago) parentb0e53f8
1 file changed+2−1
compare with master
unifiedsplit
src/Idris/Providers.hs+2−1
src/Idris/Providers.hs+2−1
@@ -34,5 +34,6 @@ getProvided fc tm | (P _ pioret _, [tp, result]) <- unApply tm
3434 , pioret == ioret && nm == prmod
3535 = return . Provide $ res
3636 | otherwise = ifail $ "Internal type provider error: result was not " ++
37− "IO (Provider a), or perhaps missing normalisation."
37+ "IO (Provider a), or perhaps missing normalisation." ++
38+ "Term: " ++ take 1000 (show tm)
3839