 Tony Garnock-Jones
|
e923d87fa5
|
Switch from `#!` to `#:` for embedded values
|
2024-02-05 22:38:49 +01:00 |
|
Tony Garnock-Jones
|
1798e64615
|
Remove split-out Rust implementation
|
2024-01-28 15:18:08 +01:00 |
|
Tony Garnock-Jones
|
dc1b0ac54d
|
Remove single-precision floats from the specs
|
2024-01-27 11:34:51 +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
|
2e84614b3b
|
Allow "sufficiently identifierlike" values in dictionaries too
|
2023-11-03 10:31:44 +01:00 |
|
Tony Garnock-Jones
|
2445ab4a5a
|
Merge branch 'main' into comment-syntax-hash-space
|
2023-10-29 16:44:32 +01:00 |
|
Tony Garnock-Jones
|
55deeea343
|
Correct schema spec and note different usages of @name. Closes #31.
|
2023-10-29 15:20:42 +01:00 |
|
Tony Garnock-Jones
|
ee0f9a79fd
|
Ignore leading/trailing/repeated slashes and ampersands. Closes #32.
|
2023-10-29 14:51:03 +01:00 |
|
Tony Garnock-Jones
|
ccf277cddb
|
Switch to "# "-prefixed text comment annotation syntax
|
2023-10-18 10:20:30 +02:00 |
|
Tony Garnock-Jones
|
316c2dd407
|
Document preserves.schema
|
2023-03-17 15:24:53 +01:00 |
|
Tony Garnock-Jones
|
eb28206b3e
|
Bump schema spec version
|
2023-02-07 10:47:10 +01:00 |
|
Tony Garnock-Jones
|
f5d7fde6f8
|
Update spec text
|
2023-02-07 10:35:03 +01:00 |
|
Tony Garnock-Jones
|
fbda60c96b
|
Merge branch 'schema-notes' into 'main'
Note on ordering and default initialization
See merge request preserves/preserves!5
|
2022-08-23 13:28:31 +00:00 |
|
Tony Garnock-Jones
|
b332f2668e
|
Begin sketch of Preserves Schema semantics
|
2022-06-09 21:30:56 +02:00 |
|
Tony Garnock-Jones
|
cd635477c6
|
Tweak
|
2022-06-09 15:37:29 +02:00 |
|
Tony Garnock-Jones
|
9ba8617952
|
Attempt to clarify Preserves Schema relationship to host-language types.
|
2022-06-09 14:59:53 +02:00 |
 Emery Hemingway
|
4ae8c341c9
|
Note on ordering and default initialization
|
2021-11-11 21:23:03 +01:00 |
|
Tony Garnock-Jones
|
1668fdc6dd
|
Notes on identifiers and capitalization conventions
|
2021-10-14 13:11:40 +02:00 |
|
Tony Garnock-Jones
|
5fded03fa4
|
Alternative encoding of optional values in preserves-schema.md
|
2021-09-30 14:46:35 +02:00 |
|
Tony Garnock-Jones
|
0507ab2f38
|
Repair errors in preserves-schema.md
|
2021-09-30 14:46:19 +02: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
|
a44884d9f5
|
Tweaks
|
2021-05-31 11:48:52 +02:00 |
|
Tony Garnock-Jones
|
ed3cd8de26
|
Repair typo
|
2021-05-25 23:01:16 +02:00 |
|
Tony Garnock-Jones
|
3559cc679e
|
Document inclusion in schemas
|
2021-05-25 20:13:18 +02:00 |
|
Tony Garnock-Jones
|
badb059440
|
Note re DSL-to-AST translation
|
2021-05-25 14:37:44 +02:00 |
|
Tony Garnock-Jones
|
668d4e6271
|
Repair typo
|
2021-05-25 14:37:34 +02:00 |
|
Tony Garnock-Jones
|
de7ac63b96
|
First stab at specification of Schema
|
2021-05-25 14:11:33 +02:00 |