adamc@194: datatype sum a b = Left of a | Right of b adamc@194: adamc@194: val l : sum int string = Left 5 adamc@194: val r : sum int string = Right "Hi" adamc@194: adamc@194: val show = fn x : sum int string => case x of Left _ => "Left _" | Right s => s adamc@194: adamc@194: val page = fn x => adamc@194: {cdata (show x)} adamc@194: adamc@194: adamc@194: val main : unit -> page = fn () => adamc@194:
  • Left
  • adamc@194:
  • Right
  • adamc@194: