Branch Coverage

blib/lib/Language/MinCaml/TypeInferrer.pm
Criterion Covered Total %
branch 0 106 0.0


line true false branch
19 0 0 if ($kind eq 'Fun') { }
0 0 elsif ($kind eq 'Tuple') { }
0 0 elsif ($kind eq 'Array') { }
0 0 elsif ($kind eq 'Var') { }
38 0 0 if ($type->children->[0]) { }
59 0 0 if ($kind eq 'Not' or $kind eq 'Neg' or $kind eq 'FNeg') { }
0 0 elsif ($kind eq 'Add' or $kind eq 'Sub' or $kind eq 'Eq' or $kind eq 'LE' or $kind eq 'FAdd' or $kind eq 'FSub' or $kind eq 'FMul' or $kind eq 'FDiv' or $kind eq 'Array' or $kind eq 'Get') { }
0 0 elsif ($kind eq 'If' or $kind eq 'Put') { }
0 0 elsif ($kind eq 'Let') { }
0 0 elsif ($kind eq 'LetRec') { }
0 0 elsif ($kind eq 'App') { }
0 0 elsif ($kind eq 'Tuple') { }
0 0 elsif ($kind eq 'LetTuple') { }
120 0 0 if ($right_type->kind eq 'Fun') { }
0 0 elsif ($right_type->kind eq 'Tuple') { }
0 0 elsif ($right_type->kind eq 'Array') { }
0 0 elsif ($right_type->kind eq 'Var' and $left_type == $right_type) { }
0 0 elsif ($right_type->kind eq 'Var' and $right_type->children->[0]) { }
122 0 0 if $self->occur($left_type, $arg_type)
129 0 0 if $self->occur($left_type, $elem_type)
151 0 0 if $left_type == $right_type
153 0 0 if ($left_type->kind eq 'Unit' and $right_type->kind eq 'Unit' or $left_type->kind eq 'Bool' and $right_type->kind eq 'Bool' or $left_type->kind eq 'Int' and $right_type->kind eq 'Int' or $left_type->kind eq 'Float' and $right_type->kind eq 'Float') { }
0 0 elsif ($left_type->kind eq 'Fun' and $right_type->kind eq 'Fun') { }
0 0 elsif ($left_type->kind eq 'Tuple' and $right_type->kind eq 'Tuple') { }
0 0 elsif ($left_type->kind eq 'Array' and $right_type->kind eq 'Array') { }
0 0 elsif ($left_type->kind eq 'Var' and $right_type->kind eq 'Var' and $left_type->children->[0] and $right_type->children->[0] and $left_type->children->[0]->kind eq $right_type->children->[0]->kind) { }
0 0 elsif ($left_type->kind eq 'Var' and $left_type->children->[0]) { }
0 0 elsif ($right_type->kind eq 'Var' and $right_type->children->[0]) { }
0 0 elsif ($left_type->kind eq 'Var' and not $self->occur($left_type, $right_type)) { }
0 0 elsif ($right_type->kind eq 'Var' and not $self->occur($right_type, $left_type)) { }
159 0 0 unless @{$left_type->children->[0];} == @{$right_type->children->[0];}
169 0 0 unless @{$left_type->children->[0];} == @{$right_type->children->[0];}
206 0 0 if ($kind eq 'Unit') { }
0 0 elsif ($kind eq 'Bool') { }
0 0 elsif ($kind eq 'Int') { }
0 0 elsif ($kind eq 'Float') { }
0 0 elsif ($kind eq 'Not') { }
0 0 elsif ($kind eq 'Neg') { }
0 0 elsif ($kind eq 'Add' or $kind eq 'Sub') { }
0 0 elsif ($kind eq 'FNeg') { }
0 0 elsif ($kind eq 'FAdd' or $node->kind eq 'FSub' or $kind eq 'FMul' or $kind eq 'FDiv') { }
0 0 elsif ($kind eq 'Eq' or $kind eq 'LE') { }
0 0 elsif ($kind eq 'If') { }
0 0 elsif ($kind eq 'Let') { }
0 0 elsif ($kind eq 'Var') { }
0 0 elsif ($kind eq 'LetRec') { }
0 0 elsif ($kind eq 'App') { }
0 0 elsif ($kind eq 'Tuple') { }
0 0 elsif ($kind eq 'LetTuple') { }
0 0 elsif ($kind eq 'Array') { }
0 0 elsif ($kind eq 'Get') { }
0 0 elsif ($kind eq 'Put') { }
270 0 0 if (exists $env{$ident_name}) { }