liquidhaskell-0.8.10.1: tests/pos/Words.hs

module Words where

import Data.Word

{-@ foo :: {v:Word | v = 4} @-}
foo :: Word
foo = 4