shithub: mc

Info  •  Files  •  Log  •  Branches

Provide "default typing" for non-int numbers.

    Do I want to revisit this? Floating point may be something I
    want to avoid defaulting to if we're not sure things are ints.

    Perhaps have Tcfloat, and only default if that's been inferred?

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -564,16 +564,21 @@

 static Type *tyfix(Node *ctx, Type *t)

 {

     static Type *tyint;

+    static Type *tyfloat;

     size_t i;

     char buf[1024];

     if (!tyint)

         tyint = mkty(-1, Tyint);

+    if (!tyfloat)

+        tyfloat = mkty(-1, Tyfloat64);

     t = tf(t);

     if (t->type == Tyvar) {

         if (hascstr(t, cstrtab[Tcint]) && cstrcheck(t, tyint))

             return tyint;

+        if (hascstr(t, cstrtab[Tcnum]) && cstrcheck(t, tyfloat))

+            return tyfloat;

     } else {

         if (t->type == Tyarray)

             typesub(t->asize);