Type check everything after an assignment. (Oops!)

xlq · Sep 1, 2012 · 27deff6 · 27deff6
1 parent 9ef7843
commit 27deff6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/type_checking.ml b/type_checking.ml
@@ -339,7 +339,7 @@ let rec type_check
                      loop (arg::bound_arguments) (i-1)
                in loop [] (Array.length parameters)
             end;
-         Unit_type
+         type_check state context tail
       end
    | Static_assert_term(loc, expr, tail) ->
       let expr, expr_t =