|
|
f2ff6b8e9d
|
use rmethods in regular stack
|
2023-07-30 22:51:23 +00:00 |
|
|
|
c1c15c1c6b
|
extract atomic_object
|
2023-07-30 20:01:23 +00:00 |
|
|
|
1b54cd4ae8
|
move ParseMode to mode
|
2023-07-30 18:55:46 +00:00 |
|
|
|
ff13bce63f
|
QInliningFactory -> CInliningFactory
|
2023-07-30 15:30:19 +00:00 |
|
|
|
cf7ff1b5b8
|
QRegularFactory -> CRegularFactory
|
2023-07-30 15:28:28 +00:00 |
|
|
|
aa914d0c89
|
QInliningFactory
|
2023-07-29 22:14:06 +00:00 |
|
|
|
c9e65ca690
|
QRegularFactory
|
2023-07-29 22:06:11 +00:00 |
|
|
|
59a771630f
|
reduce ImplMode bounds in stack
|
2023-07-29 21:39:05 +00:00 |
|
|
|
89a035bcdb
|
delete ExternalPoints
|
2023-07-29 21:34:58 +00:00 |
|
|
|
7d07f5ffea
|
"inlineable" -> "inlining"
|
2023-07-29 20:16:52 +00:00 |
|
|
|
5a5f1f5199
|
ImplMode
|
2023-07-29 20:14:00 +00:00 |
|
|
|
c288b106e3
|
loosen Point::resolve
|
2023-07-29 14:50:57 +00:00 |
|
|
|
f29ea3dbc8
|
reorder stack impls
|
2023-07-29 11:19:33 +00:00 |
|
|
|
c2a69bd384
|
ExternalPoints blanket impl
|
2023-07-29 10:44:50 +00:00 |
|
|
|
886f6b2117
|
loosen stack bounds
|
2023-07-29 10:39:30 +00:00 |
|
|
|
f08b26316f
|
ex_points_typed reformat
|
2023-07-29 10:33:11 +00:00 |
|
|
|
79f1fadf0a
|
rstd::external_points
|
2023-07-29 10:30:43 +00:00 |
|
|
|
c595be270c
|
ExternalPointsProxy
|
2023-07-29 10:11:42 +00:00 |
|
|
|
0fa540f7aa
|
ExternalPoints
|
2023-07-29 09:55:31 +00:00 |
|
|
|
2e73ca8c50
|
StackCompatibleProxy::T
|
2023-07-29 09:36:13 +00:00 |
|
|
|
7253b2402e
|
remove _Fctr from StackCompatible bound
|
2023-07-29 09:30:20 +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 |
|
|
|
d6c4ca11b5
|
StackNodeFactory::parse_point
|
2023-06-30 23:11:02 +00:00 |
|
|
|
75d68e54ba
|
simplify StackNode deserialisation
|
2023-06-30 23:09:57 +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 |
|
|
|
7dbc734c53
|
simpler StackNodeFactory::deserialize
|
2023-06-30 18:47:18 +00:00 |
|
|
|
d3d36d973d
|
DeCtx
|
2023-06-28 15:03:09 +00:00 |
|
|
|
422275bbeb
|
resolver by reference
|
2023-06-28 14:29:39 +00:00 |
|
|
|
99b87c2e29
|
Point::resolve_map
|
2023-06-23 12:31:11 +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 |
|
|
|
582dd76eab
|
controlflow isolation
|
2023-06-18 11:55:09 +00:00 |
|
|
|
5cbabbdb37
|
write!
|
2023-06-16 07:33:32 +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 |
|
|
|
5f0927c94a
|
reduce Rc usage in stack
|
2023-06-16 06:32:50 +00:00 |
|
|
|
9d3da4f97c
|
simplify StackNodeFactory
|
2023-06-16 05:22:41 +00:00 |
|
|
|
5037ee3c84
|
InlineableFactory implying Factory
|
2023-06-08 01:12:04 +00:00 |
|
|
|
692802f5de
|
more func:context usage
|
2023-05-30 15:39:48 +00:00 |
|
|
|
4352f4aa30
|
fmap reorder
|
2023-05-30 00:09:38 +00:00 |
|
|
|
906e159737
|
Monad lift lifetime
|
2023-05-26 08:52:58 +00:00 |
|
|
|
a935ba68f5
|
more type aliases
|
2023-05-25 13:46:56 +00:00 |
|
