Commit 7374d8bf authored by simonmar's avatar simonmar
Browse files

[project @ 2001-08-29 08:42:15 by simonmar]

Add irrefutable pattern test from the Hugs bugs list.
parent b082afe1
......@@ -12,3 +12,4 @@ test "dsrun004" { vtr("", "", "") }
test "dsrun005" { vtr("", "", "1") }
test "dsrun006" { vtr("", "", "") }
test "dsrun007" { vtr("", "", "1") }
test "dsrun008" { vtr("", "", "1") }
-- !!! Double irrefutable pattern (bug in Hugs98, 29/8/2001)
main = print (case (1,2) of ~(~(2,x)) -> x)
Fail: dsrun008.hs:2: Irrefutable pattern failed for pattern (2, x)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment