Add a comment
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 2 Aug 2011 12:34:35 +0000 (13:34 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 2 Aug 2011 12:34:35 +0000 (13:34 +0100)
compiler/typecheck/TcInteract.lhs

index 983df3c..457715f 100644 (file)
@@ -112,6 +112,8 @@ updCCanMap (a,ct) cmap
       Derived {} -> cmap { cts_derived = insert_into (cts_derived cmap) }
   where 
     insert_into m = addToUFM_C (flip unionBags) m a (singleCCan ct)
+    -- The "flip" is a horrid hack to maintain constraints in the order
+    -- that the vectoriser expects them.  See Trac #5369
 
 getRelevantCts :: Uniquable a => a -> CCanMap a -> (CanonicalCts, CCanMap a) 
 -- Gets the relevant constraints and returns the rest of the CCanMap