[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