-scExpr' env (Type t) = returnUs (nullUsage, Type (scSubstTy env t))
-scExpr' _ e@(Lit {}) = returnUs (nullUsage, e)
-scExpr' env (Note n e) = do { (usg,e') <- scExpr env e
- ; return (usg, Note n e') }
-scExpr' env (Cast e co) = do { (usg, e') <- scExpr env e
- ; return (usg, Cast e' (scSubstTy env co)) }
+scExpr' env (Type t) = return (nullUsage, Type (scSubstTy env t))
+scExpr' _ e@(Lit {}) = return (nullUsage, e)
+scExpr' env (Note n e) = do (usg,e') <- scExpr env e
+ return (usg, Note n e')
+scExpr' env (Cast e co) = do (usg, e') <- scExpr env e
+ return (usg, Cast e' (scSubstTy env co))