Readme code fails with "Expected name"

[cwahn]

I tried to test the below code from Readme,

Main : IO (Result () String) {
  ask limit = IO.prompt "Enter limit:"
  for x in (List.range limit) {
    IO.print "{} * 2 = {}" x (Nat.double x)
  }
  return Ok ()
}

with

kind2 check  example.kind2

, and it failed with following message

[kind2/example.kind2]
Expected `name`:
  1 | Main : IO (Result () String) {

What am I doing wrong?

[algebraic-dev]

This code is not working right now, we are removing these examples that does not work currently.