SCM Repository
[sml3d] Diff of /trunk/sml3d/gen/spec-parser/spec-db/xml-rep.sml
Diff of /trunk/sml3d/gen/spec-parser/spec-db/xml-rep.sml
Parent Directory
|
Revision Log
|
Patch
36 |
alias : Atom.atom option, (* defined if this is an alias *) |
alias : Atom.atom option, (* defined if this is an alias *) |
37 |
version : string option, (* version that defined this function *) |
version : string option, (* version that defined this function *) |
38 |
deprecated : string option, (* version that deprecated this function *) |
deprecated : string option, (* version that deprecated this function *) |
39 |
retTy : {cty : string, mlty : string option}, |
retTy : {cty : CType.ty, mlty : string option}, |
40 |
(* return type *) |
(* return type *) |
41 |
params : param list (* parameter types and names *) |
params : param list (* parameter types and names *) |
42 |
} |
} |
43 |
|
|
44 |
and param = Param of {name : string, cty : string, mlty : string option} |
and param = Param of { |
45 |
|
name : string, |
46 |
|
cty : CType.ty, |
47 |
|
(* FIXME: should we add direction/transfer type? *) |
48 |
|
mlty : string option |
49 |
|
} |
50 |
|
|
51 |
withtype const = {name : Atom.atom, value : string} |
withtype const = {name : Atom.atom, value : string} |
52 |
and ty = {name : Atom.atom, def : string} |
and ty = {name : Atom.atom, def : CType.ty} |
53 |
|
|
54 |
end |
end |
|
Legend:
Removed from v.1222 |
|
changed lines |
|
Added in v.1223 |
|
|