summaryrefslogtreecommitdiff
path: root/typing.ml
AgeCommit message (Expand)AuthorFilesLines
2009-01-22[petitcaml] Fix indenttempGuillaume Seguin1-1/+1
2009-01-22[petitcaml] Remove now-done TODOGuillaume Seguin1-2/+1
2009-01-22[petitcaml] Improve type printing a little bitGuillaume Seguin1-10/+18
2009-01-15[petitcaml] Fix another bunch of error localisation bugsGuillaume Seguin1-18/+22
2009-01-15[petitcaml] Fix localisation of errors inside callsGuillaume Seguin1-2/+4
2009-01-14[petitcaml] Comment typing.mlGuillaume Seguin1-3/+102
2009-01-14[petitcaml] Make it actually workGuillaume Seguin1-32/+42
2009-01-12[petitcaml] typing.ml : Update and fix a bad bunch of bugsGuillaume Seguin1-105/+162
2009-01-10[petitcaml] Import compiler frontendGuillaume Seguin1-0/+348