Tony Garnock-Jones
e923d87fa5
Switch from `#!` to `#:` for embedded values
2024-02-05 22:38:49 +01:00
Tony Garnock-Jones
be32f9b7c8
Remove single-precision floats from the implementations
2024-01-27 14:40:37 +01:00
Tony Garnock-Jones
c411e47d7f
Corrections to preserves-schema host-type generation; extract host-type schema
2023-12-17 11:01:46 +13:00
Tony Garnock-Jones
03cb5ab02f
Repair internal paths to preserves-schemac.js
2023-10-31 23:31:10 +01:00
Tony Garnock-Jones
ccf277cddb
Switch to "# "-prefixed text comment annotation syntax
2023-10-18 10:20:30 +02: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
087b8d6130
Repair schemac invocations
2022-01-14 14:12:32 +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
de7ac63b96
First stab at specification of Schema
2021-05-25 14:11:33 +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
3ad56a5275
Enhance preserves-schemac to emit bundles
2021-04-01 21:12:11 +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
121bcc7a53
Refactor schema schema
2021-03-23 19:40:06 +01:00
Tony Garnock-Jones
c2fe82e71d
Comment
2021-03-19 23:32:47 +01:00
Tony Garnock-Jones
0970898065
Prepare for removing base environment: special support for any
2021-03-19 20:54:05 +01:00
Tony Garnock-Jones
d372977023
Add Capture support; repair (redo) converter accordingly
2021-03-18 22:33:37 +01:00
Tony Garnock-Jones
5d2ee85b36
More general variant
2021-03-17 20:23:55 +01:00
Tony Garnock-Jones
3463cd4a65
Further schema schema fixes
2021-03-17 20:01:26 +01:00
Tony Garnock-Jones
5f71239130
Further refine schema schema
2021-03-17 19:17:19 +01:00
Tony Garnock-Jones
376e83acd0
Allow naming of `and` branches
2021-03-17 16:25:29 +01:00
Tony Garnock-Jones
98346c61d5
More preparation for alternate compilation approach
2021-03-17 14:36:44 +01:00
Tony Garnock-Jones
b9019d03f1
Tighten schema definition to permit simpler codegen
2021-03-17 12:20:50 +01:00
Tony Garnock-Jones
adfb1822ac
Simpler schema-schema
2021-03-14 22:59:53 +01:00
Tony Garnock-Jones
8d7e7c6d95
Pointers; improved diagnostics
2021-03-11 17:59:40 +01:00
Tony Garnock-Jones
d932431d83
Improve compiler driver
2021-03-11 10:56:49 +01:00
Tony Garnock-Jones
447380218e
More
2021-03-09 16:45:57 +01:00
Tony Garnock-Jones
62bab41bed
First steps toward schema
2021-03-09 15:59:40 +01:00