Permalink
Browse files

import Typerex v2

  • Loading branch information...
1 parent f73332f commit d316233397c4fdefdab714a6a924673f506908e2 @lefessan lefessan committed Sep 28, 2012
Showing 675 changed files with 38,245 additions and 110,036 deletions.
View
@@ -23,7 +23,6 @@ tools/ocp-pp/parser.ml
tools/ocp-pp/parser.mli
ocp-build.root
docs/roadmap/roadmap.aux
-Makefile.config
docs/roadmap/roadmap.log
libs/ocaml-compiler/approx/approx_lexer.ml
libs/ocaml-compiler/approx/approx_parser.ml
@@ -33,15 +32,11 @@ libs/ocaml-compiler/parsing/parser_yacc.mli
*.backup*
tools/ocp-wizard/test/*_*.ml
profile.out
-Makefile.config
-
depend.ocp-type
docs/roadmap2/main.aux
docs/roadmap2/main.log
docs/roadmap2/main.toc
-
*.last_compiled
-
.depend.ocp-type
docs/roadmap/deps.dot
docs/roadmap/short-features.tex
@@ -61,22 +56,28 @@ docs/user-manual/user-manual.toc
tools/ocp-ide/typerex.el
tools/ocp-rtt/.depend
ocp-build.root.old
-
libs/ocaml-compiler-clean/parsing/lexer.ml
libs/ocaml-compiler-clean/parsing/linenum.ml
libs/ocaml-compiler-clean/parsing/parser.ml
libs/ocaml-compiler-clean/parsing/parser.mli
-
tools/ocp-ide/emacs/ocp-ide.el
tools/ocp-ide/emacs/tmp.el
aclocal.m4
autom4te.cache
config.log
config.status
+emacs-plugins
ocp-typerex.ocp
libs/ocamlpro/yacclib/yacclib_lexer.ml
libs/ocamlpro/yacclib/yacclib_parser.ml
libs/ocamlpro/yacclib/yacclib_parser.mli
tools/ocp-wizard/emacs/ocp-wizard-plugin.el
tools/ocp-ide/emacs/typerex.el*
libs/ocamlpro/typerex-config/typerex_config.ml
+ocp-build.root.old.old
+typerex-ocaml-private
+libs/ocamlpro/color/color.ml
+ocp-subst-config.exe
+ocp-build/ocp-build
+ocp-build/ocp-build.run
+ocp-build/primitives.ml
View
122 .typerex
@@ -1,122 +0,0 @@
-# This is the OCP Wizard project file for typerex.
-
-# .cmt files are in _obuild
-CMT _obuild
-
-# Process the source files for the stdlib (at the cost of warnings)
-#NOSTDLIB
-#/usr/lib/ocaml
-#- /usr/lib/ocaml/thread /usr/lib/ocaml/threadUnix
-#- /usr/lib/ocaml/event /usr/lib/ocaml/mutex /usr/lib/ocaml/condition
-
-# Include the unix library directory
-#I +unix
-
-# OCamlPro "standard" library
-libs/ocamlpro/lang
--libs/ocamlpro/lang/test.ml libs/ocamlpro/lang/test.mli
--libs/ocamlpro/lang/ocpString_test.ml libs/ocamlpro/lang/ocpString_test.mli
--libs/ocamlpro/lang/ocpList_test.ml libs/ocamlpro/lang/ocpList_test.mli
-libs/ocamlpro/system
--libs/ocamlpro/system/file_test.ml libs/ocamlpro/systemfile_test.mli
-
-# OCaml compiler sources
-ocaml/utils
--ocaml/utils/tbl.mli
--ocaml/utils/config
-ocaml/parsing
-ocaml/typing
--ocaml/typing/ident.mli
--ocaml/typing/types.mli
-#ocaml/ocamldoc
--ocaml/ocamldoc/odoc_latex
--ocaml/ocamldoc/odoc_gen
--ocaml/ocamldoc/odoc_dag2html
--ocaml/ocamldoc/odoc_args
--ocaml/ocamldoc/odoc_texi
--ocaml/ocamldoc/odoc_ocamlhtml
--ocaml/ocamldoc/odoc_man
--ocaml/ocamldoc/odoc
--ocaml/ocamldoc/odoc_html
--ocaml/ocamldoc/odoc_to_text
--ocaml/ocamldoc/odoc_test
--ocaml/ocamldoc/odoc_dot
--ocaml/ocamldoc/odoc_latex_style
-#ocaml/driver
-
-# OCaml compiler-related libraries
-libs/ocaml-compiler/complib-env
-libs/ocaml-compiler/ocaml-compiler
-libs/ocaml-compiler/ocaml-config
-libs/ocaml-compiler/ocaml-bincompat
--libs/ocaml-compiler/ocaml-bincompat/v3121_types
--libs/ocaml-compiler/ocaml-bincompat/v3120_output
--libs/ocaml-compiler/ocaml-bincompat/v3120_output_ast
--libs/ocaml-compiler/ocaml-bincompat/v3120_output_cmi
--libs/ocaml-compiler/ocaml-bincompat/v3120_output_cmo
--libs/ocaml-compiler/ocaml-bincompat/v3120_output_cmx
--libs/ocaml-compiler/ocaml-bincompat/v3120_input_ast
--libs/ocaml-compiler/ocaml-bincompat/v3120_input_cmo
--libs/ocaml-compiler/ocaml-bincompat/v3120_input_cmx
--libs/ocaml-compiler/ocaml-bincompat/v3120_input_cmi
--libs/ocaml-compiler/ocaml-bincompat/v3112_types
--libs/ocaml-compiler/ocaml-bincompat/v3112_input
--libs/ocaml-compiler/ocaml-bincompat/v3112_input_ast
--libs/ocaml-compiler/ocaml-bincompat/v3112_input_cmi
--libs/ocaml-compiler/ocaml-bincompat/v3112_input_cmo
--libs/ocaml-compiler/ocaml-bincompat/v3112_input_cmx
--libs/ocaml-compiler/ocaml-bincompat/v3112_output
--libs/ocaml-compiler/ocaml-bincompat/v3112_output_ast
--libs/ocaml-compiler/ocaml-bincompat/v3112_output_cmi
--libs/ocaml-compiler/ocaml-bincompat/v3112_output_cmo
--libs/ocaml-compiler/ocaml-bincompat/v3112_output_cmx
--libs/ocaml-compiler/ocaml-bincompat/asti_file
--libs/ocaml-compiler/ocaml-bincompat/cmo_file
--libs/ocaml-compiler/ocaml-bincompat/cma_file
--libs/ocaml-compiler/ocaml-bincompat/cmx_file
--libs/ocaml-compiler/ocaml-bincompat/cmxa_file
--libs/ocaml-compiler/ocaml-bincompat/compTypes
--libs/ocaml-compiler/ocaml-bincompat/oCamlTypes
-
-# Other OCamlPro libraries and programs
-
-tools/ocp-profile
--tools/ocp-profile/profileMain
-
-libs/ocamlpro/diff
-
-libs/ocaml-compiler/ocaml-program
--libs/ocaml-compiler/ocaml-program/ocpProgramTest.ml
--libs/ocaml-compiler/ocaml-program/ocpProgram
-
-libs/ocamlpro/rpc/ocaml
--libs/ocamlpro/rpc/ocaml/rpc_test.ml
-
-libs/ocamlpro/ide
-libs/ocamlpro/ide/emacs
-libs/ocamlpro/ide/eclipse
-
-tools/ocp-extract
--tools/ocp-extract/extract_test.ml
-
-tools/ocp-type
-tools/ocp-wrapper
-tools/ocp-ide
--tools/ocp-ide/plugin
-
-#tools/ocp-build/src
-#-tools/ocp-build/src/buildDistrib.ml
-
-# ocp-wizard
-tools/ocp-wizard/common
--tools/ocp-wizard/common/incLexer
--tools/ocp-wizard/common/incParser
-tools/ocp-wizard/semantics
-tools/ocp-wizard/syntax
--tools/ocp-wizard/syntax/recoveringParsing.ml
--tools/ocp-wizard/syntax/recoveringOCamlParser
--tools/ocp-wizard/syntax/cst
-tools/ocp-wizard/coloring_themes
-tools/ocp-wizard/main
--tools/ocp-wizard/main/ocp_grep.ml
-libs/ocamlpro/typerex-config
View
@@ -1,3 +0,0 @@
-Thomas Gazagnaire Thomas.Gazagnaire@ocamlpro.com
-Fabrice Le Fessant Fabrice.Le_Fessant@ocamlpro.com or @inria.fr
-Tiphaine Turpin Tiphaine.Turpin@ocamlpro.com, or @inria.fr
View
@@ -1,116 +0,0 @@
-In the following "the Compiler" refers to all files marked "Copyright
-INRIA" in the "ocaml" directory.
-
-The Compiler is distributed under the terms of the Q Public License
-version 1.0 with a change to choice of law (included below).
-
-As a special exception to the Q Public Licence, you may develop
-application programs, reusable components and other software items
-that link with the original or modified versions of the Compiler
-and are not made available to the general public, without any of the
-additional requirements listed in clause 6c of the Q Public licence.
-
-----------------------------------------------------------------------
-
- THE Q PUBLIC LICENSE version 1.0
-
- Copyright (C) 1999 Troll Tech AS, Norway.
- Everyone is permitted to copy and
- distribute this license document.
-
-The intent of this license is to establish freedom to share and change
-the software regulated by this license under the open source model.
-
-This license applies to any software containing a notice placed by the
-copyright holder saying that it may be distributed under the terms of
-the Q Public License version 1.0. Such software is herein referred to
-as the Software. This license covers modification and distribution of
-the Software, use of third-party application programs based on the
-Software, and development of free software which uses the Software.
-
- Granted Rights
-
-1. You are granted the non-exclusive rights set forth in this license
-provided you agree to and comply with any and all conditions in this
-license. Whole or partial distribution of the Software, or software
-items that link with the Software, in any form signifies acceptance of
-this license.
-
-2. You may copy and distribute the Software in unmodified form
-provided that the entire package, including - but not restricted to -
-copyright, trademark notices and disclaimers, as released by the
-initial developer of the Software, is distributed.
-
-3. You may make modifications to the Software and distribute your
-modifications, in a form that is separate from the Software, such as
-patches. The following restrictions apply to modifications:
-
- a. Modifications must not alter or remove any copyright notices
- in the Software.
-
- b. When modifications to the Software are released under this
- license, a non-exclusive royalty-free right is granted to the
- initial developer of the Software to distribute your
- modification in future versions of the Software provided such
- versions remain available under these terms in addition to any
- other license(s) of the initial developer.
-
-4. You may distribute machine-executable forms of the Software or
-machine-executable forms of modified versions of the Software,
-provided that you meet these restrictions:
-
- a. You must include this license document in the distribution.
-
- b. You must ensure that all recipients of the machine-executable
- forms are also able to receive the complete machine-readable
- source code to the distributed Software, including all
- modifications, without any charge beyond the costs of data
- transfer, and place prominent notices in the distribution
- explaining this.
-
- c. You must ensure that all modifications included in the
- machine-executable forms are available under the terms of this
- license.
-
-5. You may use the original or modified versions of the Software to
-compile, link and run application programs legally developed by you or
-by others.
-
-6. You may develop application programs, reusable components and other
-software items that link with the original or modified versions of the
-Software. These items, when distributed, are subject to the following
-requirements:
-
- a. You must ensure that all recipients of machine-executable
- forms of these items are also able to receive and use the
- complete machine-readable source code to the items without any
- charge beyond the costs of data transfer.
-
- b. You must explicitly license all recipients of your items to
- use and re-distribute original and modified versions of the
- items in both machine-executable and source code forms. The
- recipients must be able to do so without any charges whatsoever,
- and they must be able to re-distribute to anyone they choose.
-
- c. If the items are not available to the general public, and the
- initial developer of the Software requests a copy of the items,
- then you must supply one.
-
- Limitations of Liability
-
-In no event shall the initial developers or copyright holders be
-liable for any damages whatsoever, including - but not restricted to -
-lost revenue or profits or other direct, indirect, special, incidental
-or consequential damages, even if they have been advised of the
-possibility of such damages, except to the extent invariable law, if
-any, provides otherwise.
-
- No Warranty
-
-The Software and this license document are provided AS IS with NO
-WARRANTY OF ANY KIND, INCLUDING THE WARRANTY OF DESIGN,
-MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
-
- Choice of Law
-
-This license is governed by the Laws of France.
Oops, something went wrong.

0 comments on commit d316233

Please sign in to comment.