• ross's avatar
    [project @ 2003-09-20 17:26:46 by ross] · dbaa3bb3
    ross authored
    Re-arrange the interface to TcMatches to allow typechecking of case
    commands (part of arrow notation):
    
    * replace the export of the internal tcGRHSs with a more specific
      tcGRHSsPat for checking PatMonoBinds.
    
    * generalize match contexts in the same way as stmt contexts, to include
      a typechecker for the bodies of alts.
    
    This should probably be reviewed, but I hope it can make it into STABLE
    after a while.
    dbaa3bb3
TcArrows.lhs 11 KB