Ayaz Hafiz
51faeaf9af
Fix doc comment
2022-08-15 11:11:37 -05:00
Ayaz Hafiz
3770db5d70
Add test for underivable optional record
2022-08-15 11:11:37 -05:00
Ayaz Hafiz
68441479b8
Add decoding record derive key tests
2022-08-15 11:11:37 -05:00
Ayaz Hafiz
ed23461165
Only open extension variable when feature is turned on
2022-08-15 11:11:36 -05:00
Ayaz Hafiz
0f58328d3d
Use wrap_in_decode_custom_decode_with for decode record
2022-08-15 11:11:36 -05:00
Ayaz Hafiz
44a746b473
Update derive decoder test
2022-08-15 11:11:36 -05:00
Ayaz Hafiz
f95c5aee12
Check in derived record impl
2022-08-15 11:11:33 -05:00
Ayaz Hafiz
66f75b86ee
Fix ROC_PRINT_UNIFICATIONS_DERIVED
2022-08-15 11:11:33 -05:00
Ayaz Hafiz
c81eecd644
Print back records without trailing comma
2022-08-15 11:11:31 -05:00
Ayaz Hafiz
0fd467ca01
Print back record updates
2022-08-15 11:11:31 -05:00
Ayaz Hafiz
e1359c3025
Print back tags appropriately
2022-08-15 11:11:31 -05:00
Richard Feldman
bff2852639
Add an initial record decoding test
2022-08-15 11:11:31 -05:00
dependabot[bot]
4c6ad52c47
Bump indoc from 1.0.6 to 1.0.7
...
Bumps [indoc](https://github.com/dtolnay/indoc ) from 1.0.6 to 1.0.7.
- [Release notes](https://github.com/dtolnay/indoc/releases )
- [Commits](https://github.com/dtolnay/indoc/compare/1.0.6...1.0.7 )
---
updated-dependencies:
- dependency-name: indoc
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-08-15 13:18:18 +00:00
Folkert
ed055a0bd8
fix compile error in test
2022-08-13 19:05:45 +02:00
dependabot[bot]
7ab742dd1a
Bump insta from 1.15.0 to 1.18.2
...
Bumps [insta](https://github.com/mitsuhiko/insta ) from 1.15.0 to 1.18.2.
- [Release notes](https://github.com/mitsuhiko/insta/releases )
- [Changelog](https://github.com/mitsuhiko/insta/blob/master/CHANGELOG.md )
- [Commits](https://github.com/mitsuhiko/insta/compare/1.15.0...1.18.2 )
---
updated-dependencies:
- dependency-name: insta
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-08-13 16:49:28 +00:00
Ayaz
d4e81ccbd2
Merge pull request #3695 from rtfeldman/derive-decoding-list
...
Derive decoding for lists!
2022-08-05 10:41:24 -05:00
Richard Feldman
26ee1a01bc
Merge pull request #3691 from rtfeldman/cargo_verson_change
...
changed Cargo versions from 0.1.0 to 0.0.1
2022-08-05 09:13:04 -04:00
Ayaz Hafiz
de3a12167b
Wrap list decoders in Decode.custom for now
...
Otherwise we get some weird panics in borrow, I think something is going
wrong with let-generalization
2022-08-03 16:09:22 -05:00
Ayaz Hafiz
8a0dedc975
Allow unused mut variable
2022-08-03 16:08:36 -05:00
Ayaz Hafiz
ab3ff6e842
Add a list decoder
2022-08-03 14:57:38 -05:00
Ayaz Hafiz
429ebbc830
Have v! macro specify what it needs itself
2022-08-03 14:57:16 -05:00
Ayaz Hafiz
e2179348c6
Add derive keys for decoders
2022-08-03 08:56:25 -05:00
Anton-4
6a15a7b41b
changed Cargo versions from 0.1.0 to 0.0.1
2022-08-03 11:41:19 +02:00
Ayaz
d0890e0694
Merge pull request #3677 from rtfeldman/refactor-derive-tests
...
Refactor deriving tests to put testing utilities in separate module
2022-08-02 21:04:03 -05:00
Ayaz Hafiz
3ec68fb3ef
Update type variables in derive tests
2022-08-02 16:16:12 -05:00
Ayaz Hafiz
9877224678
Turn on deriver tests that work again
...
Blocked on #3643
2022-08-02 16:15:35 -05:00
Ayaz Hafiz
05d8bca0fb
Move DeriveBuiltin to derive_key
2022-08-02 14:29:49 -05:00
Ayaz Hafiz
6f06a59cdf
Condition derive tests on derived method
2022-08-02 14:28:20 -05:00
Ayaz Hafiz
c3383da994
Refactor deriving tests to put testing utilities in separate module
...
As we prepare to add derivers for Decoders, we'll want to use this same
infrastructure for Decoder derive tests. This pulls out the common test
infrastructure into a separate module under test_derive.
2022-08-02 14:28:20 -05:00
Ayaz
6b6f240acb
Merge pull request #3589 from rtfeldman/can-abilities3
...
Canonicalize syntactic abilities: Part 3 - solving
2022-07-25 21:48:14 -05:00
Ayaz Hafiz
0525c6d616
Import both specializations and declared ability mappings
2022-07-25 10:06:49 -04:00
Ayaz Hafiz
cd0b8577ab
Have load_internal deal with separate declared/known ability specializations
2022-07-25 09:24:58 -04:00
Ayaz Hafiz
4031770836
Mark branch patterns degenerate when they don't bind symbols body needs
2022-07-22 17:26:45 -04:00
Ayaz Hafiz
e3742481f4
Improve pretty printing of derived impls
2022-07-16 12:31:06 -04:00
Ayaz Hafiz
c647973dee
Wrap list encoders in Encode.custom for now
2022-07-16 12:30:15 -04:00
Ayaz Hafiz
e83175cf75
Add a deriver for encoding lists
2022-07-16 12:30:14 -04:00
Ayaz Hafiz
568e8d9475
Remove explicit string deriving code in favor of immediate
2022-07-15 10:39:09 -04:00
Ayaz Hafiz
b782f013bd
Fix derive tests
2022-07-13 08:47:39 -04:00
Ayaz Hafiz
df9bcb1a0c
Use Derived_synth for synthesizing implementations, and Derived_gen for codegen
2022-07-13 08:47:39 -04:00
Ayaz Hafiz
9a01117536
Fix compile errors
2022-07-13 08:47:37 -04:00
Ayaz Hafiz
a17748ea01
Wrap toEncoder derivers in Encode.custom for now
2022-07-13 08:47:37 -04:00
Ayaz Hafiz
9caa09b2c0
Include type, symbol header in derived goldens
2022-07-13 08:47:36 -04:00
Ayaz Hafiz
fd9dcd8551
Have derivers rely only on exposed module types
2022-07-13 08:47:35 -04:00
Ayaz Hafiz
e8fb186d79
Load derived member impls into derived module for mono
2022-07-13 08:47:34 -04:00
Ayaz Hafiz
6985b2b6a1
Pretty print opaque wrap functions
2022-07-12 21:15:14 -04:00
Richard Feldman
c45e3ec4b4
Merge remote-tracking branch 'origin/trunk' into fix-nested-imports
2022-07-10 08:52:38 -04:00
Richard Feldman
f45e3dbb46
Fix tests
2022-07-08 18:16:08 -04:00
Ayaz Hafiz
f3e16b5460
Ignore some deriver tests for now
2022-07-06 13:08:58 -04:00
Anton-4
eee85fa45d
moved all crates into seperate folder + related path fixes
2022-07-01 17:37:43 +02:00
