Question

I would like to do something like this:

fun f () =
    let
      fun a() = b()
    and
      fun b() = a()
    in
      ()
    end

where a and b are sensible mutually recursive functions. However, this gives:

Error: syntax error: replacing  AND with  SEMICOLON

Is there any way to do this?

Answer 1

Declaration of mutually recursive functions in SML is marked by a fun ... and ... block:

fun f () =
  let
    fun a() = b()
    and b() = a() (* There is no 'fun' keyword before b() *)
  in
    ()
  end