git.iko.soy/rowtype-yoga/purescript-native
on bdbf4e2 help sign in
rowtype-yoga/purescript-native/examples/warning/OverlappingPattern.purs
15 lines 241 B history raw
1-- @shouldWarnWith OverlappingPattern
2-- @shouldWarnWith OverlappingPattern
3module Main where
5data X = A | B
7pat1 :: X -> Boolean
8pat1 A = true
9pat1 A = true
10pat1 B = false
12pat2 :: X -> Boolean
13pat2 A = true
14pat2 _ = false
15pat2 B = false