alvinalexander.com | career | drupal | java | mac | mysql | perl | scala | uml | unix  

Scala example source code file (patmatexhaust.check)

This example Scala source code file (patmatexhaust.check) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" TM.

Java - Scala tags/keywords

b, b, bar, baz, gp, gp, gu, kult, kult, list, nil, qult, qult

The Scala patmatexhaust.check source code

patmatexhaust.scala:7: error: match is not exhaustive!
missing combination            Baz

    def ma1(x:Foo) = x match {
                     ^
patmatexhaust.scala:11: error: match is not exhaustive!
missing combination            Bar

    def ma2(x:Foo) = x match {
                     ^
patmatexhaust.scala:23: error: match is not exhaustive!
missing combination           Kult          Kult
missing combination           Qult          Qult

    def ma3(x:Mult) = (x,x) match { // not exhaustive
                      ^
patmatexhaust.scala:49: error: match is not exhaustive!
missing combination             Gp
missing combination             Gu

    def ma4(x:Deep) = x match { // missing cases: Gu, Gp
                      ^
patmatexhaust.scala:53: error: match is not exhaustive!
missing combination             Gp

    def ma5(x:Deep) = x match { // Gp
                      ^
patmatexhaust.scala:59: error: match is not exhaustive!
missing combination            Nil

  def ma6()  = List(1,2) match { // give up
                   ^
patmatexhaust.scala:75: error: match is not exhaustive!
missing combination              B

  def ma9(x: B) = x match {
                  ^
7 errors found

Other Scala examples (source code examples)

Here is a short list of links related to this Scala patmatexhaust.check source code file:

... this post is sponsored by my books ...

#1 New Release!

FP Best Seller

 

new blog posts

 

Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.

A percentage of advertising revenue from
pages under the /java/jwarehouse URI on this website is
paid back to open source projects.