From 407dacbe800b9768d971f89c7e6d57acae32cfa1 Mon Sep 17 00:00:00 2001 From: Lunfu Zhong Date: Fri, 1 Nov 2024 15:29:49 +0800 Subject: [PATCH] Fix typos. --- docs/_docs/contributing/architecture/types.md | 2 +- docs/_docs/internals/gadts.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_docs/contributing/architecture/types.md b/docs/_docs/contributing/architecture/types.md index ed8995c08643..bf96d33b6a3c 100644 --- a/docs/_docs/contributing/architecture/types.md +++ b/docs/_docs/contributing/architecture/types.md @@ -108,7 +108,7 @@ Ground Type has no meaningful underlying type, typically it is the type of metho definitions, but also union types and intersection types, along with utility types of the compiler. -Here's a diagram, serving as the mental model of the most important and distinct types available after the `typer` phase, derived from [dotty/tools/dotc/core/Types.scala][1]: +Here's a diagram, serving as the mental model of the most important and distinct types available after the `typer` phase, derived from [Types.scala]: ``` Type -+- proxy_type --+- NamedType --------+- TypeRef diff --git a/docs/_docs/internals/gadts.md b/docs/_docs/internals/gadts.md index 58f511c946c3..9a96043fc299 100644 --- a/docs/_docs/internals/gadts.md +++ b/docs/_docs/internals/gadts.md @@ -70,7 +70,7 @@ Right now, we record GADT constraints for: - function/method type parameters - class type parameters -There is a branch on the way which will also record them for type members (so path-dependent types) and singleton types. It has a paper associated: "Implementing path-depepdent GADTs for Scala 3". +There is a branch on the way which will also record them for type members (so path-dependent types) and singleton types. It has a paper associated: "Implementing path-dependent GADTs for Scala 3". ### What are necessary relationships? Any examples?