ehmry
/
preserves-nim
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
321 Commits 1 Branch 25 Tags 557 KiB
Commit Graph

305 Commits

Author SHA1 Message Date
Emery Hemingway a466930e6e Hack to unescape \n 2021-12-11 18:32:37 +00:00
Emery Hemingway 7d8c3b29c2 XML conversion 2021-12-06 23:57:47 +00:00
Emery Hemingway 200e0a0080 Do not leak null characters into the #"" encoding 2021-12-05 21:30:54 +00:00
Emery Hemingway 061898c3c2 Escaping fix in parser 2021-12-04 12:02:15 +00:00
Emery Hemingway 8a85ff5d52 Make enums generated for alt-types pure 2021-12-04 11:44:18 +00:00
Emery Hemingway 21052681b6 schemaparse: fix parsing of atoms to Preserves 2021-11-17 14:21:15 +00:00
Emery Hemingway 7cc0b050f4 Remove support for integers wider than 64 bits 
I believe this was an unecessary compilication and it can be
restored later if necesary.
 2021-11-12 12:25:28 +01:00
Emery Hemingway e88c238a74 Schema text parsing 2021-11-11 21:57:04 +01:00
Emery Hemingway 6039a729c8 Do not intersperse commas in sequences 2021-11-07 17:30:42 +01:00
Emery Hemingway 1dc7991761 Schemas: use int rather than BiggestInt 
Produce ints for integers in schemas. If int is too small then
the generated code can be hand-edited.
 2021-11-03 19:18:07 +01:00
Emery Hemingway ef4278062a Encode short byte-strings as hex text 2021-11-03 19:17:33 +01:00
Emery Hemingway c74f5c2c63 Spry: binary encoding and decoding 2021-11-03 19:17:04 +01:00
Emery Hemingway a8373e37c6 Add Spry VM module 
http://sprylang.se/
 2021-11-01 10:35:14 +01:00
Emery Hemingway 29d7352a23 Assert upreservable pragma at runtime 
This makes the compiler less pedantic.
 2021-10-25 21:36:57 +02:00
Emery Hemingway d1be46de49 Equality across different embedded types 2021-10-25 21:36:57 +02:00
Emery Hemingway 0387cbc7eb Update documentation 2021-10-25 21:36:57 +02:00
Emery Hemingway ae5f4b78ac Adjust stringification 2021-10-25 21:36:45 +02:00
Emery Hemingway bc9568d6bd Add unembed routine 2021-10-25 21:36:45 +02:00
Emery Hemingway a03a188bc2 fromPreserve: fix conversion of literals in tuples 2021-10-25 21:36:45 +02:00
Emery Hemingway cbf27a0ee0 schema: fix missing literals in tuples 2021-10-25 21:36:45 +02:00
Emery Hemingway ba45f80087 schema: embedded type required for toPreserve inside `$` 2021-10-25 21:36:45 +02:00
Emery Hemingway cca512c9df mapEmbeds for Preserve[void] to Preserve[E] 2021-10-25 21:36:45 +02:00
Emery Hemingway b6275a241b Schema: do not overload `$` or encode for Preserve types 2021-10-20 13:59:48 +02:00
Emery Hemingway 5250707f0e Schema: make all Preserves embeddable 2021-10-18 12:12:33 +02:00
Emery Hemingway 171502f1d2 Schemas: seperate procs for unembeddables 2021-10-18 12:12:33 +02:00
Emery Hemingway 54c28c90ce Mark a preserves template as used 2021-10-18 12:12:33 +02:00
Emery Hemingway 30a9d55aac Fix schema import, normalize version 2021-10-17 14:22:41 +02:00
Emery Hemingway 99201de724 Schemas: use canonical meta-schema 2021-10-17 13:26:05 +02:00
Emery Hemingway 220577c8a0 New pragmas for toPreserve and fromPreserve 2021-10-17 11:38:45 +02:00
Emery Hemingway 2dd63903f0 Remove records module 
Redundant with toPreserve and fromPreserve.
 2021-09-25 13:57:58 +02:00
Emery Hemingway 42a9b26458 Embeddable Preserves 
Make Preserve a generic type that can embed a native Nim type.
Generate generic implementations from schemas and discard
embeddedType.
 2021-09-25 13:47:05 +02:00
Emery Hemingway 75c176ddb6 New constructors for record and sequence 2021-09-23 14:29:31 +02:00
Emery Hemingway cd5dd7dd03 Add [] operator for dictionaries 2021-09-23 14:29:16 +02:00
Emery Hemingway 9f2921d0ca Add is* checks 2021-09-23 13:32:04 +02:00
Emery Hemingway e7af40ce2f Export the variant members 2021-09-23 13:31:10 +02:00
Emery Hemingway 2451b441ad Use dedicated types for record alternates 2021-09-22 14:30:50 +02:00
Emery Hemingway ea50b05bad Some types implicitly handled by toPreserve 2021-09-21 09:38:37 +02:00
Emery Hemingway 6b7a23fecf Compiler compatibility tweaks 2021-09-21 09:30:40 +02:00
Emery Hemingway dae5dd9751 Fix toPreserveHook for Table[A, B] 
The toPreserveHook for tables was not compiling, which would fall
back to the behavior for preserving objects, which would not work
for tables.
 2021-09-21 08:00:33 +02:00
Emery Hemingway 7edc05a35d Refactor preserves_schema_nim 2021-09-21 08:00:33 +02:00
Emery Hemingway efd5cf62df Optimize allocation of sequences from toPreserve 2021-09-21 08:00:33 +02:00
Emery Hemingway fc53b47ec6 Add megaType procs 2021-09-21 08:00:33 +02:00
Emery Hemingway c407179540 Remove dead code 2021-09-21 08:00:33 +02:00
Emery Hemingway 098f067ffb Quote schema comments 2021-09-21 08:00:33 +02:00
Emery Hemingway efbf9af7ba TableRef 2021-09-21 08:00:33 +02:00
Emery Hemingway a7acd971d2 Fix symbol printing in schemas 2021-09-21 08:00:33 +02:00
Emery Hemingway df53ff0d41 Fix printing of schema symbols 2021-09-21 08:00:33 +02:00
Emery Hemingway 23d34d1468 Emit a discard for empty case…of branch fields 2021-09-21 08:00:33 +02:00
Emery Hemingway 00bb9de55f Less identifier mangling 2021-09-21 08:00:33 +02:00
Emery Hemingway 41675a2daf Generate procs for constants 2021-09-21 08:00:33 +02:00
Emery Hemingway 58a9f5dde4 quiet down 2021-09-21 08:00:33 +02:00
Emery Hemingway de50a0a41d Import tables when necessary 2021-09-21 08:00:33 +02:00
Emery Hemingway d43f9ca926 Quote proc parameters 2021-09-21 08:00:33 +02:00
Emery Hemingway c942e79a0a Make objects ref objects to support recursion 2021-09-21 08:00:33 +02:00
Emery Hemingway e556fa26e0 Do not generate object fields for constants 2021-09-21 08:00:33 +02:00
Emery Hemingway b940a458a1 Write name of output to stdout 2021-09-21 08:00:33 +02:00
Emery Hemingway cef2116e96 Module scoping for embedded type and refs 2021-09-21 08:00:33 +02:00
Emery Hemingway 2d64dae0dd Collect imports from schema 2021-09-21 08:00:33 +02:00
Emery Hemingway 460e7596f4 Make all type declarations in title-case 2021-09-21 08:00:33 +02:00
Emery Hemingway e322482d0a no preserveTypeOf 2021-09-21 08:00:33 +02:00
Emery Hemingway 2016974e95 Replace prsFoo() with foo() 2021-09-21 08:00:33 +02:00
Emery Hemingway cb4f4df4f1 No date comment 2021-09-21 08:00:33 +02:00
Emery Hemingway 3c39f54962 Stop using preserveTypeOf 2021-09-08 11:16:42 +02:00
Emery Hemingway c9c7744531 Do not emit (Preserve | Preserve) types 2021-09-08 11:16:42 +02:00
Emery Hemingway d9cf6dbab4 Fix definition of empty records 2021-09-08 11:16:42 +02:00
Emery Hemingway 13854f88c7 Do not export case…of labels 2021-09-08 11:16:42 +02:00
Emery Hemingway dffd52965b Add some utilities 2021-09-08 11:16:42 +02:00
Emery Hemingway e6d07ba924 Revert Preserve to a concrete type 
A generic type with an embedded type is too much hassle with the
type system. Add an "embedded" flag on "Preserve" to mark if a
value should be considered as embedded.
 2021-09-08 11:16:40 +02:00
Emery Hemingway 9ed18c279c Release 1.0.0 2021-09-01 13:32:26 +02:00
Emery Hemingway 53642eef83 Add preserves_schema_nim utilty 
A utility for generating code from Preserves schema.
 2021-09-01 11:35:44 +02:00
