liquidhaskell-0.9.0.2.1: tests/neg/Class4.hs

{-@ LIQUID "--expect-any-error" @-}
{-# LANGUAGE ScopedTypeVariables #-}
{-@ LIQUID "--no-termination" @-}

module Class4 where

import Language.Haskell.Liquid.Prelude

class Frog a where
  mkInt :: a -> Int
  mkInt _ = liquidAssert (0 > 1) 10

{-@ class Frog a where
      mkInt :: a -> Int
  @-}

instance Frog Int where