PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

remove Context::Fallible implementations

Browse Source
This commit is contained in:
AF 2023-07-06 03:49:36 +00:00
parent 521702ba99
commit 8c033ed044
4 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/rcore/context.rs
View File

@ -1,9 +1,7 @@
use super::*; use super::*;
/// Execution context. /// Execution context.
pub trait Context<'a>: pub trait Context<'a>: FallibleCtx<'a, T = Self::_Tm> {
FallibleCtx<'a, T = Self::_Tm>
{
/// Type to provide for [Monad]ic representation of computation, mostly that of resolution ([`Resolution`]). /// Type to provide for [Monad]ic representation of computation, mostly that of resolution ([`Resolution`]).
type _Tm: Monad<'a>; type _Tm: Monad<'a>;

2
src/testing.rs
View File

@ -75,8 +75,6 @@ impl<'a> FallibleCtx<'a> for TestContextPlain {
impl<'a> Context<'a> for TestContextPlain { impl<'a> Context<'a> for TestContextPlain {
type _Tm = Self::T; type _Tm = Self::T;
type Fallible = instances::result::ResultFailAny;
type D = NoDiagnostic; type D = NoDiagnostic;
type LookupError = TestLookupError<'a>; type LookupError = TestLookupError<'a>;

2
src/testing/counted.rs
View File

@ -18,8 +18,6 @@ impl<'a> FallibleCtx<'a> for TestContextCounted {
impl<'a> Context<'a> for TestContextCounted { impl<'a> Context<'a> for TestContextCounted {
type _Tm = Self::T; type _Tm = Self::T;
type Fallible = instances::result::ResultFailOver<Self::T>;
type D = NoDiagnostic; type D = NoDiagnostic;
type LookupError = TestLookupError<'a>; type LookupError = TestLookupError<'a>;

2
src/testing/traced.rs
View File

@ -17,8 +17,6 @@ impl<'a> FallibleCtx<'a> for TestContextTraced {
impl<'a> Context<'a> for TestContextTraced { impl<'a> Context<'a> for TestContextTraced {
type _Tm = Self::T; type _Tm = Self::T;
type Fallible = instances::result::ResultFailOver<Self::T>;
type D = TracedDiagnostic; type D = TracedDiagnostic;
type LookupError = TestLookupError<'a>; type LookupError = TestLookupError<'a>;