Commit Graph

33 Commits

Author SHA1 Message Date
3c095f0fb5 remove Ctx from bases
Some checks failed
buildbot/cargo fmt (1.72) Build done.
buildbot/cargo clippy (1.72) Build done.
buildbot/cargo doc (1.72) Build done.
buildbot/cargo test (1.65) Build done.
buildbot/cargo clippy (1.65) Build done.
2023-08-31 23:07:12 +00:00
73c2498fbf FromRef
All checks were successful
buildbot/cargo fmt (1.71) Build done.
buildbot/cargo clippy (1.71) Build done.
buildbot/cargo doc (1.71) Build done.
buildbot/cargo test (1.65) Build done.
buildbot/cargo clippy (1.65) Build done.
2023-08-11 13:30:36 +00:00
dc98e38b8f Send everything
All checks were successful
buildbot/cargo fmt (1.71) Build done.
buildbot/cargo doc (1.71) Build done.
buildbot/cargo clippy (1.71) Build done.
buildbot/cargo test (1.65) Build done.
buildbot/cargo clippy (1.65) Build done.
2023-08-11 00:14:44 +00:00
a6254d92b5 loosen is_null 2023-08-01 20:21:07 +00:00
5e85d06df6 Nullable::is_null 2023-08-01 20:17:04 +00:00
f07f0f3607 move ImplMode to mode 2023-07-30 19:00:44 +00:00
ff13bce63f QInliningFactory -> CInliningFactory 2023-07-30 15:30:19 +00:00
aa914d0c89 QInliningFactory 2023-07-29 22:14:06 +00:00
7d07f5ffea "inlineable" -> "inlining" 2023-07-29 20:16:52 +00:00
5a5f1f5199 ImplMode 2023-07-29 20:14:00 +00:00
aed81eac83 loosen InlineableFactory for NullableFactory 2023-07-29 14:42:56 +00:00
d75e7c05a8 decouple FactoryBase from MentionableTop 2023-07-29 09:23:19 +00:00
c6b3029798 MentionableTop 2023-07-29 08:46:35 +00:00
54a6912baf InliningMode 2023-07-29 00:17:27 +00:00
dd8e0322e8 rcore::modes::* renaming 2023-07-28 21:24:18 +00:00
f3eaccfa77 Factory: ModeFactory 2023-07-28 21:06:59 +00:00
57a0e3f3e3 more FactoryBase in bounds 2023-07-28 20:20:05 +00:00
f1b4e7b88e FactoryBase 2023-07-28 19:40:30 +00:00
4425b4c545 TakesPoints -> PointsVisitor 2023-07-01 14:45:01 +00:00
540fdce02a simplify NullableFactory::deserialize 2023-06-30 23:14:58 +00:00
d6adc543a7 InCtx in Factory::deserialize 2023-06-30 22:46:38 +00:00
19a55bf626 InlineableFactory::ideserialize 2023-06-30 19:01:25 +00:00
d3d36d973d DeCtx 2023-06-28 15:03:09 +00:00
422275bbeb resolver by reference 2023-06-28 14:29:39 +00:00
2683f1d5ea InlineableFactory::extension_error
closes #4
2023-06-19 13:15:07 +00:00
4b44733845 ParseResult in extend signature 2023-06-19 12:57:12 +00:00
41106290b9 TreeContext 2023-06-18 13:53:51 +00:00
e7dc834c8b match self Self 2023-06-16 07:53:07 +00:00
5081166bca Factory::extend 2023-06-16 07:06:43 +00:00
8ecc4678f7 add mentionable to unexpected_tail 2023-06-16 06:48:44 +00:00
692802f5de more func:context usage 2023-05-30 15:39:48 +00:00
906e159737 Monad lift lifetime 2023-05-26 08:52:58 +00:00
45923c401e add r prefixes to avoid confusion 2023-05-22 09:56:05 +00:00