index
:
delta/ocaml.git
3.08
3.09
3.10
3.11
3.12
4.00
4.00-with-binannot
4.01
4.02
4.03
4.04
4.05
4.06
4.07
4.08
4.09
4.10
4.11
4.12
4.13
4.14
5.0
5.1
FSF
MPR7048
MPR7609
MPR7609-continued
MPR7638
MPR7642
PR7042
abstract-new
abstract_intel_emit
abstract_x86_asm
afrisch_fix_reachable_words
afrisch_fix_stdlib_makefile_windows
annot-from-lambda
arm-literals
arm64
ast_rewriter
atomic_write_cmi
attributes
autofocus
backend-optims
big-marshal
binary-annot
binary-compat
build-with-debugging-informations
cc-optim
cducetrunk
class-with-type
cmm-mach-types
constructors_with_record
constructors_with_record2
constructors_with_record3
constructors_with_record4
constructors_with_record5
contracts
contracts-3.11
contribution_workflow
delegate
deprecated_optional_arguments
disable_unused_warnings_for_print_types
doc2attr
doc_windows_unicode
dothat
dwarf
dynamic_loading
dynamics
dyntypes
enter-mod-decl
ephemeron
exception_registration
execvpe
expoly
extension_points
fastclass
faster-testsuite
fix-32bit-warning
fix-getwd-use
fix_7657
fix_7680
fix_7682
fix_large_file_lseek_windows
fix_mingw
fix_ocamllex
fixedtypes
flambda
flambda_trunk
fmu
fstclassmod
fstclassmod_parametrized
gadt-warnings
gadts
gadts-devel
gadts-devel-lenormand
gcaml
gcaml3
gcaml3090
gcaml3101
ground_coercion
hex-float
hidden_args
implicit-subtyping
implicit-unpack
implicits
improve-PIC-and-PIE
improve_arg_read_arg
inline-more
inplace_let
ios-support
jo311
jo312
jo400
jo401
jocamltrunk
jocamltrunk+cduce
labltk
let_open_in_classes
letopen
letopenin
lightlabels
located_errors
m7100_gc_when_many_custom_blocks_in_minor_heap
map_file_omission
mark_expansive
master
menubars
merge_sig_str
metadata
minus-camlp4
mltk
module-alias
module_of_module_type
moduletypeof
monadic_let
more_unboxing
multimatch
namespaces
natdynlink
new-test-framework
newfunsyntax
newoolab
newoolab2
newoolabmult
newsysthreads
newtypein
no_internal_deprecation
non-vanishing
objvariants
ocaml-binannot
ocaml2
ocamldebug_g
ocamlmode
olabl
open_types
opt_backtrace
override
overridemethod
poly_meth
poly_meth2
polyrec
ppc64
pr/1866
pr7591
pr7661-again
pr8891
pr8908
pr8934
private_abbrevs
raise_variants
record-disambiguation
recursive_modules
remove-libnum
remove_spurious_semi_colons
resurrect-cygwin64-review-base
revert-1377-ocamldep_nested_include_fix
safe-string
short-paths
short-paths-4.01
sigsubst
simplify_duplicate_ident_optim
sse2
static_exceptions
strict_labels
stripped-ocaml
test_for_self_review
tests_asmcomp_revised
tmp-merging-3.12.1
treematch
trunk
unlabeled-1.1.2
unlabeled-1.2.2
unlabeled-1.3.2
unused_declarations
user-defined-indexing-operators
variants303
varunion
warning_attribute_on_type_exprs
win32
win32-rename
win32-sockets
with-frame-pointers
github.com: ocaml/ocaml
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
typing
Commit message (
Expand
)
Author
Age
Files
Lines
*
Adapt to stricter semantics of ';' in strict-sequence.
remove_spurious_semi_colons
alainfrisch
2017-08-29
1
-21
/
+21
*
Merge pull request #1273 from garrigue/fix_mpr7519
Leo White
2017-08-29
2
-7
/
+31
|
\
|
*
remove changes in ctype.ml and replace by a comment
Jacques Garrigue
2017-08-29
1
-2
/
+5
|
*
spurious semicolon
Jacques Garrigue
2017-08-03
1
-1
/
+1
|
*
move Ctype.generic_abbrev back to original
Jacques Garrigue
2017-08-03
1
-29
/
+29
|
*
expand all or nothing, to avoid combinatorial blow-up
Jacques Garrigue
2017-08-02
1
-15
/
+23
|
*
Fix PR#7519, but high cost in update_level
Jacques Garrigue
2017-08-02
2
-32
/
+45
*
|
M.(::) syntax and printing exotic lists in the toplevel. (#1247)
Florian Angeletti
2017-08-11
1
-2
/
+6
*
|
Typos and basic grammar error fixing (#1280)
Fourchaux
2017-08-10
12
-44
/
+44
|
/
*
merge trunk and update test
Runhang Li
2017-07-23
20
-100
/
+358
|
\
|
*
Support 'let open' in class and class type expressions (#1249)
Alain Frisch
2017-07-20
14
-12
/
+68
|
*
Fix Env.without_cmis (#1223)
Leo White
2017-07-19
1
-43
/
+113
|
*
MPR#248: remember weak variable names
octachron
2017-07-13
1
-15
/
+53
|
*
PR#7511: Unboxed type with unboxed argument should not be accepted (#1133)
Damien Doligez
2017-07-13
1
-9
/
+63
|
*
Merge pull request #1186 from Octachron/fix_packed_module_and_short_paths
Gabriel Scherer
2017-06-14
2
-5
/
+10
|
|
\
|
|
*
PR#7534: fix packed module type error reporting
octachron
2017-06-13
2
-5
/
+10
|
*
|
Merge branch 'trunk' of github.com:ocaml/ocaml into trunk
Jacques Garrigue
2017-06-12
14
-119
/
+198
|
|
\
\
|
|
*
\
Merge pull request #1142 from stedolan/assert-nonexpansive
Gabriel Scherer
2017-06-04
1
-0
/
+10
|
|
|
\
\
|
|
|
*
|
Make (raise e) nonexpansive.
Stephen Dolan
2017-05-12
1
-0
/
+8
|
|
|
*
|
Make assertions nonexpansive.
Stephen Dolan
2017-04-07
1
-0
/
+2
|
|
*
|
|
GPR#1187: cite typemod and pparse plugin hooks
octachron
2017-06-01
1
-1
/
+1
|
|
|
|
/
|
|
|
/
|
|
*
|
|
Fix PR#7348
Jacques Garrigue
2017-06-12
5
-15
/
+40
*
|
|
|
Merge branch 'trunk' into object-inherit
Runhang Li
2017-05-22
22
-417
/
+716
|
\
\
\
\
|
|
|
/
/
|
|
/
|
|
|
*
|
|
Merge pull request #1138 from alainfrisch/pr7444_deprecated_warning_upon_incl...
Alain Frisch
2017-05-15
12
-118
/
+187
|
|
\
\
\
|
|
|
/
/
|
|
/
|
|
|
|
*
|
Remove blank line to improve readability.
alainfrisch
2017-05-15
3
-6
/
+0
|
|
*
|
Cut long lines.
alainfrisch
2017-05-15
1
-2
/
+4
|
|
*
|
Class declarations create a class type declaration in signature: no need to c...
alainfrisch
2017-05-09
3
-12
/
+4
|
|
*
|
Support for modules and module types.
alainfrisch
2017-05-09
1
-6
/
+21
|
|
*
|
Support for deprecated class/class types.
alainfrisch
2017-05-09
4
-12
/
+35
|
|
*
|
Support for deprecated_mutable attribute.
alainfrisch
2017-05-09
3
-22
/
+36
|
|
*
|
Support for deprecated attribute on constructors.
alainfrisch
2017-05-09
6
-27
/
+48
|
|
*
|
Move logic from Includemod to Includecore.
alainfrisch
2017-05-09
3
-9
/
+13
|
|
*
|
Deprecation warning when checking signature inclusion
alainfrisch
2017-04-05
8
-56
/
+60
|
*
|
|
Strip big strings in toplevel (#1058)
Fabrice Le Fessant
2017-05-11
2
-3
/
+23
|
*
|
|
Fix PR#7070: Use simplified signature in generalizable check (#1139)
Leo White
2017-05-08
1
-2
/
+2
|
*
|
|
Partially remove polymorphic compare for constructor_tag (#406)
dwightguth
2017-04-28
3
-9
/
+30
|
|
|
/
|
|
/
|
|
*
|
Fixed grammar in error messages
Max Mouratov
2017-04-06
2
-2
/
+2
|
|
/
|
*
Renaming EnvTbl -> TycompTbl; EnvTbl2 -> IdTbl.
alainfrisch
2017-03-24
1
-52
/
+52
|
*
Expose a more explicit 'copy types' operation in Env (with a representation i...
alainfrisch
2017-03-24
4
-21
/
+16
|
*
Record update_value in summary.
alainfrisch
2017-03-24
1
-9
/
+15
|
*
Simplify.
alainfrisch
2017-03-24
1
-6
/
+2
|
*
Move diff_keys functions to EnvTbl/EnvTbl2.
alainfrisch
2017-03-24
1
-21
/
+23
|
*
Factorize type expression.
alainfrisch
2017-03-24
1
-8
/
+9
|
*
Cleanup.
alainfrisch
2017-03-24
1
-7
/
+5
|
*
Simplify: no need to keep the position of labels/constructors (for extension ...
alainfrisch
2017-03-24
1
-12
/
+12
|
*
Comments.
alainfrisch
2017-03-24
1
-2
/
+35
|
*
Optimize lookups by specializing Tbl.find to string keys (not strictly relate...
alainfrisch
2017-03-24
1
-15
/
+15
|
*
Do not mark opens as being used when they are only used to look for shadowed ...
alainfrisch
2017-03-24
1
-1
/
+1
|
*
Starting to switch to a layered representation of 'opens'.
alainfrisch
2017-03-24
3
-153
/
+308
|
*
Fix 'deprecated module' warning.
alainfrisch
2017-03-24
1
-9
/
+9
[next]