cvs commit: hugs98/src compiler.c

6 Oct 2003

      ross        2003/10/06 10:01:55 PDT

  Modified files:
    src                  compiler.c 
  Log:
  Don't use failFree() to decide whether to do a conformality check.
  In an expression like

  	let (x,(_,_)) = (1,undefined) in x

  the pattern is failure free, but the conformality check should fail.
  Instead, skip the conformality check iff the pattern it would use is
  a wildcard.

  Revision  Changes    Path
  1.18      +7 -7      hugs98/src/compiler.c

cvs commit: hugs98/src compiler.c

ross＠glass.cse.ogi.edu