Changes between Version 1 and Version 2 of Ticket #8827, comment 7


Ignore:
Timestamp:
Mar 11, 2014 3:21:43 PM (13 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8827, comment 7

    v1 v2  
    1 In comment 3 I argue that it's right to infer Safe for B, and hence that B should compile fine with `{-# LANGUAGE Safe #-}`.  That would mean removing the recursive check 
     1In comment 3 I argue that it's right to infer Safe for B, and hence that B should compile fine with `{-# LANGUAGE Safe #-}`.  That would mean removing the recursive check (which I particularly dislike) 
    22 
    33Does anyone object?