yaotti (owner)

Revisions

gist: 244877 Download_button fork
public
Public Clone URL: git://gist.github.com/244877.git
Embed All Files: show embed
type-test.ml #
raw 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

type student = { name: string; id: int };;
type hoge = { name: string; age: int };;
{ name = "hi"; id = 12 };;
 
(*
# type student = { name: string; id: int };;
type student = { name : string; id : int; }
# type hoge = { name: string; age: int };;
type hoge = { name : string; age : int; }
# { name = "hi"; id = 12 };;
Characters 0-24:
  { name = "hi"; id = 12 };;
  ^^^^^^^^^^^^^^^^^^^^^^^^
Error: The record field label id belongs to the type student
       but is mixed here with labels of type hoge
*)