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}) { }