• eir@cis.upenn.edu's avatar
    s/Invisible/Inferred/g s/Visible/Required/g · 5fdb854c
    eir@cis.upenn.edu authored
    This renames VisibilityFlag from
    
    > data VisibilityFlag = Visible | Specified | Invisible
    
    to
    
    > data ArgFlag = Required | Specified | Inferred
    
    The old name was quite confusing, because both Specified
    and Invisible were invisible! The new names are hopefully clearer.
    5fdb854c
TcSigs.hs 28.6 KB