Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
12,413 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

12413 Commits (e2005f02f95325f3718b99666e301851d0a71b6d)

Author SHA1 Message Date
octachron e2005f02f9 Manual: fix verbatim type errors 2016-01-14 19:56:07 +02:00
octachron 709da524e7 Manual: fix deprecated lowercase 2016-01-14 19:56:07 +02:00
octachron 4ac8df2dcf Manual: multiple locally abstract type example 2016-01-14 19:56:07 +02:00
octachron c21c473d5e Manual: fix multiple locally abstract type syntax 2016-01-14 19:55:43 +02:00
octachron 4ae8c3220f Manual: fix missing quote in verbatim environment 2016-01-14 19:54:45 +02:00
Gabriel Scherer c7b21e19c9 Merge pull request #421 from Octachron/manual_type_names 
Manual, MPR#5780:  nomenclature for existential type names
 2016-01-13 20:53:12 -05:00
octachron fb503c7c48 Manual: type variable macro for refman/exten 2016-01-14 01:48:22 +02:00
octachron 5f86dc2dbf Manual: fix existential names 2016-01-14 01:08:49 +02:00
octachron 21595becbf Manual: compiler existential name nomenclature 
This commit documents the nomenclature used for naming existential
types when these types are exposed through error messages.
 2016-01-13 19:02:02 +02:00
Mark Shinwell b06ae80441 Merge pull request #420 from mshinwell/flambda_prereq-location 
GPR#420: Add Debuginfo.to_location and Location.print_compact
 2016-01-13 16:53:57 +00:00
Mark Shinwell 22c15cc2c1 Debuginfo.to_location and Location.print_compact 2016-01-13 16:20:23 +00:00
Gabriel Scherer 235435548c Merge pull request #418 from Octachron/fix_depends 
Fix dependence file for parallel build
 2016-01-13 11:01:23 -05:00
Mark Shinwell a82755f297 Merge pull request #419 from Octachron/fix_documentation_numbers 
GPR#419: Documentation: missing escape characters
 2016-01-13 15:58:02 +00:00
octachron bf163a67e6 Documentation: missing escape characters 2016-01-13 17:48:51 +02:00
octachron c739d0e590 Update dependence file 2016-01-13 17:30:14 +02:00
Mark Shinwell 3515c04433 Missed part from GPR#360 2016-01-13 13:45:12 +01:00
Mark Shinwell fb6cb2f56e Add Flambda_pass timing pass 2016-01-13 13:41:15 +01:00
Mark Shinwell 6dd5c69302 Add comment to translmod.ml 2016-01-13 13:37:58 +01:00
Mark Shinwell 807ddfb3c7 Add comment to Obj.set_field 2016-01-13 13:35:55 +01:00
Jacques Garrigue 29c907de13 add description of refutation cases 2016-01-13 15:14:15 +09:00
Mark Shinwell 8538e9e179 Fix fallout from GPR#360 on other backends 2016-01-12 19:24:56 +01:00
Mark Shinwell 109cafb7c8 Merge pull request #413 from chambart/flambda_prereq-ident_identifiable 
GPR#413: Make the Ident module identifiable
 2016-01-12 18:18:55 +01:00
Mark Shinwell 0ac2fc54b5 Merge pull request #369 from mshinwell/flambda_prereq-scc 
GPR#369: Strongly connected components
 2016-01-12 18:18:45 +01:00
Mark Shinwell 74b8b6ab5e Merge pull request #360 from mshinwell/flambda_prereq-init_assign 
GPR#360: Propagate whether or not stores are initializing, etc.
 2016-01-12 18:18:27 +01:00
Mark Shinwell 89cb79b18c fix testsuite 2016-01-12 18:01:45 +01:00
Pierre Chambart 38ce618089 Make the Ident module identifiable 2016-01-12 18:01:25 +01:00
Mark Shinwell 1579d4aa09 Merge pull request #398 from chambart/clear_Spill.destroyed_at_fork 
GPR#398: Clear Spill.destroyed_at_fork to avoid memory blowup
 2016-01-12 17:40:02 +01:00
Mark Shinwell 9313b7db31 Merge pull request #403 from chambart/flambda_prereq-arity-0-functions 
GPR#403: Handling of functions without arguments
 2016-01-12 17:37:20 +01:00
Mark Shinwell f0f9627dc2 Merge remote-tracking branch 'chambart/flambda_prereq-init_assign' into flambda_prereq-init_assign 2016-01-12 17:06:13 +01:00
Pierre Chambart f00807aace Fix asmcomp testsuite 2016-01-12 17:04:08 +01:00
Mark Shinwell 9d9e11b94c Merge pull request #412 from mshinwell/flambda_prereq-lambda_map 
GPR#412: Add Lambda.map
 2016-01-12 17:02:32 +01:00
Damien Doligez 355c982328 PR#6574: get better backtraces in case of compiler crash 2016-01-12 16:51:35 +01:00
Mark Shinwell 2a8be79dc5 Further updates to middle_end/ only 2016-01-12 16:37:27 +01:00
Mark Shinwell 869b25cd3a Import Lambda.map 2016-01-12 16:29:29 +01:00
Pierre Chambart ce63c499b1 Fix merge problems 2016-01-12 16:29:22 +01:00
Mark Shinwell 57067d2bd2 Merge pull request #411 from mshinwell/flambda_prereq-predef 
GPR#411: Expose more things in Predef
 2016-01-12 16:18:38 +01:00
Mark Shinwell 499a66c39c Merge pull request #371 from mshinwell/flambda_prereq-split_default_wrapper 
GPR#371: Move split_default_wrapper to Simplif
 2016-01-12 16:01:18 +01:00
Mark Shinwell 91b475ef9e Predef 2016-01-12 15:57:44 +01:00
Mark Shinwell a76810c7ee More things in Predef 2016-01-12 15:50:27 +01:00
Mark Shinwell 2ff7c69704 Further updates to middle_end/ only 2016-01-12 15:45:31 +01:00
Pierre Chambart f2f0c406a5 Clear Spill.destroyed_at_fork to avoid memory blowup 2016-01-12 15:41:51 +01:00
Mark Shinwell 029e1bbbbc Merge remote-tracking branch 'ocaml/trunk' into flambda_prereq-init_assign 2016-01-12 15:33:54 +01:00
Pierre Chambart 870b75d8ea Factorise constant int taging in cmmgen 2016-01-12 15:31:02 +01:00
Pierre Chambart c96702d0f1 Handling of functions without arguments 
Assumes that functions without arguments are never indirectly called.
 2016-01-12 15:23:49 +01:00
Mark Shinwell b779463a07 Merge remote-tracking branch 'ocaml/trunk' into flambda_prereq-scc 2016-01-12 15:21:50 +01:00
Mark Shinwell f3cb90fcff Merge pull request #395 from chambart/clambda_constant_closures 
GPR#395: Add the constant_closure construction to the Clambda.ustructured_constant type
 2016-01-12 15:21:11 +01:00
Mark Shinwell cf06b87981 remake .depend 2016-01-12 15:18:58 +01:00
Mark Shinwell c00323309c Merge remote-tracking branch 'chambart/flambda_prereq-scc' into flambda_prereq-scc 2016-01-12 15:15:23 +01:00
Mark Shinwell 16c45bfe14 Merge pull request #410 from mshinwell/flambda_prereq-colours 
GPR#410: Move color_setting into Misc.Color
 2016-01-12 15:11:33 +01:00
Mark Shinwell 3b660f838a Merge pull request #394 from chambart/clambda_unreachable 
GPR#394: Add an unreachable construction to clambda
 2016-01-12 14:47:14 +01:00