liquidhaskell-0.9.0.2.1: tests/import/client/T1180.hs

{-# LANGUAGE GADTs #-}

{-@ LIQUID "--exact-data-con" @-}
{-@ LIQUID "--noadt" @-}

module T1180 where

import PeanoLib

pInt :: Peano -> Int 
pInt Z     = 0 
pInt (S n) = 1 + pInt n