testsuite/tests/ghc-regress/simplCore/should_compile/simpl009.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE Rank2Types #-}
{-# OPTIONS_GHC -dcore-lint #-}

-- This one killed GHC 6.0, with a "panic: applyTys"
-- Only with -O, though

module ShouldCompile where

newtype R = R (forall a. a->a)

foo = case undefined of
	R f -> f ()