Permalink
Browse files

a TODO file with unanswered questions

  • Loading branch information...
1 parent 942df94 commit 2a18561b5ffff696843d46119a827e9c0aba9460 @alex committed Jan 7, 2012
Showing with 10 additions and 0 deletions.
  1. +10 −0 TODO.rst
View
10 TODO.rst
@@ -0,0 +1,10 @@
+To Do
+=====
+
+Resolve issues with the type system, namely:
+
+* Are the arrays in `void x(char z[])` and `struct { char x[10];}` the same
+ types?
+* What type is a `const char *` is it the same as a `char *`?
+* Can we fulfill the invariant that `type(x(*args)) is x.result_type` and still
+ have a sane type heirarchy?

0 comments on commit 2a18561

Please sign in to comment.