Merge pull request #2415 from ucsd-progsys/T2404

fix for #2404

liquidhaskell-boot/src/Language/Haskell/Liquid/Parse.hs

@@ -789,7 +789,7 @@ bTup ts rs r
       (reftUReft r)
   where
     args       = [(Mb.fromMaybe dummySymbol x, mapReft mempty t) | (x,t) <- ts]
-    makeProp i = RProp (take i args) ((snd <$> ts)!!i)
+    makeProp i = RProp (reverse $ take i args) ((snd <$> ts)!!i)
     rs'        = makeProp <$> [1..(length ts-1)]
 
 

tests/pos/T2404.hs

@@ -0,0 +1,6 @@
+module T2404 where
+
+
+{-@ lists :: (l::Int, {v:[Char] | len v = l}, {v:[Int] | len v = l}) @-}
+lists :: (Int, [Char], [Int])
+lists = (3, "abc", [7, 8, 9])

tests/tests.cabal

@@ -1950,6 +1950,7 @@ executable unit-pos-3
                     , T2096
                     , T2235
                     , T2237
+                    , T2404
                     , T385
                     , T531
                     , T595a