of macros as template parameters.

	* mlc/case.hh (mlc_case, mlc_case_)
	* mlc/cmp.hh (mlc_eq, mlc_neq, mlc_is_bexpr, mlc_is_not_bexpr)
	(mlc_is_found, mlc_is_not_found, mlc_is_undefined)
	(mlc_is_defined, mlc_is_ok, mlc_is_not_ok, mlc_is_builtin)
	(mlc_is_not_builtin)
	* mlc/elt.hh (mlc_elt, mlc_elt_)
	* mlc/if.hh (mlc_if, mlc_if_)
	* mlc/implies.hh (mlc_implies)
	* mlc/switch.hh (mlc_switch, mlc_switch_)
	* mlc/typedef.hh (mlc_typedef, mlc_typedef_, mlc_typedef_in) 
	(mlc_typedef_in, mlc_typedef_onlyif, mlc_typedef_onlyif_)
	* mlc/value.hh (mlc_value): Add space around the arguments of
	these macro to please icpc, whose preprocessor doesn't add
	extra space when expanding macros, leading sometimes to
	syntax errors.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@491 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* stc/vtypes.hh
	(stc::ERROR::FIRST_PARAMETER_OF_rec_get_vtype_SHOULD_BE_A_TAG):
	New.
	(tag::method, tag::internal, tag::external): New.
	(get_vtype): New.
	(rec_get_vtype): Handle both internal and external vtypes.
	(rec_ext_vtype): Remove.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@490 4aad255d-cdde-0310-9447-f3009e2ae8c0

