cvs commit: hugs98/src compiler.c

ross at glass.cse.ogi.edu ross at glass.cse.ogi.edu
Mon Oct 6 11:01:56 EDT 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


More information about the Cvs-hugs mailing list