civicaml/test/basic/functional/typecheck.cvc

extern void printInt( int val);
extern void printFloat( float val);

extern int scanInt( );
extern float scanFloat( );

extern void printSpaces( int num);
extern void printNewlines( int num);

int foo(int a, float b,int c)
{
    return a+(int)b+c;
}


int fun()
{
    int a=1;
    int b=2;
    int c=3;
    int d=4;
    float w=1.0;
    float x=2.0;
    //bool q = TRUE;  This is the original line, which has a typo
    bool q = true;

    d = (int)(a<b&&c>d);
    printInt(d);//0
    printNewlines(1);

    d = foo((int)(a<c),w+x,(int)(b<d));//4
    printInt(d);//5
    printNewlines(1);


    if(b<d||a>c)
        a=7;

    return 1;
}

void bar() {
    int a = 5;
    float b = 6.0;
    int c = a + ((int)(b))* a;
    printInt(c);
    printNewlines(1);
}

export int main() {
    fun();
    bar();
    return 0;
}