File: Test095.ML

package info (click to toggle)
polyml 5.7.1-5
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, sid
  • size: 40,616 kB
  • sloc: cpp: 44,142; ansic: 26,963; sh: 22,002; asm: 13,486; makefile: 602; exp: 525; python: 253; awk: 91
file content (12 lines) | stat: -rw-r--r-- 453 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
 
(* This caused a problem at one stage.  When constructing the optimised code
   for pattern matching we have to merge multiple occurrences of the same special
   constant and that requires the equality function to be evaluated at compile-time.
   This was picking up the wrong equality function. *)
structure S =
struct
    type addrs = word
    fun f (n: word, ic: addrs list) =
        case (n + hd ic) of
            0w1 => 1
        |   _ => 2
end;