Commit Graph

465 Commits

Author SHA1 Message Date
35a8308e9f use Demoted in typeless 2023-07-01 14:31:08 +00:00
4bdac0336d InCtx for Demoted 2023-07-01 14:27:19 +00:00
f8a8620aff Inlining for Demoted 2023-07-01 14:24:11 +00:00
62b631d33d InCtx::demote 2023-07-01 14:20:23 +00:00
0edcafad2a Demoted 2023-07-01 14:08:57 +00:00
0f031109a6 TakesPoints docs 2023-07-01 02:12:20 +00:00
7a4c06b4ac ResolverMap docs 2023-07-01 01:00:52 +00:00
0cb07f105f InliningResultExt docs 2023-07-01 01:00:08 +00:00
32012615b4 InliningExt docs 2023-07-01 00:59:41 +00:00
39513d7946 Fctr docs 2023-07-01 00:58:15 +00:00
785f7b7746 ParseErrorA docs 2023-07-01 00:57:28 +00:00
6b20d5f9bb ParseError docs 2023-07-01 00:56:47 +00:00
28478ce7db Mtbl docs 2023-07-01 00:55:48 +00:00
237128d994 ParseResultA docs 2023-07-01 00:54:15 +00:00
d29e70fcc5 ResolverMap::resolve_map docs 2023-07-01 00:40:41 +00:00
29438fc2ec HashResolutionResult docs 2023-07-01 00:27:48 +00:00
6c635571ed LookupError docs 2023-07-01 00:25:01 +00:00
5cb2648965 LookupError re-export 2023-07-01 00:23:28 +00:00
85b9ba0701 ResolutionError::map_parse docs 2023-07-01 00:22:52 +00:00
80b349b532 Point::resolve_map docs 2023-07-01 00:20:14 +00:00
32f4b46a44 Origin docs 2023-07-01 00:15:49 +00:00
f326b8385d remove Addresses::next_point 2023-07-01 00:13:02 +00:00
e97af875cb InCtx docs 2023-07-01 00:09:16 +00:00
9d189d2e8e InliningExt docs 2023-07-01 00:05:43 +00:00
7e4966e2b8 Inlining docs 2023-07-01 00:02:16 +00:00
d9d50e8bc0 restrict DeCtx visibility 2023-06-30 23:56:52 +00:00
d0edd0e811 restrict DeCtxT visibility 2023-06-30 23:55:07 +00:00
d66dd19d16 improve Context::Fallible docs 2023-06-30 23:54:43 +00:00
cdf8726c5a restrict ControlFlowInstance visibility 2023-06-30 23:43:29 +00:00
b06c9c8f9f simplify DeCtxT::ad 2023-06-30 23:33:00 +00:00
98ce4b0e13 adr -> ad 2023-06-30 23:32:09 +00:00
540fdce02a simplify NullableFactory::deserialize 2023-06-30 23:14:58 +00:00
b0077e0756 simplify TreeFactory::deserialize 2023-06-30 23:12:56 +00:00
d6c4ca11b5 StackNodeFactory::parse_point 2023-06-30 23:11:02 +00:00
75d68e54ba simplify StackNode deserialisation 2023-06-30 23:09:57 +00:00
f27e9625e8 simplify bool::a_deserialize 2023-06-30 23:02:13 +00:00
03a809e92b simplify u64::a_deserialize 2023-06-30 23:01:33 +00:00
ef4cacd650 InliningResultExt 2023-06-30 23:00:20 +00:00
d6adc543a7 InCtx in Factory::deserialize 2023-06-30 22:46:38 +00:00
a72d2ed441 remove o_deserialise 2023-06-30 22:30:01 +00:00
2b06b93268 simplify o_deserialise 2023-06-30 22:28:16 +00:00
4f13bb73ca a_deserialize inlining 2023-06-30 22:27:31 +00:00
d330a1e66e rcore::dectx 2023-06-30 22:21:34 +00:00
23cc08ddf5 move Inlining for Deserializer to rcore 2023-06-30 22:17:34 +00:00
702bff3276 move Inlining for DeCtx to rcore 2023-06-30 22:16:45 +00:00
749268f438 move InCtx for DeCtx to rcore 2023-06-30 22:14:08 +00:00
e9e7ffb57d rcore::inctx 2023-06-30 22:12:47 +00:00
f6cc23ff5f EmptyInject 2023-06-30 22:05:33 +00:00
bab0b4169e inlining dyn box 2023-06-30 22:02:38 +00:00
c016fa44e6 ResultDyn 2023-06-30 21:51:39 +00:00