diff options
author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-09-20 16:15:13 -0400 |
---|---|---|
committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-09-21 10:53:40 -0400 |
commit | 8e8b9ed9849ba21e454e6204b368f8e993feaf7b (patch) | |
tree | 217ed768a77b90a35654279e609e472094fea916 /rules/make-command.mk | |
parent | e27b267f3675180c03a75282dd952b8a59339a1f (diff) | |
download | haskell-8e8b9ed9849ba21e454e6204b368f8e993feaf7b.tar.gz |
Run simplifier only when the env is clean.
This fixes #10896. In the indexed-types/should_fail/BadSock test,
there is a bad type definition. This gets type-checked, an error
gets reported, but then **GHC keeps going**. Later, when
running the simplifier to do an ambiguity check, the bad type
environment causes GHC to fall over. My solution: only run the
simplifier in a clean, error-free type environment.
A downside of this is that fewer error messages are reported.
This makes me a bit sad, but I'm not sure how to avoid the problem.
Suggestions welcome.
Diffstat (limited to 'rules/make-command.mk')
0 files changed, 0 insertions, 0 deletions