let display a:plate =
  let (b,c,d)=
  match a with
     (-1,_,_) -> ("x"," "," ")
    |(_,_,_) -> (" ","X","X")
in print_string "b"^"c"^"d";;

Error: This expression has type unit but is here used with type
         plate = int * int * int