diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-12-21 17:39:33 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-12-21 17:39:33 +0000 |
commit | 52e43004f63276c1342933e40a673ad25cf2113a (patch) | |
tree | ad901af84636e6644f90f45e0d59fc4401895b3d /compiler/typecheck/TcCanonical.lhs | |
parent | d3e2912ac2048346828539e0dfef6c0cefef0d38 (diff) | |
download | haskell-52e43004f63276c1342933e40a673ad25cf2113a.tar.gz |
Use expectP in deriving( Read )
Note [Use expectP] in TcGenDeriv
~~~~~~~~~~~~~~~~~~
Note that we use
expectP (Ident "T1")
rather than
Ident "T1" <- lexP
The latter desugares to inline code for matching the Ident and the
string, and this can be very voluminous. The former is much more
compact. Cf Trac #7258, although that also concerned non-linearity in
the occurrence analyser, a separate issue.
Diffstat (limited to 'compiler/typecheck/TcCanonical.lhs')
0 files changed, 0 insertions, 0 deletions