panic with abstract refinement in local signature

[ranjitjhala]

See http://goto.ucsd.edu:8090/index.html#?demo=permalink%2F1626278397_36999.hs

{-@ type UList a = [a]<{\x y -> x /= y}> @-}

reverse :: [a] -> [a]
reverse         = go seed
  where
    {-@ seed :: UList a @-}
    seed = []
    go acc []     = acc
    go acc (x:xs) = go (x:acc) xs

Due to @jllang ucsd-progsys/liquidhaskell-tutorial#111

[facundominguez]

I cannot reproduce this in latest LH. It does require to move seed to the top level in order to give it a spec.