• pepe's avatar
    Fix a couple of issues with :print · decbb181
    pepe authored
          
          - Ticket #1995: Unsoundness with newtypes
          - Ticket #2475: "Can't unify" error when stopped at an exception
          
          In addition this patch adds the following:
          
          - Unfailingness: RTTI cannot panic anymore. 
            In case of failure, it recovers gracefully by returning the "I know nothing" type
          - A -ddump-rtti flag
    decbb181
HscTypes.lhs 77.3 KB