Scol

Found type and expected type are reversed.

In typmisc.cpp, the TPunif function should be :

int TPunif(mmachine m, manlyz z,int x,int y)
{
    int k,l;

    if ((l=TPunif2(m,z,x,y))==0) return 0;
    MMpushNoGC(m,x);
    if (MMpush(m,y)) return MERRMEM;
    if (k=TPsolvenode(m)) return k;
    if (MMpush(m,MMget(m,1))) return MERRMEM;
    if (k=TPsolvenode(m)) return k;
  //$BB put error message into z manlyz structure buffer
  sprintf(z->mess,">>> ERROR - Type mismatch (detail):\nExpected:    %s\nFound: %s\n<<<\n",
    //MMechostr(MSKRUNTIME,">>> ERROR - Type mismatch (detail):\nFound:    %s\nExpected: %s\n<<<\n",
        MMstart(m,MMget(m,0)>>1),MMstart(m,MMget(m,1)>>1));
    return l;
}