From b9581de5c4fae00f951b9812962c351a7d5f05b8 Mon Sep 17 00:00:00 2001 From: timofey Date: Sat, 29 Jul 2023 19:53:14 +0000 Subject: [PATCH] `Mode::ExtensionSource` --- src/rcore/modes.rs | 4 ++++ src/rstd/inlining/modes.rs | 2 ++ 2 files changed, 6 insertions(+) diff --git a/src/rcore/modes.rs b/src/rcore/modes.rs index f16a7a7..38a6bd0 100644 --- a/src/rcore/modes.rs +++ b/src/rcore/modes.rs @@ -7,6 +7,8 @@ pub trait Mode { type ExtensionResult; + type ExtensionSource; + fn map_err( result: Self::ParseResult, f: impl FnOnce(E0) -> E1, @@ -106,6 +108,8 @@ impl Mode for RegularMode { type ExtensionResult = Result; + type ExtensionSource = A; + fn map_err( result: Self::ParseResult, f: impl FnOnce(E0) -> E1, diff --git a/src/rstd/inlining/modes.rs b/src/rstd/inlining/modes.rs index 5840288..5402be9 100644 --- a/src/rstd/inlining/modes.rs +++ b/src/rstd/inlining/modes.rs @@ -7,6 +7,8 @@ impl Mode for InliningMode { type ExtensionResult = E; + type ExtensionSource = (); + fn map_err( result: Self::ParseResult, f: impl FnOnce(E0) -> E1,