diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-10-31 15:47:49 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-10-31 15:47:49 +0100 |
| commit | f547c97072881069417acd3b79b08fb7ecf40ba2 (patch) | |
| tree | 9d860b14be6bb4fae746e48f3dbdab00b28f6625 /src/model | |
| parent | 671ce3dedd40067bb5cea84fe0739de013827053 (diff) | |
Reduce usage of `finalize`
Diffstat (limited to 'src/model')
| -rw-r--r-- | src/model/show.rs | 1 | ||||
| -rw-r--r-- | src/model/vm.rs | 4 |
2 files changed, 2 insertions, 3 deletions
diff --git a/src/model/show.rs b/src/model/show.rs index 86659463..cc84e6db 100644 --- a/src/model/show.rs +++ b/src/model/show.rs @@ -28,7 +28,6 @@ pub trait Show: 'static { /// this for effects that should work even in the face of a user-defined /// show rule, for example: /// - Application of general settable properties - /// - Attaching things like semantics to a heading /// /// Defaults to just the realized content. #[allow(unused_variables)] diff --git a/src/model/vm.rs b/src/model/vm.rs index 614e2a9f..6207ffd5 100644 --- a/src/model/vm.rs +++ b/src/model/vm.rs @@ -12,7 +12,7 @@ use crate::{LangItems, World}; pub struct Vm<'a> { /// The core context. pub world: Tracked<'a, dyn World>, - /// The route of source ids the machine took to reach its current location. + /// The route of source ids the VM took to reach its current location. pub route: Tracked<'a, Route>, /// The current location. pub location: Option<SourceId>, @@ -52,7 +52,7 @@ impl<'a> Vm<'a> { } } - return Err("cannot access file system from here".into()); + Err("cannot access file system from here".into()) } /// The language items. |