KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
I have defined two record types: type name = { r0: int; r1: int; c0: int; c1: int; typ: dtype; uid: uid (* key *) } and func = { name: string; typ: dtype; params: var list; body: block } And I have got an error later for a line of code: Error: The record field label typ belongs to the type Syntax.func but is mixed here with labels of type Syntax.name Could anyone tell me if we should not have two fields of two records have same label, like typ here, which makes compiler confuse.
Tags (comma-separated)
Save Edits
Cancel