matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,810 Commits 50 Branches 27 Tags 8.1 MiB
Commit Graph

1810 Commits

Author SHA1 Message Date
Jeremie Dimino d2b66279f6 Use Sys.{win32,cygwin} rather than Sys.os_type 
The former functions are optimized away while the latter isn't.

Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 17:02:51 +01:00
Jeremie Dimino 547998d6c6 Fix an issue when a file is part of several packages 
Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 13:47:55 +01:00
Rudi Grinberg c5c4b164b7
Merge pull request #813 from rgrinberg/no-interning 
Add No_interning module for easy experimentation
 2018-05-28 19:19:00 +07:00
Rudi Grinberg 2b7ee377af
Merge branch 'master' into no-interning 2018-05-28 19:18:21 +07:00
Rudi Grinberg 73889e4451
Merge pull request #815 from rgrinberg/remove-path-set-conversion 
Remove an extra conversion in rules_for_files
 2018-05-28 18:38:16 +07:00
Rudi Grinberg 665c251678
Merge branch 'master' into remove-path-set-conversion 2018-05-28 18:38:04 +07:00
Rudi Grinberg 4a0e5a76af Remove more Path <-> List conversion in rules_for_files 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 18:04:48 +07:00
Rudi Grinberg 836b27ae2b Remove an extra conversion in rules_for_files 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 17:52:05 +07:00
Rudi Grinberg 1ce3dbe401
Merge pull request #809 from rgrinberg/explode-path 
Explode path fixes
 2018-05-28 17:07:48 +07:00
Rudi Grinberg da8064893c Add No_interning module for easy experimentation 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 14:51:37 +07:00
Rudi Grinberg 2bb9895817 Make explode_path work in 1 pass 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 14:38:35 +07:00
Rudi Grinberg da469e66f0 Fix explode_path to work on absolute paths 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 14:36:40 +07:00
Rudi Grinberg 270e1ce846
Merge pull request #810 from rgrinberg/suffix-prefix-fast 
Check suffix and prefix without allocation
 2018-05-28 14:34:33 +07:00
Rudi Grinberg 7b824febf3
Merge branch 'master' into suffix-prefix-fast 2018-05-28 14:30:53 +07:00
Rudi Grinberg fe9e6fb8c9
Make Interned generative again (#808) 
I accidentally removed this in the last PR. I think it should probably be brought back.

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-28 14:18:10 +07:00
Rudi Grinberg 6f3467ad96
Merge branch 'master' into suffix-prefix-fast 2018-05-28 14:16:13 +07:00
Jeremie Dimino b31d281949 Add Module_compilation.ocamlc_i 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino 3bd9addeb2 Use Compilation_context in menhir 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino c9ead23c7d Add Compilation_context 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino 69af40dced Compute includes outside of build_modules 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino 634cd25b1b Allow to compute the deps of an auxiliary module 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino cc7bd5ebb1 Allow modules to be only preprocessed and not linted 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino ac1c407cab Split Preproressing.pp_and... in two functions 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-05-28 08:10:12 +01:00
Jeremie Dimino 5c4027aff8 Re-work the code to handle (include ...) 
Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 07:59:05 +01:00
Jeremie Dimino d211272d24 Ignore jbuild_version stanzas 
These are no longer necessary as they are super-seeded by (lang
...) stanzas in dune-project files

Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 07:59:05 +01:00
Jeremie Dimino cb6baa6c96 Make Stanza.t an open type 
Signed-off-by: Jeremie Dimino <jdimino@janestreet.com>
 2018-05-28 07:59:05 +01:00
Rudi Grinberg 89b0e397f7 Check suffix and prefix without allocation 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-27 01:23:55 +07:00
Rudi Grinberg e5f873da15 Make Interned generative again 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-26 17:14:00 +07:00
Rudi Grinberg 88e71c3432
Speed up merlin generation (#805) 
Improve merlin generation by minimizing intermediate strings and reusing a buffer.
 2018-05-26 11:04:21 +07:00
Rudi Grinberg 37366ea63f
Merge pull request #804 from rgrinberg/remove-extra-conversion 
Remove extra set to list conversion
 2018-05-25 19:17:45 +07:00
Rudi Grinberg 15ce5211b8
Merge branch 'master' into remove-extra-conversion 2018-05-25 19:17:38 +07:00
Rudi Grinberg e27077b86b
Merge pull request #793 from avsm/odoc-master-titles 
Fix doc generation with odoc-master branch
 2018-05-25 13:51:00 +07:00
Rudi Grinberg f0e0bf5156 Remove extra set to list conversion 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-25 12:06:22 +07:00
Jérémie Dimino 459d17fc13
Merge branch 'master' into odoc-master-titles 2018-05-24 17:37:28 +01:00
Rudi Grinberg 1e3b90c1d6
Merge pull request #800 from rgrinberg/interned-stdune 
Move Interned to Stdune
 2018-05-24 21:05:52 +07:00
Rudi Grinberg d3edc454ac Add initial size to interned 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 20:51:12 +07:00
Rudi Grinberg cbf2727209 Add a resizing policy for Interned 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 20:22:13 +07:00
Rudi Grinberg 1aa6209584 Move interned to stdune 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 18:23:02 +07:00
Rudi Grinberg 274bb70994 Move fmt to stdune 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 18:22:55 +07:00
Rudi Grinberg 6b130e809c Move int sets and maps to stdune 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 18:22:36 +07:00
Rudi Grinberg 1dd9262ecf
Merge pull request #798 from rgrinberg/remove-alias 
Remove aliases of Path.{Set,Map}
 2018-05-24 17:38:19 +07:00
Rudi Grinberg f838c89d74 Remove aliases of Path.{Set,Map} 
They save very little in terms of typing but grepping harder than it should be

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 17:34:32 +07:00
Rudi Grinberg 5310181bed
Merge pull request #799 from rgrinberg/paths-set 
Replace dyn_paths with dyn_path_set
 2018-05-24 17:32:47 +07:00
Rudi Grinberg 8e8cda01b2 Replace dyn_paths with dyn_path_set 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 14:56:39 +07:00
Rudi Grinberg f59fe20344
Merge pull request #797 from rgrinberg/build-job-set 
Change Build_job to be set
 2018-05-24 11:15:26 +07:00
Rudi Grinberg d600db2158 Change Build_job to be set 
The elements are unique and the order isn't well defined anyway

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-05-24 10:44:47 +07:00
Jeremie Dimino 48cd886bfc Simplify the API for inlined records in constructors 2018-05-23 14:24:41 +01:00
Jeremie Dimino b48b1a168b Simplify the API for capturing the location of constructors 2018-05-23 14:24:41 +01:00
Jeremie Dimino d22eebf5a1 Simplify the API for parsing remaining arguments of constructors 2018-05-23 14:24:41 +01:00
Anil Madhavapeddy b2dd904847 odoc: make indexes work with the development version of odoc 
We now generate library titles at level 2 instead of level 1,
and remove trailing fullstop after the `modules` entry.

The development branch of odoc has a more precise parser that
enforces that there is only a single title level field in the
generated odoc.

Closes #791

Signed-off-by: Anil Madhavapeddy <anil@recoil.org>
 2018-05-23 10:59:19 +01:00