testsuite/tests/typecheck/should_fail/T12921.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE OverloadedStrings #-}
module T12921 (stat) where

{-# ANN module "HLint: ignore Reduce duplication" #-}

stat :: Int -> Int
stat = choice []

-- 'choice' is deliberately out of scope in this test