fedora-ocaml

Clone
Source Code
GIT

c8273a1 merge branches/record-disambiguation

Merged and Committed by Jacques Garrigue 11 years ago
raw patch tree
705510eef963279a5353f2152dc7f5fe9a917835 17fc404e78a36709009cca454e7cf2de75f5ccc1
25 files changed. 1216 lines added. 178 lines removed.
man/ocamlc.m
file modified
+1 -1
testsuite/makefiles/Makefile.toplevel
file modified
+2 -2
testsuite/tests/typing-gadts/test.ml.reference
file modified
+1 -2
testsuite/tests/typing-misc/records.ml
file modified
+13 -7
testsuite/tests/typing-misc/records.ml.principal.reference
file added
+50
testsuite/tests/typing-misc/records.ml.reference
file modified
+25 -15
testsuite/tests/typing-warnings/Makefile
file added
+16
testsuite/tests/typing-warnings/records.ml
file added
+128
testsuite/tests/typing-warnings/records.ml.principal.reference
file added
+151
testsuite/tests/typing-warnings/records.ml.reference
file added
+147
typing/ctype.ml
file modified
+15 -0
typing/ctype.mli
file modified
+5 -0
typing/env.ml
file modified
+134 -56
typing/env.mli
file modified
+17 -10
typing/ident.ml
file modified
+28 -4
typing/ident.mli
file modified
+3 -1
typing/parmatch.ml
file modified
+2 -2
typing/printtyp.ml
file modified
+34 -0
typing/printtyp.mli
file modified
+4 -0
typing/typecore.ml
file modified
+381 -74
typing/typecore.mli
file modified
+3 -0
typing/typetexp.ml
file modified
+19 -2
typing/typetexp.mli
file modified
+15 -0
utils/warnings.ml
file modified
+20 -2
utils/warnings.mli
file modified
+2 -0 
    merge branches/record-disambiguation
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
file modified
+1 -1
file modified
+2 -2
file modified
+1 -2
file modified
+13 -7
file added
+50
file modified
+25 -15
file added
+16
file added
+128
file added
+151
file added
+147
file modified
+15 -0
file modified
+5 -0
file modified
+134 -56
file modified
+17 -10
file modified
+28 -4
file modified
+3 -1
file modified
+2 -2
file modified
+34 -0
file modified
+4 -0
file modified
+381 -74
file modified
+3 -0
file modified
+19 -2
file modified
+15 -0
file modified
+20 -2
file modified
+2 -0
Powered by Pagure 5.13.3
Documentation • File an Issue • About • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.