# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1366402056 -7200
# Node ID a0188e11e3d8e7ac19670761a3729a751bd044a2
# Parent  89eed32aeed38ece4421f959d80a9ba5c72bd998
Added a note about the practicality of deducing instances at compile time.

diff -r 89eed32aeed3 -r a0188e11e3d8 docs/assignment.txt
--- a/docs/assignment.txt	Wed Mar 20 00:05:37 2013 +0100
+++ b/docs/assignment.txt	Fri Apr 19 22:07:36 2013 +0200
@@ -81,3 +81,8 @@
   compatible to access the class attribute, and compatibility information is
   stored), an explicit compatibility test may not always be required at
   run-time
+
+  Definite compile-time knowledge about instance usage is likely to be
+  restricted to literal constants: in general, no assertions can be made about
+  an accessor never being a class, module or constant and therefore being an
+  instance