changed type() to typeof() in docs and error messages (#14084)

This commit is contained in:
hlaaftana 2020-04-24 10:22:12 +03:00 • committed by GitHub
commit b2141fc2a1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 13 additions and 13 deletions

View file

@ -619,7 +619,7 @@ type is an instance of it:
type
Functor[A] = concept f
type MatchedGenericType = genericHead(f.type)
type MatchedGenericType = genericHead(typeof(f))
# `f` will be a value of a type such as `Option[T]`
# `MatchedGenericType` will become the `Option` type
@ -652,7 +652,7 @@ matched to a concrete type:
t1 < t2 is bool
type TimeSpan = type(t1 - t2)
type TimeSpan = typeof(t1 - t2)
TimeSpan * int is TimeSpan
TimeSpan + TimeSpan is TimeSpan