36 lines
1.6 KiB
JSON
36 lines
1.6 KiB
JSON
{
|
|
"types": [
|
|
{
|
|
"id": ["pragmas", "Type"],
|
|
"kind": "record",
|
|
"fields": [
|
|
{"name": "a", "value": {"kind": "number", "repr": "i32"}, "required": true},
|
|
{"name": "b", "value": {"kind": "number", "repr": "i64"}, "required": true},
|
|
{"name": "c", "value": {"kind": "number", "repr": "f32"}, "required": true},
|
|
{"name": "d", "value": {"kind": "number", "repr": "f64"}, "required": true}
|
|
]
|
|
},
|
|
{
|
|
"id": ["pragmas", "Interface"],
|
|
"kind": "record",
|
|
"fields": [
|
|
{"name": "a", "value": {"kind": "number", "repr": "i32"}, "required": true},
|
|
{"name": "b", "value": {"kind": "number", "repr": "i64"}, "required": true},
|
|
{"name": "c", "value": {"kind": "number", "repr": "f32"}, "required": true},
|
|
{"name": "d", "value": {"kind": "number", "repr": "f64"}, "required": true},
|
|
{"name": "e", "value": {"kind": "string"}, "required": true}
|
|
]
|
|
},
|
|
{
|
|
"id": ["pragmas", "Class"],
|
|
"kind": "record",
|
|
"fields": [
|
|
{"name": "a", "value": {"kind": "number", "repr": "i32"}, "required": true},
|
|
{"name": "b", "value": {"kind": "number", "repr": "i64"}, "required": true},
|
|
{"name": "c", "value": {"kind": "number", "repr": "f32"}, "required": true},
|
|
{"name": "d", "value": {"kind": "number", "repr": "f64"}, "required": true}
|
|
]
|
|
}
|
|
]
|
|
}
|