summaryrefslogtreecommitdiff
path: root/typing.ml
AgeCommit message (Expand)AuthorFilesLines
2009-01-23[petitcaml] Improve list types printingGuillaume Seguin1-1/+6
2009-01-23[petitcaml] Fix indentGuillaume Seguin1-38/+40
2009-01-23[petitcaml] Fix typoGuillaume Seguin1-1/+1
2009-01-23[petitcaml] Fix an obnoxious bug in environment free vars updateGuillaume Seguin1-7/+5
2009-01-23[petitcaml] Fix stupid typosGuillaume Seguin1-6/+3
2009-01-23[petitcaml] Don't generalize recursive function names bindingsGuillaume Seguin1-1/+1
2009-01-23[petitcaml] Cleanup products unificationGuillaume Seguin1-11/+2
2009-01-23[petitcaml] Rename print_type to format_typeGuillaume Seguin1-7/+7
2009-01-23[petitcaml] Simplify function name handling through motifs usageGuillaume Seguin1-21/+9
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
generated by cgit v1.1 at 2022-08-18 14:17:08 +0000