gistfile1.ml

(* PROGRAM #1: "GOOD.ML" *)

let ignore = 1;;

let rec tableBlank k =
	makeLet ignore 1
and makeLet (a:int) (b:int) =
	a + b;;

let () = print_endline @@ string_of_int @@ makeLet 1 2;;

(* WHAT I GET IF I RUN PROGRAM #1:
    3
*)

(* PROGRAM #2: "BAD.ML" *)

let ignore = 3.0;;

let rec tableBlank k =
	makeLet ignore 1            (* THIS LINE IS A TYPO  *)
and makeLet (a:int) (b:int) =   (* THIS LINE IS CORRECT *)
	a + b;;

let () = print_endline @@ string_of_int @@ makeLet 1 2;;

(* WHAT I GET IF I RUN PROGRAM #2:
    File "bad.ml", line 6, characters 12-19:
    Error: This pattern matches values of type int
           but a pattern was expected which matches values of type float
*)

(* WHY I'M BOTHERED: If I explicitly decorated makeLet with a:int type,
shouldn't that take precedence over the inferred type from tableBlank? *)