Hello,

   I am reading some extant Haskell code that uses Posix signals.... I am confused by the motivation of the following ...

type Signal = CInt

nullSignal :: Signal

internalAbort :: Signal

sigABRT :: CInt

realTimeAlarm :: Signal

sigALRM :: CInt

busError :: Signal

sigBUS :: CInt

OK .. "type" is really just a synomym and doesn't invoke type checking like "data" type declarations do .. so why don't we have all the "CInts" substituted by "Signal"? I.e. what did I miss?

Thanks, Vasili