summaryrefslogtreecommitdiff
path: root/tests/typing
AgeCommit message (Collapse)AuthorFilesLines
2009-01-23[petitcaml] Add new mini additionnal test for lists of tuplesGuillaume Seguin1-0/+2
2009-01-23[petitcaml] Improve list types printingGuillaume Seguin1-1/+1
2009-01-23[petitcaml] Add partial call typing testGuillaume Seguin1-0/+9
2009-01-23[petitcaml] Verify expected types in unit testsGuillaume Seguin7-0/+60
2009-01-22[petitcaml] Update tests expected errorsGuillaume Seguin2-2/+2
2009-01-15[petitcaml] Add another localisation testGuillaume Seguin1-0/+9
2009-01-15[petitcaml] Fix another bunch of error localisation bugsGuillaume Seguin2-2/+2
2009-01-15[petitcaml] Fix localisation of errors inside callsGuillaume Seguin1-0/+8
2009-01-14[petitcaml] Make it actually workGuillaume Seguin2-1/+10
2009-01-10[petitcaml] Add new test (ackermann function)Guillaume Seguin1-0/+7
2009-01-10[petitcaml] Import unit testsGuillaume Seguin18-0/+187