rossberg / hamlet Goto Github PK

Contributors

Stargazers

Forkers

cbarrett bacam dawidvc liumingc rbarraud sirikid lailaelbeheiry joshpoll meta-logic ilya-klyuchnikov minoki elpinal standardgalactic zcc101

structure Foo = struct
  structure Bar = struct
    val x = "Hello"
  end
  val x = 42
  val y = " world!\n"
end
open Foo Foo.Bar;
print (x ^ y);

[loading standard basis library]
[processing open.sml]
structure Bar = struct val x = "Hello" : string end
structure Foo =
  struct
    structure Bar = struct val x = "Hello" : string end
    val x = 42 : int
    val y = " world!\n" : string
  end
val x = 42 : string
val y = " world!\n" : string
open.sml:9.9-9.12: runtime type error: string expected

let val { a = SOME f } = { a = SOME (fn x => x) }
in f 1;
   f "x"
end;

let val { ... = { a = SOME f } } = { a = SOME (fn x => x) }
in f 1;
   f "x"
end;