regression/weird-word2.sml

   1 fun fib (w: Word5.word) : Word5.word =
   2    if w <= 0wx1
   3       then 0wx1
   4    else fib (w - 0wx1) + fib (w - 0wx2)
   5
   6 val s =
   7    case (fib 0wx5) of
   8       0wx0 => "0wx0"
   9     | 0wx1 => "0wx1"
  10     | 0wx2 => "0wx2"
  11     | 0wx3 => "0wx3"
  12     | 0wx4 => "0wx4"
  13     | 0wx5 => "0wx5"
  14     | 0wx6 => "0wx6"
  15     | 0wx7 => "0wx7"
  16     | 0wx8 => "0wx8"
  17     | 0wx9 => "0wx9"
  18     | 0wxA => "0wxA"
  19     | 0wxB => "0wxB"
  20     | 0wxC => "0wxC"
  21     | 0wxD => "0wxD"
  22     | 0wxE => "0wxE"
  23     | 0wxF => "0wxF"
  24     | 0wx10 => "0wx10"
  25     | 0wx11 => "0wx11"
  26     | 0wx12 => "0wx12"
  27     | 0wx13 => "0wx13"
  28     | 0wx14 => "0wx14"
  29     | 0wx15 => "0wx15"
  30     | 0wx16 => "0wx16"
  31     | 0wx17 => "0wx17"
  32     | 0wx18 => "0wx18"
  33     | 0wx19 => "0wx19"
  34     | 0wx1A => "0wx1A"
  35     | 0wx1B => "0wx1B"
  36     | 0wx1C => "0wx1C"
  37     | 0wx1D => "0wx1D"
  38     | 0wx1E => "0wx1E"
  39     | 0wx1F => "0wx1F"
  40
  41 val _ = print (concat [s, "\n"])