summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
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),
}