/
looseSL.result
25 lines (25 loc) · 2.81 KB
/
looseSL.result
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.typechecker.tests.ModulesSlTypeCheckTest">
<message column="14" line="275" message="pat at 182:2 hidden by pat" messageType="warning" number="5008" resource="looseSL"/>
<message column="21" line="462" message="pat at 182:2 hidden by pat" messageType="warning" number="5008" resource="looseSL"/>
<message column="25" line="462" message="expr at 185:2 hidden by expr" messageType="warning" number="5008" resource="looseSL"/>
<message column="17" line="631" message="expr at 185:2 hidden by expr" messageType="warning" number="5008" resource="looseSL"/>
<message column="44" line="648" message="expr at 185:2 hidden by expr" messageType="warning" number="5008" resource="looseSL"/>
<message column="37" line="656" message="expr at 185:2 hidden by expr" messageType="warning" number="5008" resource="looseSL"/>
<message column="33" line="656" message="pat at 182:2 hidden by pat" messageType="warning" number="5008" resource="looseSL"/>
<message column="26" line="752" message="pat at 182:2 hidden by pat" messageType="warning" number="5008" resource="looseSL"/>
<message column="13" line="865" message="pat at 182:2 hidden by pat" messageType="warning" number="5008" resource="looseSL"/>
<message column="38" line="935" message="Definition 'm' not used" messageType="warning" number="5000" resource="looseSL"/>
<message column="3" line="257" message="Recursive function has no measure" messageType="warning" number="5012" resource="looseSL"/>
<message column="3" line="257" message="Recursive function has no measure" messageType="warning" number="5012" resource="looseSL"/>
<message column="3" line="586" message="Recursive function has no measure" messageType="warning" number="5012" resource="looseSL"/>
<message column="3" line="243" message="Recursive function has no measure" messageType="warning" number="5012" resource="looseSL"/>
<message column="3" line="274" message="Recursive function has no measure" messageType="warning" number="5012" resource="looseSL"/>
<message column="3" line="274" message="Recursive function has no measure" messageType="warning" number="5012" resource="looseSL"/>
<message column="3" line="274" message="Recursive function has no measure" messageType="warning" number="5012" resource="looseSL"/>
<message column="2" line="189" message="Definition 'expr2' not used" messageType="warning" number="5000" resource="looseSL"/>
<message column="3" line="446" message="Definition 'CreateContext' not used" messageType="warning" number="5000" resource="looseSL"/>
<message column="50" line="277" message="Impure operation 'FnInfo' cannot be called from here" messageType="error" number="3300" resource="looseSL"/>
<message column="3" line="928" message="Operation returns void value" messageType="error" number="3313" resource="looseSL"/>
<result/>
</testResult>