diff --git a/compiler/typecheck/TcSplice.lhs b/compiler/typecheck/TcSplice.lhs index e8aea52839ac4e2c6a27c5adb8bec70accee4488..80a59478950667e0f55ddbdd2c63762d4b72fa71 100644 --- a/compiler/typecheck/TcSplice.lhs +++ b/compiler/typecheck/TcSplice.lhs @@ -817,7 +817,7 @@ runMeta show_code run_and_convert expr -- For example, if we found an error in an earlier defn f, but -- recovered giving it type f :: forall a.a, it'd be very dodgy -- to carry ont. Mind you, the staging restrictions mean we won't - -- *run* f, but it still seems wrong. And, more concretely, + -- actually run f, but it still seems wrong. And, more concretely, -- see Trac #5358 for an example that fell over when trying to -- reify a function with a "?" kind in it. (These don't occur -- in type-correct programs.