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 :: Qual Tcon
15 symCoercion = pv "sym"
16 transCoercion = pv "trans"
17 unsafeCoercion = pv "CoUnsafe"
18 leftCoercion = pv "left"
19 rightCoercion = pv "right"
23 tAddrzh = Tcon tcAddrzh