fix for #2404

ucsd-progsys · Oct 29, 2024 · 355107c · 355107c
1 parent d1fe5a0
commit 355107c
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Parse.hs b/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)]
 
 

diff --git a/tests/pos/T2404.hs b/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])
diff --git a/tests/tests.cabal b/tests/tests.cabal
@@ -2286,6 +2286,7 @@ executable basic-pos
                     , SkipDerived00
                     , T2349
                     , T2369
+                    , T2404
 
     ghc-options:      -fplugin=LiquidHaskell -fkeep-going -O0
     if flag(measure-timings)
-Original file line number
+Diff line change
@@ Expand Up / @@ -2286,6 +2286,7 @@ executable basic-pos @@
                         , SkipDerived00
                         , T2349
                         , T2369
+                        , T2404
         ghc-options:      -fplugin=LiquidHaskell -fkeep-going -O0
         if flag(measure-timings)
@@ Expand Down @@