Tony Garnock-Jones
be32f9b7c8
Remove single-precision floats from the implementations
2024-01-27 14:40:37 +01:00
Tony Garnock-Jones
b7a2acf65b
Update implementations for simplified binary syntax.
...
As part of this, I noticed a problem when updating the Rust
implementation. With the BF..84 design for annotations, if you are
wanting to skip annotations—for example, if you're parsing
incrementally, SAX-style, ignoring annotations—then with any
parenthesised form you have to remember to check for and skip something
after reading a term. This is awkward, so I want to revisit the design
of annotations and go back to the prefix-form (85..) of the
current-mainline design.
2023-10-14 21:29:09 +02:00
Tony Garnock-Jones
43312f5ead
Repair syntax in schema.prs and regenerate schema.bin
2023-02-07 10:34:42 +01:00
Emery Hemingway
661e35a757
schema: order #f first in EmbeddedTypeName
...
Nim is taking the first option as the default initialization
value for Or types and #f is the default for EmbeddedTypeName.
2023-02-07 10:30:54 +01:00
Tony Garnock-Jones
60d1be41a3
Rename NamedSimplePattern_ -> Binding
2021-06-25 10:25:26 +02:00
Tony Garnock-Jones
fdb43f6292
Constrain names/identifiers in schemas to be lowest-common-denominator.
2021-06-25 09:45:07 +02:00
Tony Garnock-Jones
8d96743d53
Redo schema embedded value patterns to use embedded syntax and an interface schema
2021-06-01 16:10:04 +02:00
Tony Garnock-Jones
7d06c7dce0
Repair dict "named" generation
2021-05-25 10:49:35 +02:00
Tony Garnock-Jones
2559a4713f
Much improved refactoring/repair of metaschema
2021-05-24 00:15:31 +02:00
Tony Garnock-Jones
ecdb314366
Require at least two branches in "&" and "/"
2021-05-21 11:20:25 +02:00
Tony Garnock-Jones
10380e451a
Simplify schemas by allowing at most one of "&" or "/" in a definition
2021-05-20 22:34:20 +02:00
Tony Garnock-Jones
e4a2503899
The Great Renaming: Pointer -> Embedded
2021-05-17 14:54:06 +02:00
Tony Garnock-Jones
55fab35073
Schema Bundles
2021-04-01 20:31:08 +02:00
Tony Garnock-Jones
4d8618ce63
schema.bin
2021-03-23 19:48:37 +01:00
Tony Garnock-Jones
Emery Hemingway