summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-04-12 18:00:06 +0200
committerNadrieril2019-04-12 18:00:06 +0200
commit74e25dbf678196cd6b1e91d9ae83f445efaad2e2 (patch)
tree4d00dd661ee4faed27acffc677e46127fa3e8d3f /dhall
parentf7193b64b2ec2d57f996403e6f27d2711c15a07e (diff)
Remove any remains from the standard or `dhall-haskell`
Diffstat (limited to 'dhall')
-rw-r--r--dhall/src/typecheck.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 5a28089..e854927 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -304,8 +304,8 @@ macro_rules! ensure_is_const {
};
}
-/// Type-check an expression and return the expression alongside its type
-/// if type-checking succeeded, or an error if type-checking failed
+/// Type-check an expression and return the expression alongside its type if type-checking
+/// succeeded, or an error if type-checking failed
pub fn type_with(
ctx: &Context<Label, Type<'static>>,
e: SubExpr<X, Normalized<'static>>,