File tree Expand file tree Collapse file tree 1 file changed +34
-37
lines changed
should-fail-tests/incorrect-var-type Expand file tree Collapse file tree 1 file changed +34
-37
lines changed Original file line number Diff line number Diff line change 11[ERROR 1/1 TypesDoNotUnify] src/Main.purs:44:8
2-
3- 44 test = getVarsTypeNames testSchemaProxy query
4- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5-
6- Could not match type
7- Boolean
8- with type
9- String
10- while matching label online
11- while trying to match type
12- ( online :: Boolean
13- ...
14- )
15- with type
16- ( online :: String
17- ...
18- )
19- while solving type class constraint
20- Heterogeneous.Folding.FoldlRecord (ConstFolding GetVarRec)
21- t0
22- (Nil @Type)
23- ( users :: Args
24- { online :: Var "online" Boolean
25- }
26- { id :: Unit
27- }
28- )
29- (Proxy @Type
30- { online :: String
31- }
32- )
33- while inferring the type of getVarsTypeNames testSchemaProxy
34- in value declaration test
35- where t0 is an unknown type
36-
37- Src Lib All
38- Warnings 0 0 0
2+ 44 test = getVarsTypeNames testSchemaProxy query
3+ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4+ Could not match type
5+ Boolean
6+ with type
7+ String
8+ while matching label online
9+ while trying to match type
10+ ( online :: Boolean
11+ ...
12+ )
13+ with type
14+ ( online :: String
15+ ...
16+ )
17+ while solving type class constraint
18+ Heterogeneous.Folding.FoldlRecord (ConstFolding GetVarRec)
19+ t0
20+ (Nil @Type)
21+ ( users :: Args
22+ { online :: Var "online" Boolean
23+ }
24+ { id :: Unit
25+ }
26+ )
27+ (Proxy @Type
28+ { online :: String
29+ }
30+ )
31+ while inferring the type of getVarsTypeNames testSchemaProxy
32+ in value declaration test
33+ where t0 is an unknown type
34+ Src Lib All
35+ Warnings 0 1 1
3936Errors 1 0 1
You can’t perform that action at this time.
0 commit comments