Test Result : LambdaTypeTest
0 failures
(±0)
19 tests
(±0)
All Tests
Test name | Duration | Status |
---|---|---|
testAbstractionExplicitVariableType | 2 ms | Passed |
testAbstractionImplicitVariableType | 2 ms | Passed |
testAbstractionWithArithmetics | 4 ms | Passed |
testApplicationType | 4 ms | Passed |
testApplicationType2 | 3 ms | Passed |
testArithmeticsConstantType | 3 ms | Passed |
testArithmeticsFails | 1 ms | Passed |
testArithmeticsWithTypeVariable | 3 ms | Passed |
testCompose | 3 ms | Passed |
testCompose2 | 4 ms | Passed |
testCompose3 | 5 ms | Passed |
testExplicitParamType | 2 ms | Passed |
testExplicitVariableType | 2 ms | Passed |
testImplicitParamType | 1 ms | Passed |
testImplicitVariableType | 3 ms | Passed |
testIntConstantType | 1 ms | Passed |
testOmega | 6 ms | Passed |
testOmega2 | 4 ms | Passed |
testStringConstantType | 3 ms | Passed |