Implement the Prolog type predicates to get the following program to type check successfully. This program is test14.sml in the comp compiler project. This will involve writing type checking predicates for matching, Boolean patterns, integer patterns, and sequential execution.

Transcribed Image Text:

1 2 3 4 5 6 7 let fun f(true, x) = (println (x); g (x-1)) f (false,x) = g (x-1) | and g 0 = () in end | g x = f(true, x) g (10) 1 2 3 4 5 6 7 let fun f(true, x) = (println (x); g (x-1)) f (false,x) = g (x-1) | and g 0 = () in end | g x = f(true, x) g (10)