File: Test071.ML

package info (click to toggle)
polyml 5.7.1-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 40,524 kB
  • sloc: cpp: 44,142; ansic: 26,963; sh: 22,002; asm: 13,486; makefile: 602; exp: 525; python: 253; awk: 91
file content (14 lines) | stat: -rw-r--r-- 434 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
(* Code-generation bug. *)
let
fun f x =
    if x = 1 then "a" else if x = 2 then "b" else if x = 3 then "c"
    (* Note duplication of the next case. *)
    else if x = 6 then "d" else if x = 6 then "f"
    else (* Missing case here *) if x = 8 then "h"
    else if x = 9 then "i" else if x = 10 then "j"
    else if x = 11 then "k" else "l";
in
if f 8 = "h" andalso f 6 = "d" andalso f 7 = "l"
then "OK"
else raise Fail "FAIL"
end;