9fddc2ee55
clean up
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13046 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-24 14:42:41 +00:00
0415a557c4
In the unqualified case, allow typed-based resolution to succeed even if the label is not accessible in the toplevel environment (i.e. the module has not been opened).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-24 14:00:27 +00:00
90c1adb6ad
Synchronize with trunk, to benefit from simplifications made possible by r13043.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-24 12:57:16 +00:00
0b37b27356
Stop keeping a Path.t to refer to labels and constructors in the Typedtree AST. This is not used internally and it is not a robust way to identify these objects unambiguously anyway
...
(especially when we will add more powerful disambiguation strategies). The correct way to identify an item is through the pair (type,name), which can be deduced from the
label_description/constructor_description stored in the Typedtree.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-24 12:03:00 +00:00
dc0776f551
#5798 : Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey Scofield, Anil Madhavapeddy).
...
[PATCH] Detect and support armv6/VFPE2, which is sufficient to get
ocamlopt working on the Raspberry Pi hardfloat Debian variant
Original patch: Jeffrey Scofield via http://psellos.com/pub/ocamlxarm/ocaml4-vfpv2.diff
Fixes from: Anil Madhavapeddy <anil@recoil.org>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-24 06:20:45 +00:00
81b2f1770e
Make it more explicit that the label's type must be a Tconstr.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13038 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-19 08:04:33 +00:00
4e5463f335
protect call to Env.find_type
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13037 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-19 03:21:27 +00:00
01f6ba510b
Cleanup.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13036 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-18 17:08:09 +00:00
70173dba45
only expand to first concrete definition
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-18 07:35:30 +00:00
f55e794e82
fix label lookup
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-18 06:20:23 +00:00
2f2f6b7a07
add missing copyright headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13033 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 21:03:40 +00:00
ca58e9f276
remove non-ascii chars
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 21:03:19 +00:00
d2b0f14516
remove non-ascii chars
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 21:02:29 +00:00
c92ab2768b
remove non-ascii chars
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13030 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 21:01:38 +00:00
ce01d56eb5
remove non-ascii chars
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 21:01:34 +00:00
4e31e840c5
more small changes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13028 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 21:01:06 +00:00
7def3f2a81
ignore generated files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 21:00:36 +00:00
443aca36ae
whitespace, non-ascii chars, some missing headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13026 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 20:09:16 +00:00
dfa500533a
#5741 : make Pprintast available from the command-line (-dsource).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13025 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 16:09:38 +00:00
3ffcd66100
#5741 : link pprintast into the compiler (unused for now, but it is available in compiler-libs).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 15:50:07 +00:00
e6eefc3af7
Adapt to changes.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13023 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 15:40:28 +00:00
97e3ed17d8
PR#5116: abide english typography in debugger messages.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13022 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-17 12:26:42 +00:00
9dc80e8a5e
#5768 : add tests.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 17:11:39 +00:00
5dd16eb1f1
Add missing module.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 17:02:54 +00:00
238814e293
#5770 : Syntax error messages involving unclosed parens are sometimes incorrect.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 14:04:33 +00:00
e7546ca216
PR#5768: On 'unbound identifier' errors, use spell-checking to suggest names present in the environment.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 13:54:24 +00:00
5e8adcd8df
#5784 : -dclambda option is ignored.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13017 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 13:40:36 +00:00
7224745796
PR#5775: several bug fixes for tools/pprintast.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 09:51:42 +00:00
59371b9d75
remove TABs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 18:01:26 +00:00
def31744f9
remove all $Id keywords
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 17:50:56 +00:00
0a6f6a7857
add possibility of ignoring a directory
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 17:17:44 +00:00
85db48466a
small tweaks
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 13:49:55 +00:00
08c3b1780a
PR#5787: Bad behavior of 'Unused ...' warnings in the toplevel.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-12 08:24:34 +00:00
e196c83bf3
Fix PR#5785
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-12 01:34:51 +00:00
99378f81be
introduce local types in patterns
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13007 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-12 01:08:23 +00:00
4dd1e7fe41
PR#5102: ocamlbuild fails when using an unbound variable in rule dependency
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13002 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 13:59:47 +00:00
57aef3bf24
Typo.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 09:45:11 +00:00
78e80bc087
PR#5300: verbose parameter should implicitly set classic display
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 09:38:24 +00:00
8e94d482d7
use variable name from definition for existentials (cf. PR#5780)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 09:38:03 +00:00
b676e19acf
PR#5240: register exception printers for Unix.Unix_error and Dynlink.Error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 08:54:42 +00:00
9a718352b9
PR#5778: convert constructors on the right hand side of exception ... = ...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12994 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-09 12:42:13 +00:00
d924f9f924
Refactoring of the computations of the actual size of a struct caml_ba_array
...
(related to PR#5516 and PR#5761).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12993 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-07 06:54:40 +00:00
a731103898
PR#5772: problem with marshaling of mutually-recursive functions
...
(culled from version/4.00, commit 12991)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-05 16:04:13 +00:00
bb5c5b7e88
merge changes from 4.00.0 to 4.00.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-05 15:21:35 +00:00
b0584e6721
ignore build dir for frama-c
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12989 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-05 14:28:22 +00:00
e4161112b6
Also install relevant cmx/obj files in compiler-libs.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-02 11:40:22 +00:00
93aaed4e9e
Windows users also deserve printtyped and printclambda. (Seriously, we should merge those list of modules between Makefile and Makefile.nt.)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-02 09:46:39 +00:00
de1ac52bc6
PR#5715: change the fix to avoid breaking the mingw port
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-30 12:31:27 +00:00
8690cc7531
update hevea + small changes for cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-28 19:00:49 +00:00
f169f1eafd
PR#5727: emacs caml-mode indents shebang line in toplevel scripts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-28 16:56:30 +00:00
Jacques Garrigue
Alain Frisch
Benedikt Meurer
Damien Doligez
Xavier Clerc
Jérémie Dimino
Xavier Leroy