Emery Hemingway 91bf449f6b Unlicense 2021-08-31 17:00:00 +02:00
Emery Hemingway d671a2ac22 Include support in schemas 2021-08-31 16:49:50 +02:00
Emery Hemingway 5ca277b8c0 Embedded types 2021-08-31 16:48:55 +02:00
Emery Hemingway 41b1328e4e Move JSON specifics to preserves/jsonhooks 2021-08-28 11:31:58 +02:00
Emery Hemingway 5aaac95ca1 Remove % operator 
Use toPreserves, % is not compatible with a parameterized Preserve
type.
 2021-08-28 11:25:04 +02:00
Emery Hemingway 338a468466 Schemas: allow CompoundPatterns in AltPatterns 2021-08-28 11:25:04 +02:00
Emery Hemingway d67482fad8 Do not throw from preserveTo or fromPreserve 
Return an Option or boolean value. This makes it cheap to test if
a Preserves value is convertable to a Nim type.
 2021-08-27 22:35:37 +02:00
Emery Hemingway 8341360741 Restore record pragma handling 2021-08-24 18:00:58 +02:00
Emery Hemingway f6a9d27ca2 Drop '=' when parsing alt symbols 2021-08-24 18:00:58 +02:00
Emery Hemingway 1644736625 Support '.' in Ref 2021-08-24 18:00:58 +02:00
Emery Hemingway c449d41759 Drop bad assertions, improve error message 2021-08-24 18:00:58 +02:00
Emery Hemingway 50b71b8651 Schemas: fix embedded pattern 2021-08-24 18:00:58 +02:00
Emery Hemingway 16c8ce62ff Move some stuff around 2021-08-24 18:00:57 +02:00
Emery Hemingway 7359f1cac2 Schemas 2021-08-24 18:00:03 +02:00
Emery Hemingway dd0937f70b Dereference distinct types in fromPreserves 2021-08-11 13:06:19 +02:00
Emery Hemingway 84e9d00e1d Initialize bigint 2021-08-11 13:06:19 +02:00
Emery Hemingway 26faea8d91 fix `$` for records 2021-08-11 13:06:19 +02:00
Emery Hemingway 99b0ddbb13 Textual parser 2021-08-11 13:06:16 +02:00
Emery Hemingway 30bfaa8c00 Rewrite some of `%` 2021-07-16 19:13:10 +02:00
Emery Hemingway 713f9d00d3 Add `%` operator 
Reuse the `%` operator from json module for consistency.
 2021-07-09 16:56:09 +02:00
Emery Hemingway f0c1ebe85e Add isNil for Preserve 
Not a ref type, but add `isNil` for checking if a Perserve is
zero-initialized.
 2021-07-09 12:24:51 +02:00
Emery Hemingway 8985060055 Add items iterator 
Iterates over all child items in a Preserve.
 2021-07-09 12:24:29 +02:00
Emery Hemingway be8ad62f99 Infix operator % for constructing records 2021-07-07 12:50:57 +02:00
Emery Hemingway 24d974b91f Get RecordClass of tuple types 2021-07-01 12:48:07 +02:00
Emery Hemingway 2eda0fc9a7 Add {.unpreservable.} pragma 2021-07-01 12:47:30 +02:00
Emery Hemingway 376c0e04c5 Add a {.record: "label".} pragma 
A pragma for serializing tuples and objects to or from records.
 2021-06-28 17:39:27 +02:00
Emery Hemingway 5aa5ccbd09 Move utilities for records to a seperate module 2021-06-28 17:38:41 +02:00
Emery Hemingway dddf82eedd Store record labels behind fields 2021-06-24 17:33:02 +02:00
Emery Hemingway 6ebb752690 Store embedded values as pointers 
Reduce Preserve from a generic to a concrete type.
 2021-06-15 18:51:13 +02:00
Emery Hemingway 32ce6a71fe Implement set with HashSet rather than CountTable 
I didn't know HashSet was a thing.
 2021-06-15 16:02:14 +02:00
Emery Hemingway db3e302067 setItems iterator 2021-06-10 12:08:34 +02:00
Emery Hemingway b099475d25 Record utilities 2021-06-08 14:15:12 +02:00
Emery Hemingway b5940cfe22 Symbol constructor 2021-06-08 12:22:31 +02:00
Emery Hemingway bfb0825721 Bigint fixes 
* Native and big integer comparison
* Refuse to serialize negative big ints for now
 2021-06-04 11:41:34 +02:00
Emery Hemingway d63dfad954 Initial commit 2021-06-02 15:51:36 +02:00