git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@489 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* stc/any.hh, tests/exact.cc: s/exact_t/exact_type/g.
	* stc/exact.hh: Likewise.
	s/case_t/case_type/.
	Remove superfluous `inline' qualifiers.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@488 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* stc/exact.hh: Aesthetic change.
	Fix copyright headers.
	* tests/exact.cc: Likewise.
	Fix an inclusion of header.
	* tests/Makefile.am (check_PROGRAMS): Add exact.
	(exact_SOURCES): New.
	* tests/any.cc: Aesthetic change.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@487 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* static/tests/exact.cc: test suite of stc::exact (new file).
	* static/stc/exact.hh: implementation of stc::exact (new file).
	* static/stc/any.hh: adding a typedef exact_t in stc::any.
	* metalic/mlc/case.hh: fixing a bug in the protected defaults cases.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@486 4aad255d-cdde-0310-9447-f3009e2ae8c0

* Fix error in svn external link to transformers

- tools: .
- tools/tests/good/funcall_no-args.scl, tools/tests/good/funcall.scl: fix typo


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@483 4aad255d-cdde-0310-9447-f3009e2ae8c0

- tools: New.
- tools/test.yml: New.
- tools/transformer: New.
- tools/transformer/scoolc.str: New.
- tools/transformer/Makefile: New.
- tools/tests: New.
- tools/tests/syntax error: New.
- tools/tests/syntax error/wrong.scl: New.
- tools/tests/parse-ref: New.
- tools/tests/parse-ref/vardec.ref: New.
- tools/tests/parse-ref/fundec.ref: New.
- tools/tests/parse-ref/funcall_no-args.ref: New.
- tools/tests/parse-ref/emtpy-class_dec.ref: New.
- tools/tests/parse-ref/empty-class_dec.ref: New.
- tools/tests/parse-ref/varinit.ref: New.
- tools/tests/parse-ref/no-args_funtype.ref: New.
- tools/tests/parse-ref/manydec.ref: New.
- tools/tests/parse-ref/class_dec.ref: New.
- tools/tests/parse-ref/wiki1.ref: New.
- tools/tests/parse-ref/funcall.ref: New.
- tools/tests/parse-ref/bi-exp.ref: New.
- tools/tests/parse-ref/function.ref: New.
- tools/tests/parse-ref/wiki2.ref: New.
- tools/tests/parse-ref/consinit.ref: New.
- tools/tests/parse-ref/wiki3.ref: New.
- tools/tests/parse-ref/funtype.ref: New.
- tools/tests/parse-ref/empty.ref: New.
- tools/tests/parse-ref/type_static-call.ref: New.
- tools/tests/parse-ref/guard.ref: New.
- tools/tests/good: New.
- tools/tests/good/type_static-call.scl: New.
- tools/tests/good/guard.scl: New.
- tools/tests/good/fundec.scl: New.
- tools/tests/good/vardec.scl: New.
- tools/tests/good/funcall_no-args.scl: New.
- tools/tests/good/varinit.scl: New.
- tools/tests/good/empty-class_dec.scl: New.
- tools/tests/good/manydec.scl: New.
- tools/tests/good/class_dec.scl: New.
- tools/tests/good/no-args_funtype.scl: New.
- tools/tests/good/bi-exp.scl: New.
- tools/tests/good/wiki1.scl: New.
- tools/tests/good/funcall.scl: New.
- tools/tests/good/wiki2.scl: New.
- tools/tests/good/function.scl: New.
- tools/tests/good/consinit.scl: New.
- tools/tests/good/wiki3.scl: New.
- tools/tests/good/funtype.scl: New.
- tools/tests/good/empty.scl: New.
- tools/scoolc: New.
- tools/gen.yml: New.
- tools/parser: New.
- tools/parser/grammar: New.
- tools/parser/grammar/Class.sdf: New.
- tools/parser/grammar/Decl.sdf: New.
- tools/parser/grammar/Exp.sdf: New.
- tools/parser/grammar/ExpOrType.sdf: New.
- tools/parser/grammar/Scool.sdf: New.
- tools/parser/grammar/Lexical.sdf: New.
- tools/parser/grammar/Type.sdf: New.
- tools/parser/grammar/Guard.sdf: New.
- tools/parser/grammar/Stm.sdf: New.
- tools/parser/parse-scool: New.
- tools/parser/Makefile: New.
- tools/Makefile: New.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@482 4aad255d-cdde-0310-9447-f3009e2ae8c0

	image abstractions.

	* oln/core/abstract/image_dimension.hh: Move the static switch
	statement before the cases.
	Aesthetic changes.
	* olena/oln/core/abstract/image_typeness.hh: Likewise.
	(case_<value_type_tag, value_type, 2>): Fix a copy-and-paste bug:
	remove a duplicate `unsigned char' type in the where-clause and
	replace it with `signed char'.
	* oln/core/abstract/image_typeness_integre.hh,
	* tests/image_entry.cc: Aesthetic changes.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@481 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* tests/image_entry.cc (my): Check image_typeness_type vtype and
	inheritance.
	* oln/core/typedefs.hh (value_type, image_typeness_type): Enable
	typedef.
	* oln/core/abstract/image.hh (vtypes::value_type): Enable typedef.
	(packed_vtypes::value_type): New typedef.
	(packed_vtypes::echo): Print value_type and image_typeness_type.
	(packed_vtypes::ensure): Check value_type and image_typeness_type.
	(image::value_type): Enable typedef.
	* oln/core/abstract/image_entry.hh: Include images abstractions
	headers.
	Don't include mlc/case.hh nor oln/core/abstract/image.hh.
	(mlc_case_equipment_for_namespace(oln))
	(abstraction_tags): Move...
	* oln/core/abstract/image_abstractions.hh: ...here (new file).
	* oln/core/abstract/image_dimension.hh: Include it.
	Include stc/entry.hh.
	Aesthetic changes.
	* oln/core/abstract/image_typeness.hh: New file (imported from
	Olena proto-1.0, and modified).
	* oln/core/abstract/image_typeness_integre.hh: New file
	* oln/Makefile.am (nobase_oln_HEADERS): Add
	core/abstract/image_abstractions.hh,
	core/abstract/image_typeness.hh and
	core/abstract/image_typeness_integre.hh.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@480 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* stc/vtypes.hh (mlc::eqv, mlc::neqv): Remove these workarounds.
	(mlc_eqv, mlc_neqv): Remove macros.
	(rec_get_vtype, rec_get_ext_vtype): No longer use these
	workarounds, and revert to mlc_eq and mlc_neq usage (since they
	have been fixed in Metalic).
	* tests/vtypes.cc (main): Adjust.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@479 4aad255d-cdde-0310-9447-f3009e2ae8c0

- mlc/typedef.hh (mlc_propagate_typedef_from): New macro.
- mlc/cmp.hh (eq_, neq_): Change assertions so that it works on value
types.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@478 4aad255d-cdde-0310-9447-f3009e2ae8c0

	documentation.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@477 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* oln/core/typedefs.hh (oln_super_of_, oln_super2_of_)
	(oln_super3_of_, oln_super_of): Remove macros.
	(exact_type): Enable this typedef.
	* oln/core/abstract/image.hh (packed_vtypes::exact_type): New
	typedef.
	(packed_vtypes::echo): Print exact_type.
	(packed_vtypes::ensure): Check exact_type.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@476 4aad255d-cdde-0310-9447-f3009e2ae8c0

git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@475 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* stc/properties.hh: Rename as...
	* stc/vtypes.hh: ...this.
	(stc_equip_namespace_with_properties): Rename as...
	(stc_equip_namespace_with_vtypes): ...this.
	Adjust.
	* stc/Makefile.am (nobase_stc_HEADERS): Rename properties.hh as
	vtypes.hh.
	* tests/properties.cc: Rename as...
	* tests/vtypes.cc: ...this.
	Adjust.
	* tests/entry.cc: Adjust.
	* tests/Makefile.am (check_PROGRAMS): Rename properties as vtypes.
	(properties_SOURCES): Likewise.
	Rename variable as...
	(vtypes_SOURCES): ...this.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@474 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* oln/core/abstract/image_dimension.hh
	(case_<grid_dim_tag, grid_type, 1>)
	(case_<grid_dim_tag, grid_type, 2>)
	(case_<grid_dim_tag, grid_type, 3>):
	s/stc::is_a/stc::abstraction_as_type/.
	* oln/core/abstract/macros.hh (oln_type_of, oln_type_of_)
	* oln/core/abstract/grid.hh (oln_grd_type_of, oln_grd_type_of_):
	Catch up with the new names of Static macros.
	* tests/image_entry.cc: Adjust test.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@473 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* stc/properties.hh (typeof_): Rename class as...
	(type_of_): ...this.
	(stc::is_a): Rename class as...
	(stc::abstraction_as_type): ...this.
	(stc_typeof, stc_typeof_, stc_typeof_in_namespace)
	(stc_typeof_in_namespace_): Rename macros as...
	(stc_local_type_of, stc_local_type_of_, stc_type_of)
	(stc_type_of_): ...these.
	* tests/properties.cc: Adjust test.
	* tests/entry.cc: Typos in comments.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@472 4aad255d-cdde-0310-9447-f3009e2ae8c0

	abstraction according to the grid type of the exact image type.

	* oln/core/abstract/image_entry.hh: Add switch/case equipment in
	the oln namespace.
	* oln/core/abstract/image_dimension.hh
	(grid_dim_tag)
	(case_<grid_dim_tag, grid_type, 1>)
	(case_<grid_dim_tag, grid_type, 2>)
	(case_<grid_dim_tag, grid_type, 3>)
	(default_case_<grid_dim_tag, grid_type>): New Metalic switch/case
	on grid type, returning the corresponding image dimension type.
	(set_entry_node<I, oln::abstract::dimension_tag>): Use this Metalic
	switch/case to choose the dimension abstraction in the inheritance
	tree.
	* oln/core/abstract/image.hh (vtypes): Don't define
	image_dimension_type as an internal vtype, instead...
	* oln/core/abstract/image_dimension.hh
	(oln::ext_vtype<category::image, abstract::image<I>,
	typedef_::image_dimension_type>): ...define it externally, using
	the switch used inheritance-plugging mechanism based on the grid
	type.
	* tests/image_entry.cc (oln): Adjust.
	Check my::image's virtual types.
	Print my::image's vtypes on the standard output.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@471 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* oln/core/abstract/grid.hh,
	* oln/core/1d/grid1d.hh,
	* oln/core/2d/grid2d.hh,
	* oln/core/3d/grid3d.hh: New files (imported from Olena proto-1.0,
	and modified).
	* oln/core/typedefs.hh (grid_type, point_type, dpoint_type)
	(size_type, dimvalue_type, coord_type): Enable these types.
	* oln/core/abstract/image.hh (grid_type): Don't mlc-declare this
	typedef, since oln/core/typedefs.hh already takes care of it.
	(vtypes< category::image, abstract::image<I> >): Enable	grid_type.
	(packed_vtypes): Likewise.
	* oln/core/abstract/internal/image_impl.hh: Improve comment.
	* tests/grid.cc: New test.
	* tests/image_entry.cc: Update this test.
	* oln/Makefile.am (nobase_oln_HEADERS): Add core/abstract/grid.hh,
	core/1d/grid1d.hh, core/2d/grid2d.hh and core/3d/grid3d.hh.
	* tests/Makefile.am (check_PROGRAMS): Add grid.
	(grid_SOURCES): New.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@470 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* stc/properties.hh (mlc::eqv, mlc::neqv): New (workaround)
	classes.
	(mlc_eqv, mlc_neqv): New macros.
	(rec_get_vtype, rec_get_ext_vtype): Use them, to allow the use of
	Metalic values as virtual types.
	* tests/properties.cc: Ensure Metalic values can be valid
	virtual types.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@469 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* oln/core/abstract/image.hh (packed_vtypes): Remove.
	(packed_vtypes<category::image, I>): Use mlc::assert to test the
	virtual types.
	Aesthetic changes.
	(image::~image): Check the vtypes thanks to
	packed_vtypes<category::image, I>.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@468 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* stc/properties.hh (packed_vtypes): New packing structure, to
	be specialized by the user.  When properly defined, this structure
	can be used to check if all the virtual types of a class are sound.
	* tests/properties.cc (my_type_of): New macro.
	Define a packed_vtypes structure for the top-most class (my::A) and
	check these virtual types in my::A's subclasses.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@467 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* COPYING: New (imported from oln proto-1.0).
	* NEWS: New (imported from oln 0.10).


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@466 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* extended/xtd/res.hh,
	* extended/xtd/math.hh,
	* extended/xtd/cast.hh,
	* extended/xtd/cfun.hh,
	* extended/xtd/mexpr.hh,
	* extended/xtd/math/log.hh,
	* extended/xtd/math/floor.hh,
	* extended/xtd/math/tan.hh,
	* extended/xtd/math/log10.hh,
	* extended/xtd/math/atan.hh,
	* extended/xtd/math/cos.hh,
	* extended/xtd/math/acos.hh,
	* extended/xtd/math/sqrt.hh,
	* extended/xtd/math/sin.hh,
	* extended/xtd/math/tanh.hh,
	* extended/xtd/math/asin.hh,
	* extended/xtd/math/cosh.hh,
	* extended/xtd/math/id.hh,
	* extended/xtd/math/exp.hh,
	* extended/xtd/math/logic.hh,
	* extended/xtd/math/sinh.hh,
	* extended/xtd/math/abs.hh,
	* extended/xtd/math/pow.hh,
	* extended/xtd/math/atan2.hh,
	* extended/xtd/math/includes.hh,
	* extended/xtd/math/arith.hh,
	* extended/xtd/math/constraints.hh,
	* extended/xtd/math/ceil.hh,
	* extended/xtd/math/cmp.hh,
	* extended/xtd/literal.hh,
	* extended/xtd/args.hh,
	* extended/xtd/mfun.hh,
	* extended/xtd/abstract/nary_fun.hh,
	* extended/xtd/abstract/open_nary_fun.hh,
	* extended/xtd/abstract/plain_nary_fun.hh,
	* extended/xtd/abstract/fun_expr.hh,
	* extended/xtd/abstract/meta_nary_fun.hh,
	* extended/xtd/abstract/fun.hh,
	* extended/xtd/abstract/open_fun.hh,
	* extended/xtd/abstract/plain_fun.hh,
	* extended/xtd/abstract/meta_fun.hh,
	* extended/xtd/abstract/fun_nary_expr.hh,
	* extended/xtd/optraits.hh,
	* extended/xtd/traits.hh,
	* extended/xtd/builtin/traits.hh,
	* extended/xtd/arg.hh,
	* extended/xtd/bind.hh,
	* extended/xtd/internal/opmacros.hh,
	* extended/xtd/internal/mlc.hh,
	* metalic/mlc/elt.hh,
	* metalic/mlc/ret.hh,
	* metalic/mlc/int.hh,
	* metalic/mlc/pair.hh,
	* metalic/mlc/bool.hh,
	* metalic/mlc/flags.hh,
	* metalic/mlc/comma.hh,
	* metalic/mlc/logic.hh,
	* metalic/mlc/if.hh,
	* metalic/mlc/values.hh,
	* metalic/mlc/typedef.hh,
	* metalic/mlc/assert.hh,
	* metalic/mlc/switch.hh,
	* metalic/mlc/valist.hh,
	* metalic/mlc/implies.hh,
	* metalic/mlc/abstract/type.hh,
	* metalic/mlc/abstract/bexpr.hh,
	* metalic/mlc/abort.hh,
	* metalic/mlc/to_string.hh,
	* metalic/mlc/wrap.hh,
	* metalic/mlc/is_a.hh,
	* metalic/mlc/case.hh,
	* metalic/mlc/value.hh,
	* metalic/mlc/char.hh,
	* metalic/mlc/contract.hh,
	* metalic/mlc/uint.hh,
	* metalic/mlc/cmp.hh,
	* metalic/mlc/bexpr.hh,
	* static/tests/properties.cc,
	* static/tests/entry.cc,
	* static/tests/any.cc: Update the FSF postal address.

	* extended/tests/cfun.cc,
	* extended/tests/id.cc,
	* extended/tests/bind.cc,
	* extended/tests/bi_traits/bool.cc,
	* extended/tests/bi_traits/char.cc,
	* extended/tests/bi_traits/sint.cc,
	* extended/tests/bi_traits/uint.cc,
	* extended/tests/bi_traits/schar.cc,
	* extended/tests/bi_traits/slong.cc,
	* extended/tests/bi_traits/sshort.cc,
	* extended/tests/bi_traits/uchar.cc,
	* extended/tests/bi_traits/ushort.cc,
	* extended/tests/bi_traits/ulong.cc,
	* extended/tests/bi_traits/float.cc,
	* extended/tests/bi_traits/ldouble.cc,
	* extended/tests/bi_traits/double.cc,
	* extended/tests/cos.cc,
	* extended/tests/abs.cc,
	* extended/tests/optraits.cc,
	* extended/tests/lit.cc,
	* extended/tests/math.cc,
	* extended/tests/cast.cc,
	* metalic/tests/is_a.cc,
	* metalic/tests/case.cc,
	* metalic/tests/if.cc,
	* metalic/tests/typedef.cc,
	* metalic/tests/or.cc,
	* metalic/tests/switch.cc,
	* metalic/tests/gcase.cc,
	* metalic/tests/protected.cc,
	* metalic/tests/ret.cc,
	* static/stc/entry.hh,
	* static/stc/any.hh,
	* static/stc/properties.hh: Add missing copyright notices.

	* olena/oln/core/typedefs.hh,
	* olena/oln/core/abstract/image.hh,
	* olena/oln/core/abstract/image_entry.hh,
	* olena/oln/core/abstract/macros.hh,
	* olena/oln/core/abstract/image_dimension.hh,
	* olena/oln/core/abstract/any.hh,
	* olena/oln/core/abstract/internal/image_impl.hh: .
	* olena/tests/image_entry.cc: Fix the FSF postal address.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@465 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* metalic/mlc/any.hh: Move file...
	* static/stc/any.hh: ...here.
	Adjust.
	* olena/oln/core/abstract/any.hh: Adjust client.
	* metalic/tests/any.cc: Move test...
	* static/tests/any.cc: ...here.
	Adjust test.
	* metalic/mlc/Makefile.am (nobase_mlc_HEADERS): Move any.cc...
	* static/stc/Makefile.am (nobase_stc_HEADERS): ...here.
	* metalic/tests/Makefile.am (check_PROGRAMS): Move any
	* static/tests/Makefile.am (check_PROGRAMS): ...here
	* metalic/tests/Makefile.am (any_SOURCES): Move variable...
	* static/tests/Makefile.am (any_SOURCES): ...here


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@464 4aad255d-cdde-0310-9447-f3009e2ae8c0

	olena/tests/Makefile.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@463 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* oln/core/abstract/any.hh, oln/core/typedefs.hh,
	* oln/core/abstract/image.hh,
	* oln/core/abstract/internal/image_impl.hh
	* oln/core/abstract/image_entry.hh
	* oln/core/abstract/image_dimension.hh: New files (imported from
	Olena proto-1.0, and modified).
	* oln/core/abstract/macros.hh: New file.
	* tests/image_entry.cc: New test.
	* Makefile.am, oln/Makefile.am, tests/Makefile.am: New files.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@462 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* stc/properties.hh (std::is_a): New helper.
	(stc_super, stc_pseudosuper, stc_typeof): Simplify the definitions
	of these macros, using their ``underscored'' version.
	(stc_typeof_in_namespace, stc_typeof_in_namespace_): New macro.
	* tests/properties.cc: Typos in comments.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@461 4aad255d-cdde-0310-9447-f3009e2ae8c0

	Remove type.hh.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@460 4aad255d-cdde-0310-9447-f3009e2ae8c0

git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@459 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* Makefile.am (SUBDIRS): Add olena.
	* olena/Makefile.am, olena/oln/Makefile.am,
	* olena/tests/Makefile.am: New files.
	* configure.ac: Configure them.
	* TODO: Update.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@458 4aad255d-cdde-0310-9447-f3009e2ae8c0

- xtd/res.hh (macros): Add spaces to fix pb with icpc preproc.
- xtd/args.hh (xtd_nargs): Likewise.
- xtd/math/abs.hh (internal::int_): Handwrite code.
- xtd/math/pow.hh: Cosmetics.
- xtd/math/arith.hh: Add comments.
- xtd/literal.hh (argument): Remove reference so that temporaries
are copied.
- xtd/abstract/fun_nary_expr.hh: Likewise.
- xtd/bind.hh: Likewise.
- xtd/abstract/any.hh: Remove cause obsolete.
- xtd/abstract/fun.hh: Add doc.
(abstract::fun_): Disable imperative operators.
- xtd/abstract/plain_fun.hh: Add doc.
- xtd/optraits.hh: Rewrite.
- xtd/traits.hh: New.
- xtd/builtin/traits.hh: Replace dummy code by effective one.
- xtd/internal/opmacros.hh: Rewrite.
- xtd/internal/mlc.hh: Add include.
- tests: Add ignore rule for '.deps'.
- tests/cfun.cc: Fix icpc remark.
- tests/abs.cc: New.
- tests/optraits.cc: New.
- tests/Makefile.am: Update.
- tests/bi_traits: New directory to test builtin op traits.
- tests/bi_traits/bool.cc: New.
- tests/bi_traits/char.cc: New.
- tests/bi_traits/sint.cc: New.
- tests/bi_traits/uint.cc: New.
- tests/bi_traits/schar.cc: New.
- tests/bi_traits/slong.cc: New.
- tests/bi_traits/uchar.cc: New.
- tests/bi_traits/sshort.cc: New.
- tests/bi_traits/ulong.cc: New.
- tests/bi_traits/ushort.cc: New.
- tests/bi_traits/float.cc: New.
- tests/bi_traits/ldouble.cc: New.
- tests/bi_traits/double.cc: New.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@457 4aad255d-cdde-0310-9447-f3009e2ae8c0

- tests (svn:ignore): Add '.deps'.
- tests/case.cc: Fix warning with icpc.
- tests/gcase.cc: New file.
- mlc/abstract: New directory.
- mlc/type.hh: Rename as...
- mlc/abstract/type.hh: ...this.
- mlc/bexpr.hh (abstract::bexpr): Move to...
- mlc/abstract/bexpr.hh: ...this new file.
- mlc/flags.hh: Update include.
- mlc/value.hh: Update include.
- mlc/ret.hh: Add separators in macros to fix error with icpc.
- mlc/assert.hh: Add dtor to fix warning with icpc.
- mlc/case.hh (internal::a_get_case): New flag.
(get_case_): New class; it differs from case_ in remaining silent
when no case matches.
- mlc/cmp.hh (is_builtin_): New class with its specializations.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@453 4aad255d-cdde-0310-9447-f3009e2ae8c0

- xtd/math.hh: Add includes.
- xtd/math/log.hh: New.
- xtd/math/floor.hh: New.
- xtd/math/log10.hh: New.
- xtd/math/tan.hh: New.
- xtd/math/atan.hh: New.
- xtd/math/cos.hh: New.
- xtd/math/trigo.hh: Remove; dispatch contents into several files.
- xtd/math/acos.hh: New.
- xtd/math/sin.hh: New.
- xtd/math/sqrt.hh: New.
- xtd/math/asin.hh: New.
- xtd/math/tanh.hh: New.
- xtd/math/exp.hh: New.
- xtd/math/cosh.hh: New.
- xtd/math/id.hh: Update includes.
- xtd/math/sinh.hh: New.
- xtd/math/atan2.hh: New.
- xtd/math/abs.hh: New.
- xtd/math/pow.hh: New.
- xtd/math/includes.hh: New.
- xtd/math/constraints.hh: New.
- xtd/math/ceil.hh: New.
- xtd/ops_expr.hh: Remove; dispatch contents into...
- xtd/internal/opmacros.hh: ...this new file and the following three
files.
- xtd/math/arith.hh: Update.
- xtd/math/cmp.hh: New.
- xtd/math/logic.hh: New.
- xtd/traits.hh: Rename as...
- xtd/optraits.hh: ...this; update.
- xtd/builtin/traits.hh: Update.
- tests/cos.cc: Update.
- tests/Makefile.am: Update.
- tests/math.cc: New.
- tests/cast.cc: Update.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@450 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* mlc/contract.hh: New (imported from Olena proto-1.0).
	* mlc/any.hh: New (imported from Olena proto-1.0).
	Aesthetic changes.
	(any__simple): New class.
	* mlc/is_a.hh (mlc_is_a, mlc_is_not_a): Use the `template' keyword
	to remove an ambiguity w.r.t the nature of the template struct
	`ret' within mlc::form::of.
	* tests/any.cc: New test.
	* tests/Makefile.am (check_PROGRAMS): Add any.
	(any_SOURCES): New.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@449 4aad255d-cdde-0310-9447-f3009e2ae8c0

	* tests/entry.cc (mlc::abort_): Remove this fake and use
	mlc/abort.hh instead.
	* stc/properties.hh: s/mlc::is_found/mlc::is_found_/g.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@448 4aad255d-cdde-0310-9447-f3009e2ae8c0

- tests/switch.cc: Update.
- tests/protected.cc: New file.
- tests/Makefile.am (protected): New entry.
- mlc/ret.hh (mlc_ret_, mlc_ret_found_in): New macros.
(ret_found_in_): Update.
- mlc/if.hh (FIXME): Remove.
(if_): Change inheritance into composition.
- mlc/typedef.hh: Cosmetics.
- mlc/switch.hh (mlc_switch, mlc_switch_): New macros.
- mlc/TODO: Update.
- mlc/case.hh (mlc_case, mlc_case_): New macros.
(ERROR): Update and augment.
(WARNING): New.
(mlc_case_equipment_for_namespace): Update to handle protected_.
- mlc/cmp.hh (mlc_is_found, mlc_is_not_found): New macros.
(mlc_is_undefined, mlc_is_defined): New macros.
(mlc_is_ok, mlc_is_not_ok): New macros.
(is_value, is_not_value): Update.
(is_not_found_, is_found_): Update.
(is_not_ok_, is_ok_): Update.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@447 4aad255d-cdde-0310-9447-f3009e2ae8c0

git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@446 4aad255d-cdde-0310-9447-f3009e2ae8c0

- mlc/bool.hh (bool_): Remove inheritance from bexpr_is_.
- mlc/bexpr.hh (bexpr_is_): Rename as...
(bexpr_): ...this.
(bexpr_<b>::bexpr): New typedef so that bexprs can be simplified.
- tests/if.cc: Update.
- mlc/logic.hh: Add macros; add static checks; update.
- mlc/if.hh: Add static check.
- mlc/implies.hh: Add static check and update.
- mlc/abort.hh: Update.
- mlc/is_a.hh (where_): Add static check.
Update.
- mlc/case.hh: Update.
- mlc/cmp.hh: Update.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@444 4aad255d-cdde-0310-9447-f3009e2ae8c0