delta/ocaml.git, branch module-alias github.com: ocaml/ocaml Add -trans-mod option for transparent module dependencies. 2013-12-20T06:55:26+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-12-20T06:55:26+00:00 d90b126bd428999d767ef4db4c5d3b05eb27c345 Without that option, dependencies are strict, both for typing and linking. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
Without that option, dependencies are strict, both for
typing and linking.


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6240 2013-11-18T06:44:13+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-11-18T06:44:13+00:00 c20af454f38f13d7dd3b417e293335fcc82e479f git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix computation of position 2013-11-16T10:26:19+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-11-16T10:26:19+00:00 bedaff51381f3be2808cc383f70b48dd0fc0c05d git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
also generate module aliases when using include 2013-11-15T15:19:25+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-11-15T15:19:25+00:00 b4f8172430e60382906bc6a86da628b758d2022c git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
expand module aliases and type identifiers in "module type of" 2013-11-11T14:00:38+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-11-11T14:00:38+00:00 7110a56ab0c66a6aced52b5f2b7eb62503e6521a git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
use new scrape_alias for Env too 2013-11-11T05:00:10+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-11-11T05:00:10+00:00 5d379f7706d5039150d45b83a34ac3c97d68d532 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
forgot test... 2013-11-11T03:51:27+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-11-11T03:51:27+00:00 00fa4010df1c981bc5cabe0f82aa8dab79978a2d git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
use a strengthening version of scrape_alias in Typemod 2013-11-11T03:37:46+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-11-11T03:37:46+00:00 956e258a125353ced2481445ee6bea486686d987 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge trunk:14244 to fix bootstrap 2013-10-24T04:19:08+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-10-24T04:19:08+00:00 8fb5fdc9f212f5b834329c2f75f5943fc393622d git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix testsuite. 2013-10-10T12:29:31+00:00 Alain Frisch alain@frisch.fr 2013-10-10T12:29:31+00:00 349f151c0d7f0747d03a1e6d9a0696d480523abf git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02