liquidhaskell-0.8.0.2: tests/todo/Parse.hs

module Fixme where


data L a
  = C {x :: a , xs :: L a} 

{-@ data L a 
   = C { x:: a , xs :: L a} 
 @-}