Add note from Sergei W. on subtyping

2018-09-10 21:01:46 -07:00
parent bac5761534
commit b8487aa0d4
1 changed files with 3 additions and 0 deletions
--- a/TODO.md
+++ b/TODO.md
@@ -1,6 +1,9 @@

 # TODO Items

+- a subtype is a situation where the compiler is entitled to add a type conversion in the type-checking process
+b/c that type conversion doesn't correspond to a computation 
+    -Sergei W.

 *A neat idea for pattern matching optimization would be if you could match on one of several things in a list
 ex: