File: Test071.ML

package info (click to toggle)
polyml 5.6-8
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 31,892 kB
  • ctags: 34,453
  • sloc: cpp: 44,983; ansic: 24,520; asm: 14,850; sh: 11,730; makefile: 551; exp: 484; python: 253; awk: 91; sed: 9
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;