diff options
Diffstat (limited to 'compiler/typecheck/TcEnv.lhs')
-rw-r--r-- | compiler/typecheck/TcEnv.lhs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/typecheck/TcEnv.lhs b/compiler/typecheck/TcEnv.lhs index f1d14a5c95..a087059926 100644 --- a/compiler/typecheck/TcEnv.lhs +++ b/compiler/typecheck/TcEnv.lhs @@ -626,7 +626,6 @@ data InstBindings a -- witness dictionary is identical to the argument -- dictionary. Hence no bindings, no pragmas. - -- BAY* : should this be a CoAxiom? Coercion -- The coercion maps from newtype to the representation type -- (mentioning type variables bound by the forall'd iSpec variables) -- E.g. newtype instance N [a] = N1 (Tree a) |