t-ebop-develop/ebopNew/ebopRules.proof /home/aflesch/project-ebop-develop/ebopNew/ml_files/ebopRules_proof.ml        --- OK
--- Task "parse /home/aflesch/project-ebop-develop/ebopNew/ebopRules.proof" took 0.035 seconds ---
Task "parse /home/aflesch/project-ebop-develop/ebopNew/exo.proof" started...
Executing  /home/aflesch/project-ebop-develop/parser/usr2ml /home/aflesch/project-ebop-develop/ebopNew/exo.proof /home/aflesch/project-ebop-develop/ebopNew/ml_files/exo_proof.ml        --- OK
--- Task "parse /home/aflesch/project-ebop-develop/ebopNew/exo.proof" took 0.016 seconds ---
--- Task "parse proof files" took 0.071 seconds ---
Concatenating files to /home/aflesch/project-ebop-develop/ebopNew/build/all.ml ...
Adding /home/aflesch/project-ebop-develop/ebopNew/includes/useFiles.ml ...
Adding /home/aflesch/project-ebop-develop/ebopNew/ml_files/ebopNodes_proof.ml ...
Adding /home/aflesch/project-ebop-develop/ebopNew/ml_files/ebopRules_proof.ml ...
Adding /home/aflesch/project-ebop-develop/ebopNew/ml_files/exo_proof.ml ...
--- Task "concatenate ml files" took 0.004 seconds ---
Task "make symbtrans" started...
Executing make in /home/aflesch/project-ebop-develop/symbtrans_exe
clear

