LH Repro

gistfile1.txt

LiquidHaskell v0.8.2.2 Copyright 2013-17 Regents of the University of California. All Rights Reserved.


**** DONE:  A-Normalization ****************************************************


**** DONE:  annotate ***********************************************************


**** RESULT: ERROR *************************************************************


 /Users/JordanBrown/research/binah/db-lib/src/Lib.hs:59:10: Error: Uh oh.

 59 | {-@ data Blob = Blob { blobXVal :: Int, blobYVal :: Int } @-}
               ^

     The types for the wrapper and worker data constructors cannot be merged
x1:Int -> x2:Int -> Blob
xx1:Int# -> xx2:Int# -> {VV : Blob | ((Lib.blobYVal VV) = xx2),
                                     ((Lib.blobXVal VV) = xx1),
                                     ((lqdc##$select##Models.Blob##2 VV) = xx2),
                                     ((lqdc##$select##Models.Blob##1 VV) = xx1),
                                     ((is$Models.Blob VV) <=> true)}