source: doc/theses/jiada_liang_MMath/test.ml@ 931f1b4

open Printf

type s = { i : int; j : int }
let sv : s = { i = 3; j = 5 }
type adt =
        I of int |
        F of float |
        S of s
let adtprt( adtv : adt ) =
        match adtv with (* pattern matching *)
                I i -> printf "%d\n" i |
                F f -> printf "%g\n" f |
                S sv -> printf "%d %d\n" sv.i sv.j

let silly( adtv : adt ) =
        if adtv <= F(3.5) then
                printf "<= F\n"
        else if adtv >= S(sv) then
                printf ">= S\n"

let adtv : adt = I(3) let _ = adtprt( adtv ); silly( adtv )
let adtv : adt = F(3.5) let _ = adtprt( adtv ); silly( adtv )
let adtv : adt = S(sv) let _ = adtprt( adtv ); silly( adtv )

type week = Mon | Tue | Wed | Thu | Fri | Sat | Sun [@@deriving enumerate]
(* let _ = List.iter ( fun e -> printf "%d" (to_val e) ) all_of_week*)

let day : week = Mon

let take_class( d : week ) =
        if d <= Fri then
                printf "weekday\n"
        else if d >= Sat then
                printf "weekend\n";
        match d with
                Mon | Wed -> printf "CS442\n" |
                Tue | Thu -> printf "CS343\n" |
                Fri -> printf "Tutorial\n" |
                _ -> printf "Take a break\n"

let _ = take_class( Mon ); take_class( Sat );

type weekday = Mon | Tue | Wed | Thu | Fri
type weekend = Sat | Sun of float
type week = Weekday of weekday | Weekend of weekend
let day : week = Weekend (Sun 3.5)

let take_class( d : week ) =
        if d <= Weekday Fri then
                printf "weekday\n"
        else if d >= Weekend Sat then
                printf "weekend\n";
        match d with
                Weekday Mon | Weekday Wed -> printf "CS442\n" |
                Weekday Tue | Weekday Thu -> printf "CS343\n" |
                Weekday Fri -> printf "Tutorial\n" |
                _ -> printf "Take a break\n"
let _ = take_class( day )

let _ = for i = 1 to 10 do
        printf "%d, " i
done

(* Local Variables: *)
(* tab-width: 4 *)
(* compile-command: "ocaml test.ml" *)
(* End: *)