Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T12921.hs
1 {-# LANGUAGE OverloadedStrings #-}
2 module T12921 (stat) where
3
4 {-# ANN module "HLint: ignore Reduce duplication" #-}
5
6 stat :: Int -> Int
7 stat = choice []
8
9 -- 'choice' is deliberately out of scope in this test