shithub: mc

Download patch

ref: 635dfa9043c05bc875bc5c3a77b48ea768b730f0
parent: 23318a8d0b76e1a3c52ca744cd4e2ec863e4396d
author: Ori Bernstein <[email protected]>
date: Sun Oct 7 22:13:58 EDT 2012

Improve comment about casting.

--- a/parse/infer.c
+++ b/parse/infer.c
@@ -407,7 +407,8 @@
 
 static void checkcast(Inferstate *st, Node *n)
 {
-    /* FIXME: actually verify the casts */
+    /* FIXME: actually verify the casts. Right now, it's ok to leave this
+     * unimplemented because bad casts get caught by the backend. */
 }
 
 /* Constrains a type to implement the required constraints. On