diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-09-19 14:32:44 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-09-21 10:53:39 -0400 |
| commit | e27b267f3675180c03a75282dd952b8a59339a1f (patch) | |
| tree | d4a47212e026a084f22b787b75ea9bef56f85dab /compiler/iface/MkIface.hs | |
| parent | 2f9809efdbc11fee445dbe3d5c555433ec3c5e6a (diff) | |
| download | haskell-e27b267f3675180c03a75282dd952b8a59339a1f.tar.gz | |
Perform a validity check on assoc type defaults.
This fixes #10817 and #10899. A knock-on effect is that we must
now remember locations of associated type defaults for error
messages during validity checking. This isn't too bad, but it
increases the size of the diff somewhat.
Test cases: indexed-types/should_fail/T108{17,99}
Diffstat (limited to 'compiler/iface/MkIface.hs')
| -rw-r--r-- | compiler/iface/MkIface.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/iface/MkIface.hs b/compiler/iface/MkIface.hs index e8b37cea5e..0bbd907464 100644 --- a/compiler/iface/MkIface.hs +++ b/compiler/iface/MkIface.hs @@ -1763,7 +1763,7 @@ classToIfaceDecl env clas toIfaceAT :: ClassATItem -> IfaceAT toIfaceAT (ATI tc def) - = IfaceAT if_decl (fmap (tidyToIfaceType env2) def) + = IfaceAT if_decl (fmap (tidyToIfaceType env2 . fst) def) where (env2, if_decl) = tyConToIfaceDecl env1 tc |