1 {-# OPTIONS -Wall -fno-warn-missing-signatures #-}
2 module PrimCoercions where
5 -- Stuff the parser needs to know about
11 pvz = (qual primMname) . (++ "zh")
14 symCoercion, transCoercion, unsafeCoercion,
15 leftCoercion, rightCoercion, instCoercion :: Qual Tcon
16 symCoercion = pv "sym"
17 transCoercion = pv "trans"
18 unsafeCoercion = pv "CoUnsafe"
19 leftCoercion = pv "left"
20 rightCoercion = pv "right"
21 instCoercion = pv "inst"
25 tAddrzh = Tcon tcAddrzh