id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
281	Wrong overlapped/missing pattern warnings	nobody	nobody	"{{{
compiling:

  module Overlap where

  f (n+1) = 2
  f 0     = 1

emits wrongly:

    Warning: Pattern match(es) are overlapped
             In the definition of `f': f 0 = ...


The Patterns are disjoint, aren't they? At least  ""f 0""
yields ""1"" when evaluated and negative inputs for f are
rejected. However the warning is not emitted if the two
equations are given in reversed order.

Christian (maeder@tzi.de)

}}}"	bug	closed	lowest		Compiler	6.2.2	fixed			Unknown/Multiple	Unknown/Multiple		Unknown