Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rebased for ocaml 4.02.3 #47

Open
wants to merge 495 commits into
base: modular-implicits
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
495 commits
Select commit Hold shift + click to select a range
ed60dec
supplemental fix for PR#6797
May 6, 2015
b06b83f
Fix PR#6810: Improve documentation of Bigarray.Genarray.map_file
mshinwell May 6, 2015
36a68e6
revert 16093 (problem with absolute paths in #! headers)
May 6, 2015
0fb81e3
byproduct of PR#6266: remove unused file
May 6, 2015
b9beb25
Fix PR#6862
May 9, 2015
6c55799
Revert "Revert "PR#6693: also build libasmrun_shared.so and lib{asm,c…
gasche May 10, 2015
84787df
PR#6733: ocamlbuild .{byte,native}.so targets and runtime_variant(X) …
gasche May 10, 2015
d0f7352
Misplaced assertion for no-naked-pointers mode
mshinwell May 11, 2015
651c47c
Update VERSION file
lpw25 May 11, 2015
29d53fc
GPR#149: Attach documentation comments to Parsetree
lpw25 May 11, 2015
c307e5a
PR#6747: ocamlobjinfo: missing symbol caml_plugin_header due to under…
May 12, 2015
2c77edd
PR#6281: Graphics window does not acknowledge second click (double cl…
May 12, 2015
bc574ac
fix ambiguous documentation comments
May 12, 2015
c1e26ad
PR#6266: Cross compilation for iOs, Android etc
May 12, 2015
7a33be2
PR#6845: -no-check-prims to tell ocamlc not to check primitives in ru…
May 12, 2015
4ba1669
PR#5822: wrong value of Options.ext_dll on windows
May 12, 2015
9399325
PR6865: Fix parsing of toplevel [let%foo _ = expr]
jeremiedimino May 15, 2015
52a39cc
GPR#157: store the path of cmos inside debug section at link time
May 15, 2015
9a73ad6
Fix PR#6872
May 17, 2015
0415aa6
Fix PR#6870
May 17, 2015
d49bea2
PR#6452, GPR#140: add internal support for custom printing formats
jeremiedimino May 18, 2015
9cb590b
PR#6452 (part two): make custom_format string-only
jeremiedimino May 18, 2015
1ecc9eb
Fix PR#6870 (not only test...)
May 18, 2015
4b73ec1
Fix fallout from PR 6693 on POWER architecture
mshinwell May 19, 2015
1880401
Fix PR#6869: Improve comment on [Hashtbl.hash_param]
mshinwell May 19, 2015
ddf4db4
Fix PR#6630: Failure of tests/prim-bigstring/{big,}string.ml on big-e…
mshinwell May 19, 2015
8f7a06c
Update instructions for x86-64 PIC mode and POWER architecture builds
mshinwell May 19, 2015
ec49446
Support docstring before the semicolon in label declarations
jeremiedimino May 20, 2015
c9e7059
complete attribution information for the 4.02 Changelog
gasche May 24, 2015
c6e312d
more changelog love
gasche May 25, 2015
8b6be46
Fix PR#6879: Wrong optimization of 1 mod n
mshinwell May 27, 2015
9676033
Changelog: add release dates of released versions
gasche May 31, 2015
c2e8537
minor Changelog changes
gasche May 31, 2015
3cb0234
Add @since 4.02.0 to __LOC__, etc.
lefessan Jun 1, 2015
1c5c6d7
PR#6884: The __CYGWIN32__ #define should be replaced with __CYGWIN__
Jun 2, 2015
9073f1b
GPR#190: typo in pervasives
Jun 3, 2015
bbd9b2a
Fix PR#6886
Jun 3, 2015
8935852
fix reporter's name
Jun 4, 2015
2283df9
PR#6889: ast_mapper fails to rewrite class attributes
Jun 4, 2015
5000f26
GPR#191: Making gc.h and some part of memory.h public
Jun 4, 2015
0581a07
fix commit 16156 for 32-bit Windows/MSVC
Jun 5, 2015
779f8d0
Attach comments to includes in structures
lpw25 Jun 5, 2015
0e515bc
Floating docstrings are also extra text
lpw25 Jun 5, 2015
4d15510
6893: "tag not used" warning when using (p)dep to declare linking tags
Jun 5, 2015
ef0c79a
GPR#191 followup: add `Is_in_static_data` to address_class.h
Jun 9, 2015
d2a9da6
Fix PR#6878: AArch64 conditional branches out of range. (Introduces …
mshinwell Jun 10, 2015
d0b9cb1
Fix copyright notices for new branch relaxation files
mshinwell Jun 10, 2015
9a7b9fe
tweak copyright headers (again)
Jun 10, 2015
0e651b7
last commit before 4.02.2+rc1
Jun 10, 2015
8582bed
increment version number after 4.02.2+rc1
Jun 10, 2015
0194a95
last commit before release 4.02.2
Jun 17, 2015
a60a6b4
increment version number after release 4.02.2
Jun 17, 2015
0c666ad
PR#6919: corrupted final_table
Jul 10, 2015
6497b03
update version number
Jul 10, 2015
541e5e0
Fix PR#6930
Jul 15, 2015
5c243ca
PR#6908: Top-level custom printing for GADTs: interface change in 4.02.2
Jul 20, 2015
2e6e00c
PR#6393: new primitive caml_alloc_dummy_function
Jul 20, 2015
1f24874
PR#6691: install .cmt[i] files for stdlib and compiler-libs
Jul 20, 2015
7ad5340
move GC hooks to a safe place for callbacks
Jul 20, 2015
126bc62
PR#6926: Regression: ocamldoc lost unattached comment
Jul 21, 2015
357304f
bootstrap
Jul 21, 2015
bee55c4
tagging release 4.02.3
Jul 23, 2015
25d3ef0
Use module_binding in Pexp_letmodule / Texp_letmodule
let-def Apr 10, 2014
4b03a6c
Introduce Asttypes.arrow_flag to encode labelled arguments
let-def Mar 28, 2014
79f603f
Split arrow_flag into Parsetree.arrow_flag and Types.arrow_flag
let-def Apr 2, 2014
879785b
Remove Typedtree.optional, as its purpose was redundant.
let-def Apr 3, 2014
9e1d419
WIP: refining arrow_flag with apply_flag
let-def Apr 3, 2014
79744e6
Introduce Asttypes.arrow_flag to encode labelled arguments
let-def Mar 28, 2014
7fcd9ce
Introduce Asttypes.arrow_flag to encode labelled arguments
let-def Mar 28, 2014
148d4bc
Introduce "implicit" keyword and constructions in parser
let-def Mar 25, 2014
6cd31d7
WIP introducing implicit in typing
let-def Mar 27, 2014
856a2ab
Make ocaml compile, add TODOs for implicit in typer
let-def Mar 27, 2014
e0b1573
Change representation of implicits in AST
let-def Mar 27, 2014
fa4f3b8
Introduce implicits in Typedtree
let-def Mar 27, 2014
75499fd
WIP: toplevel is working
let-def Mar 27, 2014
dc4a55f
Fix tools, leave FIXMEs in ocamldoc
let-def Mar 28, 2014
4fcbf15
Add Implicit flag to arrow_flag
let-def Mar 28, 2014
a4ad893
WIP, generalizing arrows
let-def Mar 28, 2014
07f9161
WIP3
let-def Apr 7, 2014
bd23a8f
Introduce "let implicit _ in _" expression
let-def Apr 10, 2014
be62cf8
Get rid of Ppat_implicit
let-def Apr 14, 2014
95264f0
Implement proper pretty printing for implicit arguments
let-def Apr 14, 2014
aaf2223
WIP, escape caught
let-def Apr 15, 2014
6ce36da
Turn arguments in application into a type on its own
let-def Apr 16, 2014
0611476
Substitute implicit types on application.
let-def Apr 18, 2014
5082599
Add function to instantiate implicit
let-def Apr 18, 2014
42a6e71
Fix tools, bootstrap
let-def Apr 18, 2014
1c55212
Keep track of pending implicit instances
let-def Apr 22, 2014
3bdf9a7
Prototype
let-def Apr 24, 2014
34d6193
Add examples with implicit
let-def Apr 25, 2014
0e13643
Change implicit instantiation strategy
let-def Apr 25, 2014
d8510d3
Update depend
let-def Apr 28, 2014
8bee73c
Parser: add parsing of implicit types
let-def Apr 30, 2014
f881b7a
Typeimplicit: comment printf-debugging
let-def Apr 30, 2014
0a70423
Type implicit arguments module alpha-equivalence
let-def Apr 30, 2014
3511b49
Separate generalize_implicits from generalize
let-def Apr 30, 2014
7992bc9
Remove one-more printf debugging
let-def Apr 30, 2014
ac475fd
Typeimplicit: use path instead of arbitrary type variables as constra…
let-def Apr 30, 2014
b7b0a83
Catch uninstantiable implicit and print minimal error message
let-def Apr 30, 2014
a1e47ed
Generate fresh identifier for implicit argument, fix moregeneral / in…
let-def Apr 30, 2014
f8ed4e9
Fix fake module names
let-def Apr 30, 2014
1e6e8de
Add Typemod.type_implicit_instance
let-def May 2, 2014
6a4eb24
Extract instance search code from Typeimplicit into Implicitsearch
let-def May 6, 2014
b13ffe0
WIP, added "sign" to typeimplicit
let-def May 6, 2014
76b0f27
WIP
let-def May 6, 2014
49b282b
WIP
let-def May 7, 2014
f4a255b
Simplify representation of implicits
let-def May 7, 2014
d05436d
Update tools/ to new representation
let-def May 8, 2014
26d949a
Remove pat_implicit
let-def May 8, 2014
b768c4f
PoC: testable recursive resolution
let-def May 8, 2014
52a7cd7
Generate proper module applications
let-def May 8, 2014
ca94468
Add examples. Time to play \o/
let-def May 8, 2014
0a2677c
Revert unify hack :), FIXME
let-def May 9, 2014
769b548
Ctype: allow equation generation while computing type equality
let-def May 27, 2014
1da8561
Fix equality equations
let-def May 27, 2014
ee0d455
Env: strengthen implicit modules on registration
let-def May 27, 2014
7c8b6d6
Implicitsearch: equation based resolution procedure
let-def May 27, 2014
74d0d96
Ctype: fix typo
let-def May 27, 2014
cacb86c
Typemod: check that implicit modules are closed
let-def May 27, 2014
68bfa01
Termination checking
let-def May 28, 2014
e46d811
Implicitsearch: don't share stack between different arguments of the …
let-def May 28, 2014
6f16b26
Implicitsearch: prevent binding parameters as implicit
let-def May 28, 2014
2d691a2
Implicitsearch: cleanup code
let-def May 28, 2014
1b897f1
Add "open implicit" syntax
let-def May 30, 2014
2b05ff8
Fix handling of implicit arguments modulo alpha-renaming
let-def May 30, 2014
63f7333
Implicitsearch: cleanup code, document
let-def May 30, 2014
74c88ba
Implicitsearch: Refactor search procedure
let-def May 30, 2014
7dec0b3
Implicitsearch: PoC using new implementation
let-def May 30, 2014
c285f4c
Implicitsearch: PoC ambiguity detection
let-def Jun 1, 2014
3541ea1
Typecore.type_application: handle empty argument list
let-def Jun 3, 2014
56f8165
Typeimplicit: fix generation of fresh identifiers for implicit arguments
let-def Jun 4, 2014
effc123
Typeimplicit: also unlink with constraints
let-def Jun 9, 2014
648453a
Typecore: check presence of implicit when typing top-level identifier
let-def Jun 9, 2014
b762eba
Ctype: fix equation generation when computing type equality
let-def Jun 9, 2014
db8a3c8
Typeimplicit: refactor & unify free variables after successful search.
let-def Jun 9, 2014
071b520
Implicitsearch: WIP, stack reification
let-def Jun 9, 2014
0eaa480
Proper representation for implicit search solution
let-def Jun 16, 2014
044ac11
WIP HKT
let-def Jun 18, 2014
63d0fdc
Fix handling of type levels during Linking
let-def Jun 18, 2014
3c75c9a
Typeimplicit: ensure implicit arguments are generated in the source o…
let-def Jun 19, 2014
f5e405b
Improve error messages
let-def Jun 19, 2014
cd7cc8e
Comment some printf debugging
let-def Jun 19, 2014
251e71e
WIP making HKT works with functor arguments
let-def Jun 23, 2014
eb9e581
Parser: allow applicative module path in implicit argument
let-def Jun 24, 2014
037a62d
Ctype: allow parameters in equality equations
let-def Jun 24, 2014
cda95a7
Implicitsearch: support HKT during search of functor arguments
let-def Jun 24, 2014
4a4f8d0
WIP fixing type escapes
let-def Jul 4, 2014
7937eb1
WIP
let-def Jul 10, 2014
d59400e
Factor out typing rules for implicit functions
let-def Jul 11, 2014
8a63153
Enable approximation of implicit module types
let-def Jul 11, 2014
a564d5d
New instantiation strategy
let-def Jul 11, 2014
91c4bb2
Fix handling of implicit binders in Subst & Typeimplicit.unlink
let-def Jul 23, 2014
73a94fa
Typecore: disable approximation of implicit arguments
let-def Jul 23, 2014
15ae925
TEMPORARY: Make debug printing of identifier optional
let-def Jul 23, 2014
01c6ae6
Comment some printf-debugging
let-def Jul 23, 2014
b213387
Fix typechecking of some implicit constructs
let-def Jul 24, 2014
267cdbf
Imp_control/Imp_data: basic implicit libraries
let-def Jul 24, 2014
9355e67
Sample scope management implicit module
let-def Jul 24, 2014
af19153
Implicitsearch: switch off printf-debugging
let-def Jul 29, 2014
ab503bd
Typecore: fix typing of application
let-def Jul 29, 2014
035ca9d
Add solution to g()"al" problem
let-def Jul 29, 2014
5d9e89e
Fix typechecking of implicit application
let-def Jul 30, 2014
b83ad09
Fix Imp_data example
let-def Aug 1, 2014
8caa591
Fix typos
let-def Aug 6, 2014
d3e168d
Typetexp: manage levels when crossing implicit binder
let-def Aug 6, 2014
aeebc52
Ctype: fix equality modulo equations in presence of hkt
let-def Aug 6, 2014
b56e668
Implicitsearch: make use of higher-kinded constraints in termination …
let-def Aug 6, 2014
f08cb0d
Implicitsearch: rework equality generation and sharing in recursive i…
let-def Aug 7, 2014
ee972f3
Remove some printf debugging
let-def Aug 7, 2014
42606bb
Implicit levels during unification is 0
let-def Aug 8, 2014
65bfd3d
type_application.lower_args: thread and update environment in presenc…
let-def Aug 8, 2014
81ce128
Fix code after rebase
let-def Aug 25, 2014
1804a1d
unmark types where appropriate
let-def Aug 26, 2014
c981cf5
Simplify diff to ease review
let-def Aug 27, 2014
06aeb22
Typecore.type_argument: apply omitted optional argument was done in w…
let-def Aug 27, 2014
19d75a2
Ctype.eq_type: fix case with two paths accepting equalities
let-def Aug 28, 2014
57a1543
Implicitsearch: find ambiguities up-to module aliases
let-def Aug 30, 2014
d64fda6
Updated .depend
let-def Aug 30, 2014
2b820f6
Bootstrap
let-def Aug 30, 2014
2d1d889
Typeimplicit: copy level before recursing into subtypes
let-def Aug 31, 2014
95fefc2
Fix #3: bind implicit args while processing type declarations
let-def Sep 4, 2014
b2dab63
Fix -dsource output (#7)
let-def Sep 18, 2014
de150b2
Check path arities in Ctype.subtype, may solve #10
let-def Sep 18, 2014
3617b54
Typetexp: fix processing of implicit binders (#1)
let-def Sep 18, 2014
5dde922
Add some test cases
let-def Sep 18, 2014
87f17fc
Add a README with build status.
yallop Sep 19, 2014
f1b4fd5
Add implicit functor args to the implicit environment.
yallop Sep 25, 2014
d1043ff
Fix bug in type marking when replacing variables with abstract types
lpw25 Sep 18, 2014
3417e26
Always generalize implicits before running regular generalization
lpw25 Sep 18, 2014
bf55bee
Generalize implicits when we leave an implicit function declaration
lpw25 Sep 30, 2014
7db69b5
Add forwards propagation over implicit function defintions
lpw25 Sep 30, 2014
a0359c7
Move examples to the test suite
lpw25 Sep 30, 2014
7012436
Fix handling of applicative paths in equality checking for type const…
LeoTestard Oct 29, 2014
f41ba46
Fix off-by-one error in 65019d6e
yallop Jan 5, 2015
c34ad7e
Implicitsearch: fix translation of implicit path to implicit instances
let-def Jun 7, 2015
0205165
Ctype: handle Tarr_implicit in generalize
let-def Jun 7, 2015
a16c903
Import Env.register_as_implicit from modular-implicits-statement branch
let-def Jun 10, 2015
b98ac3d
Don't make implicit functor arguments implicit modules, just register…
let-def Jun 10, 2015
2b5aaa9
Adding arithmetic test to the testsuite
let-def Jun 10, 2015
f33f048
Fix generative functors
lpw25 Jul 26, 2015
04e8573
Change the syntax of implicit parameters
lpw25 Jul 26, 2015
3cd757b
Travis tests: use Camlp4 branch with modular implicits support.
yallop Aug 18, 2015
122bb47
Travis tests: don't attempt to build OPAM.
yallop Aug 20, 2015
06746a8
Switch Pprintast over to the new syntax.
yallop Sep 15, 2015
882f9da
Modular implicits test: an implementation of Leibniz equality.
yallop Sep 22, 2014
7f7f88f
Make implicit functors ordinary module types
lpw25 Oct 29, 2015
a8cc0f7
Update generative functor test
lpw25 Nov 7, 2015
1c22c68
bootstrap
Kakadu Jan 17, 2016
7546189
add 'modular-implicits' to version
Kakadu Jan 18, 2016
7d139a0
update version: now without plus sign
Kakadu Jan 18, 2016
e673db6
Helper function to convert string new invented type.
Kakadu Jan 31, 2016
d06e9fa
Merge branch 'mi-rebased-4.02.3' of github.com:Kakadu/ocaml-modular-i…
Kakadu Jan 31, 2016
37267ea
one more helper function
Kakadu Jan 31, 2016
7e367ae
Rename "target" to "goal"
let-def Jan 19, 2016
7d33629
Implicitsearch.Constraints.goal: check equations on abstract row type…
let-def Jan 19, 2016
2583ab8
Introduce "virtual" implicit parameters
let-def Jan 25, 2016
31e2f00
Rework equalities in Ctype and Env
let-def Feb 10, 2016
35c1575
Reject equalities containing univars
let-def Feb 10, 2016
be6f7ac
Ctype.equal: label rename parameter
let-def Feb 10, 2016
de64814
Implicitsearch: WIP rework constraints
let-def Feb 10, 2016
2ebeeb3
Broken implementation of termination
let-def Feb 17, 2016
e20701b
defining constraints: expand_head in parameters, e.g 'a id t = ... wh…
let-def Feb 17, 2016
788d749
Broken but it builds
let-def Feb 17, 2016
7b95bae
Introduce new (broken) termination check
let-def Feb 17, 2016
43566a7
FIX Constraint refinement & termination condition
let-def Feb 17, 2016
5c3aa23
is_pure_module test
let-def Feb 18, 2016
6e4b78e
Check wellformedness of implicit parameters
let-def Feb 19, 2016
0fae70e
Add tests for wellformedness of parameters
let-def Feb 19, 2016
86123bd
WIP... Search strategy is broken
let-def Feb 23, 2016
d5be375
New search strategy... Simple backtracking, no termination checking
let-def Feb 23, 2016
888dcc1
Move implicit packing to Typeimplicit
let-def Feb 23, 2016
b510503
Implicit constraints can be discovered during inclusion test
let-def Feb 23, 2016
31ff04d
Raise Ambiguous_implicit error
let-def Feb 23, 2016
78cf7e8
Update testsuite
let-def Feb 23, 2016
a8fe575
Termination check
let-def Feb 24, 2016
6b6858e
Disable moregeneral during implicit inclusion checking
let-def Feb 24, 2016
84ce4c2
Check occurrences of free variables in definitional constraints
let-def Feb 24, 2016
ba1901c
Add -backtrack flag to the compiler
let-def Feb 29, 2016
4e7434d
Add local search strategy
let-def Feb 29, 2016
9a066b7
HACK: don't strengthen private rows
let-def Feb 29, 2016
57a708a
Private rows test
let-def Feb 29, 2016
696e395
Termination error when local search fails (FIXME: better error message)
let-def Feb 29, 2016
aaef9be
Subst: rename implicit parameters!!!!!!!
let-def Mar 2, 2016
f287633
Allow search for multiple implicits
let-def Mar 2, 2016
9187cef
Add subtraction arithmetic test
let-def Mar 2, 2016
d8f27c0
Fix termination checking
let-def Mar 4, 2016
6ce0ec6
Expand paths when looking for flexible in termination checking
let-def Mar 4, 2016
5fed121
Remove implicit escape restriction
let-def Mar 7, 2016
0944ee9
Better error messages for search failure
let-def Mar 7, 2016
8e96fd9
fix decalring implicit module in module signatures
Kakadu Apr 19, 2016
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
353 changes: 215 additions & 138 deletions .depend

Large diffs are not rendered by default.

32 changes: 29 additions & 3 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -202,11 +202,11 @@
/byterun/.depend
/byterun/.depend.nt
/byterun/.DS_Store
/byterun/jumptbl.h
/byterun/caml/jumptbl.h
/byterun/primitives
/byterun/prims.c
/byterun/opnames.h
/byterun/version.h
/byterun/caml/opnames.h
/byterun/caml/version.h
/byterun/ocamlrun
/byterun/ocamlrun.exe
/byterun/ocamlrund
Expand Down Expand Up @@ -414,6 +414,7 @@
/ocamldoc/odoc_text_parser.ml
/ocamldoc/odoc_text_parser.mli
/ocamldoc/stdlib_man
/ocamldoc/stdlib_html
/ocamldoc/*.output
/ocamldoc/test_stdlib
/ocamldoc/test_latex
Expand Down Expand Up @@ -2160,6 +2161,31 @@
/testsuite/tests/tool-debugger/find-artifacts/compiler-libs
/testsuite/tests/tool-debugger/find-artifacts/out

# /testsuite/tests/tool-debugger/no_debug_event/
/testsuite/tests/tool-debugger/no_debug_event/*.o
/testsuite/tests/tool-debugger/no_debug_event/*.a
/testsuite/tests/tool-debugger/no_debug_event/*.so
/testsuite/tests/tool-debugger/no_debug_event/*.obj
/testsuite/tests/tool-debugger/no_debug_event/*.lib
/testsuite/tests/tool-debugger/no_debug_event/*.dll
/testsuite/tests/tool-debugger/no_debug_event/*.cm[ioxat]
/testsuite/tests/tool-debugger/no_debug_event/*.cmx[as]
/testsuite/tests/tool-debugger/no_debug_event/*.cmti
/testsuite/tests/tool-debugger/no_debug_event/*.annot
/testsuite/tests/tool-debugger/no_debug_event/*.result
/testsuite/tests/tool-debugger/no_debug_event/*.byte
/testsuite/tests/tool-debugger/no_debug_event/*.native
/testsuite/tests/tool-debugger/no_debug_event/program
/testsuite/tests/tool-debugger/no_debug_event/*.exe
/testsuite/tests/tool-debugger/no_debug_event/*.exe.manifest
/testsuite/tests/tool-debugger/no_debug_event/.depend
/testsuite/tests/tool-debugger/no_debug_event/.depend.nt
/testsuite/tests/tool-debugger/no_debug_event/.DS_Store
/testsuite/tests/tool-debugger/no_debug_event/compiler-libs
/testsuite/tests/tool-debugger/no_debug_event/out
/testsuite/tests/tool-debugger/no_debug_event/c
/testsuite/tests/tool-debugger/no_debug_event/c.exe

# /testsuite/tests/tool-lexyacc/
/testsuite/tests/tool-lexyacc/*.o
/testsuite/tests/tool-lexyacc/*.a
Expand Down
51 changes: 51 additions & 0 deletions .merlin
Original file line number Diff line number Diff line change
@@ -0,0 +1,51 @@
S ./asmcomp
B ./asmcomp

S ./bytecomp
B ./bytecomp

S ./driver
B ./driver

S ./lex
B ./lex

S ./otherlibs/bigarray
B ./otherlibs/bigarray

S ./otherlibs/dynlink
B ./otherlibs/dynlink

S ./otherlibs/graph
B ./otherlibs/graph

S ./otherlibs/num
B ./otherlibs/num

S ./otherlibs/str
B ./otherlibs/str

S ./otherlibs/systhreads
B ./otherlibs/systhreads

S ./otherlibs/threads
B ./otherlibs/threads

S ./otherlibs/unix
B ./otherlibs/unix

S ./parsing
B ./parsing

S ./stdlib
B ./stdlib

S ./toplevel
B ./toplevel

S ./typing
B ./typing

S ./utils
B ./utils

13 changes: 7 additions & 6 deletions .travis-ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -3,13 +3,14 @@ i386)
./configure
make world.opt
sudo make install

cd testsuite && make all
git clone git://github.com/ocaml/camlp4
cd camlp4 && ./configure && make && sudo make install
git clone git://github.com/ocaml/opam
cd opam && ./configure && make lib-ext && make && sudo make install
opam init -y -a git://github.com/ocaml/opam-repository
opam install -y utop

git clone git://github.com/ocamllabs/camlp4
(cd camlp4 \
&& git checkout modular-implicits-4.02 \
&& ./configure \
&& make)
;;
*)
echo unknown arch
Expand Down
Loading