Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail164.hs
1 {-# LANGUAGE MagicHash #-}
2
3 -- Tests tagToEnum# hacks
4
5 module ShouldFail where
6
7 import GHC.Base
8
9 -- Test 1: Polymorphic
10 f :: a
11 f = tagToEnum# 0#
12
13 -- Test 2: Int value (not an Enumeration TyCon)
14 class Unboxable value where
15 readUnboxable :: Int -> value
16 instance Unboxable Int where
17 readUnboxable (I# value#) = tagToEnum# value#
18