cp ../maxima/maxima.ml .
cp ../libProof/lib_proof.ml .
./set_compile_version.sh
Traitement de arithmetics.ml
Traitement de auxiliary_functions.ml
Traitement de combinatorics.ml
Traitement de converter_extensions.ml
Traitement de converter.ml
Traitement de converter_strategy.ml
Traitement de diff_compare.ml
Traitement de exceptions.ml
Traitement de extensions.ml
Traitement de extension_synthesis.ml
Traitement de file_management.ml
Traitement de functions_exported_to_memsalab.ml
Traitement de generic_extensions.ml
Traitement de html_view.ml
Traitement de init_pointers.ml
Traitement de lib_proof.ml
Traitement de matching_symb.ml
Traitement de maxima.ml
Traitement de memsalab.ml
Traitement de non_regression_test_results.ml
Traitement de pde.ml
Traitement de run_latex.ml
Traitement de strategies.ml
Traitement de symbtypesimple.ml
Traitement de toplevel_citadle.ml
Traitement de types_symb.ml
ocamlc -c maxima.ml
ocamlc -c symbtypesimple.ml
File "symbtypesimple.ml", line 113, characters 2-31:
Warning 30: the constructor RwRwVar is defined in both types tree and strategy.
ocamlc -c types_symb.ml
ocamlc -c exceptions.ml
ocamlc -c combinatorics.ml
ocamlc -c arithmetics.ml
ocamlc -c converter.ml
File "converter.ml", line 226, characters 52-833:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(List_of_tree (_::_::_::_)|List_of_tree (_::[])|List_of_tree []|Box|Nil|True|
False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|Plus (_, _)|
Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|MathCst _|
Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|Fun (_, _, _, _, _)|
Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|Inspect (_, _)|RwVar _|
RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|ApplyExtToPDE (_, _)|Or (_, _)|
And (_, _)|Not _|Less (_, _)|LessOrEqual (_, _)|Greater (_, _)|
GreaterOrEqual (_, _)|Equal (_, _)|NotEqual (_, _)|Belongs (_, _)|
ProperSubset (_, _)|Subset (_, _)|Set _|Theta _|FunArithSymplify _|
Union (_, _)|SetMinus (_, _)|Intersection (_, _)|SetEqual (_, _)|
LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|IndexOf (_, _)|
AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|RegionOf _|
VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|ExprOf (_, _)|
InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|NthFieldOf (_, _, _))
File "converter.ml", line 234, characters 55-843:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(List_of_tree (_::_::_::_)|List_of_tree (_::[])|List_of_tree []|Box|Nil|True|
False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|Plus (_, _)|
Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|MathCst _|
Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|Fun (_, _, _, _, _)|
Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|Inspect (_, _)|RwVar _|
RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|ApplyExtToPDE (_, _)|Or (_, _)|
And (_, _)|Not _|Less (_, _)|LessOrEqual (_, _)|Greater (_, _)|
GreaterOrEqual (_, _)|Equal (_, _)|NotEqual (_, _)|Belongs (_, _)|
ProperSubset (_, _)|Subset (_, _)|Set _|Theta _|FunArithSymplify _|
Union (_, _)|SetMinus (_, _)|Intersection (_, _)|SetEqual (_, _)|
LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|IndexOf (_, _)|
AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|RegionOf _|
VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|ExprOf (_, _)|
InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|NthFieldOf (_, _, _))
File "converter.ml", line 245, characters 45-616:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(List_of_tree []|Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|
Equality (_, _)|Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|
Shortcut (_, _)|MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|
MathVar (_, _, _)|Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|
Pde (_, _, _, _, _, _)|Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|
ApplyModelToPDE (_, _)|ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|
Less (_, _)|LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|
Equal (_, _)|NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|
Subset (_, _)|Set _|Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|
Intersection (_, _)|SetEqual (_, _)|LocatedTree (_, _)|NameOf _|
RangeOf (_, _)|EnforcingOf _|IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|
BoundaryOf _|NormalOf _|RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|
BCExprOf (_, _)|TypeOf _|ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|
ParameterOf (_, _)|NthFieldOf (_, _, _))
File "converter.ml", line 438, characters 24-6466:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
Var (_, 0)
File "converter.ml", line 1693, characters 42-478:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
""::_
File "converter.ml", line 62, characters 4-5:
Warning 11: this match case is unused.
File "converter.ml", line 231, characters 46-47:
Warning 11: this match case is unused.
File "converter.ml", line 239, characters 47-48:
Warning 11: this match case is unused.
File "converter.ml", line 249, characters 47-48:
Warning 11: this match case is unused.
File "converter.ml", line 664, characters 4-19:
Warning 11: this match case is unused.
File "converter.ml", line 1691, characters 4-5:
Warning 11: this match case is unused.
ocamlc -c auxiliary_functions.ml
File "auxiliary_functions.ml", line 164, characters 57-182:
Warning 10: this expression should have type unit.
File "auxiliary_functions.ml", line 301, characters 9-37:
Warning 21: this statement never returns (or has an unsound type.)
File "auxiliary_functions.ml", line 315, characters 41-73:
Warning 21: this statement never returns (or has an unsound type.)
File "auxiliary_functions.ml", line 320, characters 41-73:
Warning 21: this statement never returns (or has an unsound type.)
File "auxiliary_functions.ml", line 327, characters 42-74:
Warning 21: this statement never returns (or has an unsound type.)
File "auxiliary_functions.ml", line 350, characters 2-17:
Warning 11: this match case is unused.
File "auxiliary_functions.ml", line 481, characters 10-11:
Warning 11: this match case is unused.
File "auxiliary_functions.ml", line 990, characters 2-17:
Warning 11: this match case is unused.
ocamlc -c matching_symb.ml
ocamlc -c strategies.ml
File "strategies.ml", line 110, characters 22-90:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Terme (_, _::_::_::_::_)|Terme (_, _::_::[])|Terme (_, _::[])|Terme (_, [])|
Var (_, _))
File "strategies.ml", line 115, characters 9-15:
Warning 26: unused variable symbol.
File "strategies.ml", line 134, characters 31-37:
Warning 26: unused variable symbol.
File "strategies.ml", line 238, characters 38-50:
Warning 26: unused variable my_str_ocaml.
File "strategies.ml", line 463, characters 9-15:
Warning 26: unused variable symbol.
File "strategies.ml", line 481, characters 31-37:
Warning 26: unused variable symbol.
ocamlc -c converter_strategy.ml
File "converter_strategy.ml", line 250, characters 32-2021:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
OuterMostWithFail _
File "converter_strategy.ml", line 954, characters 54-77:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _))
File "converter_strategy.ml", line 966, characters 57-80:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _))
File "converter_strategy.ml", line 1049, characters 49-76:
Warning 21: this statement never returns (or has an unsound type.)
File "converter_strategy.ml", line 1036, characters 11-1340:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
((CstName _, CstName _, _,
 (Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
 Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
 MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
 Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
 Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
 ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
 LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
 NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
 Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
 SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
 IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
 RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
 ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
 NthFieldOf (_, _, _)))|
(CstName _,
(Box|Nil|True|False|List_of_tree _|Pair_of_tree (_, _, _)|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)), _, _)|
((Box|Nil|True|False|List_of_tree _|Pair_of_tree (_, _, _)|Equality (_, _)|
 Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
 MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
 Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
 Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
 ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
 LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
 NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
 Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
 SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
 IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
 RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
 ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
 NthFieldOf (_, _, _)),
_, _, _))
File "converter_strategy.ml", line 1068, characters 49-76:
Warning 21: this statement never returns (or has an unsound type.)
File "converter_strategy.ml", line 1055, characters 23-1325:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
((CstName _, CstName _, _,
 (Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
 Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
 MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
 Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
 Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
 ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
 LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
 NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
 Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
 SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
 IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
 RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
 ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
 NthFieldOf (_, _, _)))|
(CstName _,
(Box|Nil|True|False|List_of_tree _|Pair_of_tree (_, _, _)|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)), _, _)|
((Box|Nil|True|False|List_of_tree _|Pair_of_tree (_, _, _)|Equality (_, _)|
 Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
 MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
 Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
 Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
 ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
 LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
 NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
 Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
 SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
 IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
 RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
 ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
 NthFieldOf (_, _, _)),
_, _, _))
File "converter_strategy.ml", line 1088, characters 49-76:
Warning 21: this statement never returns (or has an unsound type.)
File "converter_strategy.ml", line 1075, characters 12-1374:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
((CstName _, CstName _, _, _,
 (Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
 Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
 MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
 Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
 Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
 ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
 LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
 NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
 Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
 SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
 IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
 RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
 ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
 NthFieldOf (_, _, _)))|
(CstName _,
(Box|Nil|True|False|List_of_tree _|Pair_of_tree (_, _, _)|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)), _, _, _)|
((Box|Nil|True|False|List_of_tree _|Pair_of_tree (_, _, _)|Equality (_, _)|
 Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
 MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
 Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
 Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
 ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
 LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
 NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
 Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
 SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
 IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
 RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
 ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
 NthFieldOf (_, _, _)),
_, _, _, _))
File "converter_strategy.ml", line 1107, characters 49-76:
Warning 21: this statement never returns (or has an unsound type.)
File "converter_strategy.ml", line 1094, characters 20-1332:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
((CstName _, CstName _, _, _,
 (Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
 Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
 MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
 Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
 Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
 ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
 LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
 NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
 Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
 SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
 IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
 RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
 ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
 NthFieldOf (_, _, _)))|
(CstName _,
(Box|Nil|True|False|List_of_tree _|Pair_of_tree (_, _, _)|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)), _, _, _)|
((Box|Nil|True|False|List_of_tree _|Pair_of_tree (_, _, _)|Equality (_, _)|
 Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
 MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
 Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
 Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
 ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
 LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
 NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
 Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
 SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
 IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
 RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
 ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
 NthFieldOf (_, _, _)),
_, _, _, _))
File "converter_strategy.ml", line 61, characters 4-12:
Warning 12: this sub-pattern is unused.
File "converter_strategy.ml", line 484, characters 4-14:
Warning 11: this match case is unused.
File "converter_strategy.ml", line 993, characters 18-23:
Warning 26: unused variable sigma.
File "converter_strategy.ml", line 1011, characters 18-23:
Warning 26: unused variable sigma.
File "converter_strategy.ml", line 1042, characters 47-48:
Warning 26: unused variable a.
File "converter_strategy.ml", line 1043, characters 47-48:
Warning 26: unused variable b.
File "converter_strategy.ml", line 1061, characters 47-48:
Warning 26: unused variable a.
File "converter_strategy.ml", line 1062, characters 47-48:
Warning 26: unused variable b.
File "converter_strategy.ml", line 1081, characters 47-48:
Warning 26: unused variable a.
File "converter_strategy.ml", line 1082, characters 47-48:
Warning 26: unused variable b.
File "converter_strategy.ml", line 1100, characters 47-48:
Warning 26: unused variable a.
File "converter_strategy.ml", line 1101, characters 47-48:
Warning 26: unused variable b.
File "converter_strategy.ml", line 1189, characters 4-21:
Warning 12: this sub-pattern is unused.
File "converter_strategy.ml", line 1191, characters 4-22:
Warning 12: this sub-pattern is unused.
ocamlc -c run_latex.ml
ocamlc -c extensions.ml
ocamlc -c extension_synthesis.ml
ocamlc -c converter_extensions.ml
File "converter_extensions.ml", line 90, characters 78-122:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Extfail_oc|ExtCompose_oc (_, _)|ExtInside_oc _|ExtChoice_oc _|
ExtIfThen_oc (_, _)|ExtAnd_oc _|ExtInsert_oc _|CombineExt_oc (_, _)|
DiffDebugTreeExt_oc (_, _, _, _)|DiffDebugStratExt_oc (_, _, _, _)|
Print_oc (_, _)|Print_oc' (_, _, _))
File "converter_extensions.ml", line 477, characters 38-5569:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(PrintExt
   (_,
   (Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
   Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|
   Shortcut (_, _)|MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|
   MathVar (_, _, _)|Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|
   Pde (_, _, _, _, _, _)|Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|
   ApplyModelToPDE (_, _)|ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|
   Less (_, _)|LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|
   Equal (_, _)|NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|
   Subset (_, _)|Set _|Theta _|FunArithSymplify _|Union (_, _)|
   SetMinus (_, _)|Intersection (_, _)|SetEqual (_, _)|LocatedTree (_, _)|
   NameOf _|RangeOf (_, _)|EnforcingOf _|IndexOf (_, _)|AxesOf (_, _)|
   SubregionOf (_, _)|BoundaryOf _|NormalOf _|RegionOf _|VariableOf (_, _)|
   BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|ExprOf (_, _)|
   InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
   NthFieldOf (_, _, _)))|
PrintExt'
  (_, _,
  (Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
  Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
  MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
  Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
  Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
  ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
  LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
  NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
  Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|
  Intersection (_, _)|SetEqual (_, _)|LocatedTree (_, _)|NameOf _|
  RangeOf (_, _)|EnforcingOf _|IndexOf (_, _)|AxesOf (_, _)|
  SubregionOf (_, _)|BoundaryOf _|NormalOf _|RegionOf _|VariableOf (_, _)|
  BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|ExprOf (_, _)|InputvarOf (_, _)|
  OutputvarOf (_, _)|ParameterOf (_, _)|NthFieldOf (_, _, _)))|
List_of_extension _|ExtSOInsert _)
File "converter_extensions.ml", line 625, characters 4-5:
Warning 11: this match case is unused.
File "converter_extensions.ml", line 744, characters 4-5:
Warning 11: this match case is unused.
ocamlc -c generic_extensions.ml
File "generic_extensions.ml", line 285, characters 69-108:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Extfail_oc|ExtCompose_oc (_, _)|ExtInside_oc _|ExtChoice_oc _|
ExtIfThen_oc (_, _)|ExtAnd_oc _|ExtInsert_oc _|CombineExt_oc (_, _)|
DiffDebugTreeExt_oc (_, _, _, _)|DiffDebugStratExt_oc (_, _, _, _)|
Print_oc (_, _)|Print_oc' (_, _, _))
File "generic_extensions.ml", line 634, characters 21-57:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
_::_
File "generic_extensions.ml", line 643, characters 14-1698:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_::_::_::_::_::_::_|_::_::_::_::[]|_::_::_::[]|_::_::[]|_::[]|[])
File "generic_extensions.ml", line 951, characters 26-29:
Warning 28: wildcard pattern given as argument to a constant constructor
File "generic_extensions.ml", line 213, characters 3-33:
Warning 11: this match case is unused.
File "generic_extensions.ml", line 564, characters 41-46:
Warning 26: unused variable sigma.
File "generic_extensions.ml", line 835, characters 4-69:
Warning 11: this match case is unused.
ocamlc -c html_view.ml
File "html_view.ml", line 123, characters 44-302:
Warning 10: this expression should have type unit.
File "html_view.ml", line 544, characters 74-90:
Warning 3: deprecated: String.uppercase
Use String.uppercase_ascii instead.
File "html_view.ml", line 92, characters 4-6:
Warning 26: unused variable n1.
File "html_view.ml", line 93, characters 4-6:
Warning 26: unused variable n2.
File "html_view.ml", line 519, characters 30-58:
Warning 26: unused variable alpha.
ocamlc -c diff_compare.ml
File "diff_compare.ml", line 163, characters 32-33:
Warning 26: unused variable p.
ocamlc -c init_pointers.ml
ocamlc -c file_management.ml
# demander à nicolas ce que c'est
ocamlc -c functions_exported_to_memsalab.ml
File "functions_exported_to_memsalab.ml", line 36, characters 19-673:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_, _,
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)))
File "functions_exported_to_memsalab.ml", line 44, characters 25-788:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_, _,
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)), _)
File "functions_exported_to_memsalab.ml", line 51, characters 26-737:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_, _,
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)))
File "functions_exported_to_memsalab.ml", line 85, characters 20-690:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_, _,
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)))
File "functions_exported_to_memsalab.ml", line 92, characters 26-795:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_, _,
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)), _)
File "functions_exported_to_memsalab.ml", line 117, characters 18-665:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_, _,
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)))
File "functions_exported_to_memsalab.ml", line 125, characters 26-636:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_, _,
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)))
File "functions_exported_to_memsalab.ml", line 133, characters 24-789:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_, _,
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)), _)
File "functions_exported_to_memsalab.ml", line 141, characters 32-775:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(_, _,
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _)), _)
File "functions_exported_to_memsalab.ml", line 164, characters 47-67:
Warning 10: this expression should have type unit.
File "functions_exported_to_memsalab.ml", line 181, characters 24-101:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _))
File "functions_exported_to_memsalab.ml", line 184, characters 25-106:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(ArithSymplify|StratBox|Store'|StatRuleApplication|Stop|ListFlattening|
Rule (_, _, _, _)|Lemma (_, _)|Step (_, _)|Model (_, _)|TopDown _|BottomUp _|
OuterMost _|OuterMostWithFail _|InnerMost _|LeftChoice _|Choice (_, _)|
Composition _|Compose (_, _)|Iterate _|StrategyInside _|NoStrategy _|
CoStrategy _|StratRwVar _|RwRwVar _|FailAsId _|LocatedStrategy (_, _)|
ApplyStrategy (_, _)|ApplyExtToModel (_, _)|RegStrat (_, _, _, _)|Store _|
StoreExprVal (_, _)|StoreExprRef (_, _)|DiffDebug (_, _, _, _)|
DiffDebugExpr (_, _, _, _, _)|GenericStrat _|GenericStrat2 (_, _)|
Print (_, _)|PrintTree (_, _, _)|Printf (_, _, _))
File "functions_exported_to_memsalab.ml", line 206, characters 27-55:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Box|Nil|True|False|Pair_of_tree (_, _, _)|CstName _|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _))
File "functions_exported_to_memsalab.ml", line 207, characters 27-59:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(ArithSymplify|StratBox|Store'|StatRuleApplication|Stop|ListFlattening|
Rule (_, _, _, _)|Lemma (_, _)|Step (_, _)|Model (_, _)|TopDown _|BottomUp _|
OuterMost _|OuterMostWithFail _|InnerMost _|LeftChoice _|Choice (_, _)|
Composition _|Compose (_, _)|Iterate _|StrategyInside _|NoStrategy _|
CoStrategy _|StratRwVar _|RwRwVar _|FailAsId _|LocatedStrategy (_, _)|
ApplyStrategy (_, _)|ApplyExtToModel (_, _)|RegStrat (_, _, _, _)|Store _|
StoreExprVal (_, _)|StoreExprRef (_, _)|DiffDebug (_, _, _, _)|
DiffDebugExpr (_, _, _, _, _)|GenericStrat _|GenericStrat2 (_, _)|
Print (_, _)|PrintTree (_, _, _)|Printf (_, _, _))
File "functions_exported_to_memsalab.ml", line 208, characters 27-60:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Extfail|ExtRule (_, _, _)|ExtChoice (_, _, _)|ExtAnd (_, _, _)|
ExtCompose (_, _, _)|ExtSORule (_, _, _)|ExtSOCompose (_, _, _)|ExtInside _|
ExtInsert _|ExtSOInsert _|ExtLabel (_, _)|ExtGoto _|ExtAt (_, _)|
ExtOuterMost (_, _)|CombineExt (_, _)|ShortCutExtension (_, _)|
PrintExt (_, _)|PrintExt' (_, _, _)|DiffDebugTreeExt (_, _, _, _)|
DiffDebugStratExt (_, _, _, _))
File "functions_exported_to_memsalab.ml", line 216, characters 2-36:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Box|Nil|True|False|List_of_tree _|Pair_of_tree (_, _, _)|Equality (_, _)|
Plus (_, _)|Multiply (_, _)|Minus _|Inverse _|Power (_, _)|Shortcut (_, _)|
MathCst _|Ind (_, _, _)|Reg (_, _, _, _, _, _)|MathVar (_, _, _)|
Fun (_, _, _, _, _)|Oper (_, _, _, _, _, _)|Pde (_, _, _, _, _, _)|
Inspect (_, _)|RwVar _|RwRwVar _|GlobalVar _|ApplyModelToPDE (_, _)|
ApplyExtToPDE (_, _)|Or (_, _)|And (_, _)|Not _|Less (_, _)|
LessOrEqual (_, _)|Greater (_, _)|GreaterOrEqual (_, _)|Equal (_, _)|
NotEqual (_, _)|Belongs (_, _)|ProperSubset (_, _)|Subset (_, _)|Set _|
Theta _|FunArithSymplify _|Union (_, _)|SetMinus (_, _)|Intersection (_, _)|
SetEqual (_, _)|LocatedTree (_, _)|NameOf _|RangeOf (_, _)|EnforcingOf _|
IndexOf (_, _)|AxesOf (_, _)|SubregionOf (_, _)|BoundaryOf _|NormalOf _|
RegionOf _|VariableOf (_, _)|BCRegionOf (_, _)|BCExprOf (_, _)|TypeOf _|
ExprOf (_, _)|InputvarOf (_, _)|OutputvarOf (_, _)|ParameterOf (_, _)|
NthFieldOf (_, _, _))
File "functions_exported_to_memsalab.ml", line 257, characters 60-73:
Error: Unbound value arithSymplify
Makefile:9: recipe for target 'main' failed
make: *** [main] Error 2
--- ERROR
None
Symbtrans is up to date
--- Task "make symbtrans" took 2.45 seconds ---
Task "interpret ml file" started...
Executing  ocaml unix.cma -w a -I ../../symbtrans_exe /home/aflesch/project-ebop-develop/ebopNew/build/all.ml        --- OK
--- Task "interpret ml file" took 3.341 seconds ---
--- Task "process the project" took 5.869 seconds ---
Reading the strategy from /home/aflesch/project-ebop-develop/ebopNew/build/__result_of_print_strategy__.txt ...
File not found : /home/aflesch/project-ebop-develop/helloWorld/config_helloworld.json.
Loading project configuration file  ...
Building project  ...
Setting up build directory...
Error while setting up the build directory, please contact the administrator
--- Task "process the project" took 0.0 seconds ---
Error while handling the project /home/aflesch/project-ebop-develop/helloWorld/config_helloworld.json
File not found : /home/aflesch/project-ebop-develop/exosCitadle/exo1Print/config_exoPrint.json.
Loading project configuration file  ...
Building project  ...
Setting up build directory...
Error while setting up the build directory, please contact the administrator
--- Task "process the project" took 0.0 seconds ---
Error while handling the project /home/aflesch/project-ebop-develop/exosCitadle/exo1Print/config_exoPrint.json
File not found : /home/aflesch/project-ebop-develop/exosCitadle/exo2Variables/config_exoVariables.json.
Loading project configuration file  ...
Building project  ...
Setting up build directory...
Error while setting up the build directory, please contact the administrator
--- Task "process the project" took 0.0 seconds ---
Error while handling the project /home/aflesch/project-ebop-develop/exosCitadle/exo2Variables/config_exoVariables.json
File not found : /home/aflesch/project-ebop-develop/exosCitadle/exo3Evaluate/config_exoEvaluate.json.
Loading project configuration file  ...
Building project  ...
Setting up build directory...
Error while setting up the build directory, please contact the administrator
--- Task "process the project" took 0.0 seconds ---
Error while handling the project /home/aflesch/project-ebop-develop/exosCitadle/exo3Evaluate/config_exoEvaluate.json
File not found : /home/aflesch/project-ebop-develop/exosCitadle/exo4Lists/config_exoLists.json.
Loading project configuration file  ...
Building project  ...
Setting up build directory...
Error while setting up the build directory, please contact the administrator
--- Task "process the project" took 0.0 seconds ---
Error while handling the project /home/aflesch/project-ebop-develop/exosCitadle/exo4Lists/config_exoLists.json
File not found : /home/aflesch/project-ebop-develop/exosCitadle/exo5Indices/config_exoIndices.json.
Loading project configuration file  ...
Building project  ...
Setting up build directory...
Error while setting up the build directory, please contact the administrator
--- Task "process the project" took 0.0 seconds ---
Error while handling the project /home/aflesch/project-ebop-develop/exosCitadle/exo5Indices/config_exoIndices.json
--- Task "execute command" took 8.643 seconds ---
[08/Apr/2020 15:30:05] "GET /cmd/launch/ HTTP/1.1" 200 578
Not Found: /favicon.ico
[08/Apr/2020 15:30:05] "GET /favicon.ico HTTP/1.1" 404 2185