Hi, I have this in my .gc file: newtype Pid = MkPid Int deriving (Eq,Ord) %dis pid a = MkPid (int a) %const Pid [ nullPid = {PJSL_NULL_PID} ] For the %const, green-card generates nullPid :: Pid nullPid = ``PJSL_NULL_PID'' and ghc-3.01 complains Pjsl.hs:102: No instance for `PrelGHC.CCallable Pid' (arising from the ``literal-literal'' `PJSL_NULL_PID' at Pjsl.hs:102) I also have %const Int [ % testKind = {PJSL_TEST_KIND}, ... and testKind:: Int testKind = ``PJSL_TEST_KIND'' goes through just fine, as expected Fermin ------------------------------------------------------------------------------- Fermin J. Reig PhD student, Department of Computing Science, University of Glasgow http://www.dcs.gla.ac.uk/~reig