path: root/testsuite/tests/typecheck/should_compile/tc212.hs

-- This one crashed the 6.6 release candidate

module ShouldCompile where

-- A specialise pragma with no type signature
fac n = fac (n + 1)
{-# SPECIALISE fac :: Int -> Int #-}