@@ -224,7 +224,7 @@ elabProvider info syn fc n ty tm
224224 -- First elaborate the expected type (and check that it's a type)
225225 (ty', typ) <- elabVal toplevel False ty
226226 unless (isTType typ) $
227− (fail $ "Expected a type, got " ++ show ty' ++ " : " ++ show typ)
227+ fail ("Expected a type, got " ++ show ty' ++ " : " ++ show typ)
228228
229229 -- Elaborate the provider term to TT and check that the type matches
230230 (e, et) <- elabVal toplevel False tm
@@ -244,7 +244,7 @@ elabProvider info syn fc n ty tm
244244 tm <- getProvided rhs'
245245
246246 -- Finally add a top-level definition of the provided term
247− elabClauses info fc [] n [PClause fc n (PRef fc $ n) [] (delab i tm) []]
247+ elabClauses info fc [] n [PClause fc n (PRef fc n) [] (delab i tm) []]
248248 logLvl 1 $ "Elaborated provider " ++ show n ++ " as: " ++ show tm
249249
250250 where isTType :: TT Name -> Bool