File "semantic.ml", line 75, characters 115-3963:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Noexpr|Color _|Number _|Geo _)
File "semantic.ml", line 182, characters 16-245:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Geot|Colort)
File "semantic.ml", line 42, characters 10-11:
Warning 26: unused variable t.
File "semantic.ml", line 42, characters 7-8:
Warning 26: unused variable n.
File "semantic.ml", line 87, characters 30-35:
Warning 26: unused variable color.
File "semantic.ml", line 254, characters 6-9:
Warning 26: unused variable typ.
File "semantic.ml", line 312, characters 5-6:
Warning 11: this match case is unused.
File "semantic.ml", line 316, characters 10-20:
Warning 26: unused variable returntype.
File "semantic.ml", line 321, characters 5-6:
Warning 11: this match case is unused.
File "jast.mli", line 30, characters 1-13:
Warning 30: the label name is defined in both types shape and layer.
File "jast.mli", line 39, characters 1-13:
Warning 30: the label name is defined in both types shape and mandala.
File "sast_to_jast.ml", line 53, characters 6-29:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(JInt _|JVoid|JBooleant _|JShapet _|JGeot _|JLayert _|JMandalat _|JArrayt|
JColort _)
File "sast_to_jast.ml", line 59, characters 6-40:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Noexpr|Id _|Binop (_, _, _)|Call (_, _))
File "sast_to_jast.ml", line 60, characters 6-40:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Noexpr|Id _|Binop (_, _, _)|Call (_, _))
File "sast_to_jast.ml", line 62, characters 15-215:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
Equal
File "sast_to_jast.ml", line 49, characters 73-769:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Noexpr|Call (_, _))
File "sast_to_jast.ml", line 103, characters 5-351:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
_::_::_
File "sast_to_jast.ml", line 128, characters 29-111:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Noexpr|Binop (_, _, _)|Call (_, _))
File "sast_to_jast.ml", line 130, characters 43-125:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Noexpr|Binop (_, _, _)|Call (_, _))
File "sast_to_jast.ml", line 161, characters 8-31:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(JInt _|JVoid|JBooleant _|JShapet _|JGeot _|JLayert _|JMandalat _|JArrayt|
JColort _)
File "sast_to_jast.ml", line 170, characters 8-31:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(JInt _|JVoid|JBooleant _|JShapet _|JGeot _|JLayert _|JMandalat _|JArrayt|
JColort _)
File "sast_to_jast.ml", line 176, characters 15-225:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
Equal
File "sast_to_jast.ml", line 421, characters 6-22:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SInt|SLiteral|SFloat|SVoid|SNumber _|SBoolean _|SShape|SLayer|SMandala|
SArray|SColor _)
File "sast_to_jast.ml", line 426, characters 7-30:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(JInt _|JVoid|JBooleant _|JShapet _|JGeot _|JLayert _|JMandalat _|JArrayt|
JColort _)
File "sast_to_jast.ml", line 423, characters 20-206:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Noexpr|Binop (_, _, _)|Call (_, _))
File "sast_to_jast.ml", line 428, characters 6-26:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SInt|SLiteral|SFloat|SVoid|SNumber _|SBoolean _|SShape|SGeo _|SLayer|
SMandala|SArray)
File "sast_to_jast.ml", line 433, characters 7-30:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(JInt _|JVoid|JBooleant _|JShapet _|JGeot _|JLayert _|JMandalat _|JArrayt|
JColort _)
File "sast_to_jast.ml", line 430, characters 24-222:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Noexpr|Binop (_, _, _)|Call (_, _))
File "sast_to_jast.ml", line 460, characters 6-16:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Float_Literal _|Noexpr|Binop (_, _, _)|Call (_, _))
File "sast_to_jast.ml", line 482, characters 6-33:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Noexpr|Id _|Binop (_, _, _)|Call (_, _))
File "sast_to_jast.ml", line 483, characters 6-31:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Literal _|Noexpr|Id _|Binop (_, _, _)|Call (_, _))
File "gen_java.ml", line 150, characters 4-32:
Warning 10: this expression should have type unit.
