aboutsummaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
authorHerbert Valerio Riedel <hvr@gnu.org>2014-09-19 00:10:36 +0200
committerHerbert Valerio Riedel <hvr@gnu.org>2014-09-19 00:10:36 +0200
commitdb14fd8ab4fab43694139bc203808b814eafb2dc (patch)
tree299e821c155bf324e80fc409ae224e46abb70535 /.ghci
parent3f57c2423252731487f66f503b5119c3becf4673 (diff)
Revert "Followup changes to addition of -fwarn-context-quantification"
This reverts commit 4023817d7c0e46db012ba2eea28022626841ca9b temporarily as the respective feature hasn't landed in GHC HEAD yet, but this commit blocks later commits from being referenced in GHC HEAD.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions