diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-08-02 10:51:35 +0100 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-08-02 11:33:00 +0100 |
| commit | bd0ab6c2b478aea308ec405a3c24d0068bb96569 (patch) | |
| tree | e951a647179ac2638ace832d2f6266aa95c966e8 /compiler/vectorise/Vectorise/Utils/PADict.hs | |
| parent | abb3a9faa88fad3562ac41a148dd683765f47565 (diff) | |
| download | haskell-bd0ab6c2b478aea308ec405a3c24d0068bb96569.tar.gz | |
Fix Trac #8020.
The solution is to use a different notion of apartness. See
http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/axioms-extended.pdf
for the gory details. Some comments are also in Notes [Compatibility]
and [Apartness] in FamInstEnv.
Diffstat (limited to 'compiler/vectorise/Vectorise/Utils/PADict.hs')
0 files changed, 0 insertions, 0 deletions