1 files changed, 16 insertions, 0 deletions
diff --git a/TODO b/TODO
new file mode 100644
index 0000000000..05684eb619
--- /dev/null
+++ b/TODO
@@ -0,0 +1,16 @@
+Ideas and things to be done, in random order
+============================================
+
+* Private members that are specialized should be name-mangled. The are
+  now turned to 'protected'. Probably 'expandName' is enough (keep the old
+  symbols).
+
+* specialize methods only when representation changes (basically when
+  value parameters have naked type parameters or arrays of naked type
+  params).
+
+* handle specialized type members (whatever that may mean)
+
+* Could we have better runtime types for specialized instances?
+
+* Could we have user provided specializations?