[Haskell-cafe] a really juvenile question .. hehehehe ;^)
Don Stewart
dons at galois.com
Mon Oct 6 01:37:01 EDT 2008
vigalchin:
> Hello,
>
> I am reading some extant Haskell code that uses Posix signals.... I am
> confused by the motivation of the following ...
>
> type [1]Signal = [2]CInt
> [3]nullSignal :: [4]Signal
> [5]internalAbort :: [6]Signal
> [7]sigABRT :: [8]CInt
> [9]realTimeAlarm :: [10]Signal
> [11]sigALRM :: [12]CInt
> [13]busError :: [14]Signal
> [15]sigBUS :: [16]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?
Looks like it should all be Signal, and probably should be using a
newtype, to prevent funky tricks. The Posix layer is a bit crufty.
-- Don
More information about the Haskell-Cafe
mailing list