Scala Programming Language
  1. Scala Programming Language
  2. SI-5440

Missing non-exhaustive warning when matching against a pair of lists.

    Details

      Description

      The following should return a match non-exhaustive warning, but does not:

      def merge(list1: List[Long], list2: List[Long]): Boolean = (list1, list2) match

      { case (hd1::_, hd2::_) => true case (Nil, Nil) => true }

        Activity

        Hide
        Jason Zaugg added a comment -

        This was fixed in 2.10.0, test case submitted here for 2.10.1.

        https://github.com/scala/scala/pull/1890

        Show
        Jason Zaugg added a comment - This was fixed in 2.10.0, test case submitted here for 2.10.1. https://github.com/scala/scala/pull/1890

          People

          • Assignee:
            Adriaan Moors
            Reporter:
            Adam Poswolsky
          • Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development