From eec0e9b2111208c6f0bab8ec5d06c63e4432fb9e Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <p.giarrusso@gmail.com>
Date: Mon, 7 Nov 2016 20:46:10 +0100
Subject: Resync copy of the type diagram in docs

Also add a note that the two diagrams should be kept in sync, both ways,
so there's a chance that the copies are kept in sync.

Alternatively one could drop a copy.
---
 src/dotty/tools/dotc/core/Types.scala | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/dotty/tools/dotc/core/Types.scala')

diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index ce308412b..ae248295c 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -73,6 +73,8 @@ object Types {
    *                       +- NoPrefix
    *                       +- ErrorType
    *                       +- WildcardType
+   *
+   *  Note: please keep in sync with copy in `docs/docs/internals/type-system.md`.
    */
   abstract class Type extends DotClass with Hashable with printing.Showable {
 
-- 
cgit v1.2.3