Commit 600726c4 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update test for application of (->) to Int#

parent 2ef4463d
......@@ -5,9 +5,7 @@
module ShouldSucceed where
import GHC.Base
f :: ((->) Int#) Int#
f x = x
type T = (->) Int#
-- Here's the comment from TypeRep:
--
......
tc167.hs:8:12:
Expecting a lifted type, but ‛Int#’ is unlifted
In the type signature for ‛f’: f :: ((->) Int#) Int#
tc167.hs:8:15:
Expecting a lifted type, but ‛Int#’ is unlifted
In the type ‛(->) Int#’
In the type declaration for ‛T’
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment