@@ -224,7 +224,7 @@ elabProvider info syn fc n ty tm
224 -- First elaborate the expected type (and check that it's a type)
224 -- First elaborate the expected type (and check that it's a type)
225 (ty', typ) <- elabVal toplevel False ty
225 (ty', typ) <- elabVal toplevel False ty
226 unless (isTType typ) $
226 unless (isTType typ) $
227− (fail $ "Expected a type, got " ++ show ty' ++ " : " ++ show typ)
227+ fail ("Expected a type, got " ++ show ty' ++ " : " ++ show typ)
229 -- Elaborate the provider term to TT and check that the type matches
229 -- Elaborate the provider term to TT and check that the type matches
230 (e, et) <- elabVal toplevel False tm
230 (e, et) <- elabVal toplevel False tm
@@ -244,7 +244,7 @@ elabProvider info syn fc n ty tm
244 tm <- getProvided rhs'
244 tm <- getProvided rhs'
246 -- Finally add a top-level definition of the provided term
246 -- 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) []]
248 logLvl 1 $ "Elaborated provider " ++ show n ++ " as: " ++ show tm
248 logLvl 1 $ "Elaborated provider " ++ show n ++ " as: " ++ show tm
250 where isTType :: TT Name -> Bool
250 where isTType :: TT Name -> Bool