ethScript

build

etac ("Test --typecheck") "-libpath $(testpath) --typecheck" {
    arrayassign1.eta;
    arrayassign2.eta;
    arrayassign3.eta;
    arrayassign4.eta;
    arrayassign5.eta;
    arrayassign6.eta;
    arrayindex1.eta;
    arrayindex2.eta;
    arrayindex3.eta;
    arrayindex4.eta;
    arrayindexfail.eta (Semantic, "Expression not indexable");
    arrayinits.eta;
    badarray1.eta;
    badarray2.eta;
    badarray3.eta;
    badeti.eti (Semantic, "Mismatch in type of function f among interfaces/programs");
    badetiparse.eti (Syntax, "use");
    badetiparseuse.eta (Syntax, "use");
    badetiuse.eta (Semantic, "Mismatch in type of function f among interfaces/programs");
    badprocedurecalls.eta (Semantic, "Procedures may not return any values");
    booleanprecedence.eta;
    concatarray.eta;
    eti1.eti;
    eti2.eti;
    eti3.eti;
    exampleprogram.eta;
    fun1.eta (Semantic, "Invalid function shadowing");
    guardif.eta;
    guardwhile.eta;
    implementalleti.eta;
    indexfunctionbad.eta;
    int1.eti;
    invalidarrayassign.eta (Semantic, "Type mismatch on array assignment");
    length.eta;
    multiassign1.eta;
    multiassign2.eta;
    multiassign3.eta;
    multiassign4.eta;
    multiassignfail1.eta (Semantic, "Number of assignment targets mismatch from function");
    multiassignfail2.eta (Semantic, "Number of assignment targets does not match number of assignments");
    multiassignfail3.eta (Semantic, "Shadowing old variable x in multiassignment");
    multiassigntwicescope.eta;
    multipletypesinarray.eta (Semantic, "Array elements must be consistent type");
    multipletypesinarray2.eta (Semantic, "Array elements must be consistent type");
    mutuallyrecursive.eta;
    noimplementalleti.eta;
    procedurecalls.eta;
    recursivefunctions.eta;
    samefunction.eti;
    shadow1.eta (Semantic, "Cannot assign to non-assignable of type function");
    shadow2.eta (Semantic, "Invalid function shadowing");
    unaryoperations.eta;
    unaryoperationsfail1.eta (Semantic, "Not must be applied to boolean");
    unaryoperationsfail2.eta (Semantic, "Negative must be applied to integer");
    unboundvariable.eta (Semantic, "Cannot assign to non-assignable of type null");
    usecompatibleetis.eta;
    useincompatibleetis.eta (Semantic, "incompatible types in interface (not a real error message)");
    validarrayassign.eta;
    variableassign.eta (Semantic, "Cannot assign type bool to variable of type int");
    variableshadowing.eta (Semantic, "function parameter n shadows variable in global scope");
    wrongargument1.eta (Semantic, "type mismatch as argument to function");
    wrongargument2.eta (Semantic, "type mismatch as argument to function");
    wrongfunctionoutput.eta (Semantic, "Assigned expression type does not match expected type bool");
    wrongtypeinarrayassign.eta (Semantic, "Assigned expression type does not match expected type ast.Primitive$INT@527e5409");
}