Permalink
Switch branches/tags
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
89 lines (63 sloc) 1.46 KB
% Copyright 2009, 2010, 2011, 2012, 2013, 2014 Anton Lavrik
%
% Licensed under the Apache License, Version 2.0 (the "License");
% you may not use this file except in compliance with the License.
% You may obtain a copy of the License at
%
% http://www.apache.org/licenses/LICENSE-2.0
%
% Unless required by applicable law or agreed to in writing, software
% distributed under the License is distributed on an "AS IS" BASIS,
% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
% See the License for the specific language governing permissions and
% limitations under the License.
.include [ .module piqi ]
%
% types
%
.extend [
.typedef* [ int uint ]
.with.ocaml-type "int"
]
.extend [
.typedef* [ int32 uint32 ]
.with.ocaml-type "int32"
]
.extend [
.typedef* [ int64 uint64 ]
.with.ocaml-type "int64"
]
.extend [
.typedef* [ float64 float32 ]
.with.ocaml-type "float"
]
%
% names
%
.extend [
.option typedef.list
.with.ocaml-name "list"
]
.extend [
.typedef type
.field any.type
.with.ocaml-name "typename"
]
.extend [
.typedef list
.with.ocaml-name "piqi_list"
]
.extend [
.field* [ piqi.module import.module ]
.with.ocaml-name "modname"
]
.extend [
.typedef function
.with.ocaml-name "func"
]
.extend [
.typedef piqi-list
% ocaml-name "piqi-list" is already defined for record "list"
.with.ocaml-name "piqi_bundle"
]
.custom-field* [ ocaml-type ocaml-name ]