----------------------------------------------------------------------- -- Project: Bluespec -- File: EUnboundClCon.bs -- Author : Amit Grover -- Description: This testcase triggers the EUnboundClCon error of the bluespec -- compiler (Unbound Class) -- ----------------------------------------------------------------------- package EUnboundClCon () where -- import Int identity :: (Int a) => a -> a identity a = a