summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-08-13 17:34:38 +0200
committerNadrieril2019-08-13 17:34:38 +0200
commitcbd62bb57bcc94e0133c57437488a5af22a0b1c2 (patch)
tree49d1a2886bc1cdaec768efa57449d2a61c025eb9
parentfb0120dffe8e9552c3da7b994ad850f66dc612a3 (diff)
Typos
Diffstat (limited to '')
-rw-r--r--dhall/src/core/thunk.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs
index 38c54f7..c18014e 100644
--- a/dhall/src/core/thunk.rs
+++ b/dhall/src/core/thunk.rs
@@ -49,9 +49,9 @@ pub enum TypedThunk {
// Any value, along with (optionally) its type
Untyped(Thunk),
Typed(Thunk, Box<Type>),
- // One of the base higher-kinded typed.
+ // One of the base higher-kinded types.
// Used to avoid storing the same tower ot Type->Kind->Sort
- // over and over again. Also enables having Sort as a type
+ // over and over again. Also enables having Sort as a value
// even though it doesn't itself have a type.
Const(Const),
}