.. |
01-int-literal.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
01-int-literal.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
01-int-literal.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
01-int-literal.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
01-int-literal.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
01-int-literal.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
02-arith-01.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
02-arith-01.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
02-arith-01.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
02-arith-01.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
02-arith-01.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
02-arith-01.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
03-arith-02.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
03-arith-02.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
03-arith-02.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
03-arith-02.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
03-arith-02.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
03-arith-02.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
04-arith-03.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
04-arith-03.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
04-arith-03.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
04-arith-03.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
04-arith-03.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
04-arith-03.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
06-arith-04.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
06-arith-04.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
06-arith-04.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
06-arith-04.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
06-arith-04.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
06-arith-04.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
07-arith-05.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
07-arith-05.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
07-arith-05.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
07-arith-05.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
07-arith-05.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
07-arith-05.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
08-char-literal.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
08-char-literal.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
08-char-literal.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
08-char-literal.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
08-char-literal.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
08-char-literal.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
09-char-string.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
09-char-string.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
09-char-string.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
09-char-string.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
09-char-string.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
09-char-string.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
10-local-definition.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
10-local-definition.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
10-local-definition.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
10-local-definition.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
10-local-definition.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
10-local-definition.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
11-function-definition.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
11-function-definition.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
11-function-definition.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
11-function-definition.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
11-function-definition.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
11-function-definition.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
12-rec-function-definition.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
12-rec-function-definition.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
12-rec-function-definition.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
12-rec-function-definition.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
12-rec-function-definition.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
12-rec-function-definition.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
13-mutually-rec-fun-definitions.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
13-mutually-rec-fun-definitions.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
13-mutually-rec-fun-definitions.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
13-mutually-rec-fun-definitions.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
13-mutually-rec-fun-definitions.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
13-mutually-rec-fun-definitions.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-function.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-function.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-function.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-function.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-function.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-function.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-rec-function.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-rec-function.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-rec-function.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-rec-function.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-rec-function.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
14-binary-rec-function.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
15-binary-mutually-rec-function.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
15-binary-mutually-rec-function.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
15-binary-mutually-rec-function.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
15-binary-mutually-rec-function.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
15-binary-mutually-rec-function.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
15-binary-mutually-rec-function.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
16-polymorphic-function.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
16-polymorphic-function.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
16-polymorphic-function.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
16-polymorphic-function.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
16-polymorphic-function.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
16-polymorphic-function.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
17-polymorphic-binary-function.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
17-polymorphic-binary-function.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
17-polymorphic-binary-function.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
17-polymorphic-binary-function.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
17-polymorphic-binary-function.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
17-polymorphic-binary-function.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
18-polymorphic-recursive-function.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
18-polymorphic-recursive-function.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
18-polymorphic-recursive-function.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
18-polymorphic-recursive-function.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
18-polymorphic-recursive-function.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
18-polymorphic-recursive-function.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
19-polymorphic-mutually-recursive-functions.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
19-polymorphic-mutually-recursive-functions.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
19-polymorphic-mutually-recursive-functions.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
19-polymorphic-mutually-recursive-functions.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
19-polymorphic-mutually-recursive-functions.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
19-polymorphic-mutually-recursive-functions.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
20-polymorphic-binary-function.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
20-polymorphic-binary-function.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
20-polymorphic-binary-function.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
20-polymorphic-binary-function.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
20-polymorphic-binary-function.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
20-polymorphic-binary-function.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
21-record-01.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
21-record-01.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
21-record-01.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
21-record-01.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
21-record-01.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
21-record-01.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
22-polymorphic-record.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
22-polymorphic-record.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
22-polymorphic-record.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
22-polymorphic-record.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
22-polymorphic-record.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
22-polymorphic-record.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
23-polymorphic-record-02.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
23-polymorphic-record-02.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
23-polymorphic-record-02.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
23-polymorphic-record-02.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
23-polymorphic-record-02.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
23-polymorphic-record-02.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
24-record-proj.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
24-record-proj.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
24-record-proj.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
24-record-proj.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
24-record-proj.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
24-record-proj.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
25-polymorphic-record-proj.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
25-polymorphic-record-proj.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
25-polymorphic-record-proj.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
25-polymorphic-record-proj.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
25-polymorphic-record-proj.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
25-polymorphic-record-proj.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
26-function-over-polymorphic-record.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
26-function-over-polymorphic-record.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
26-function-over-polymorphic-record.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
26-function-over-polymorphic-record.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
26-function-over-polymorphic-record.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
26-function-over-polymorphic-record.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
27-function-in-record.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
27-function-in-record.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
27-function-in-record.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
27-function-in-record.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
27-function-in-record.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
27-function-in-record.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
28-anonymous-function.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
28-anonymous-function.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
28-anonymous-function.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
28-anonymous-function.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
28-anonymous-function.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
28-anonymous-function.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
29-anonymous-nary-functions.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
29-anonymous-nary-functions.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
29-anonymous-nary-functions.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
29-anonymous-nary-functions.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
29-anonymous-nary-functions.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
29-anonymous-nary-functions.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
30-anonymous-third-order.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
30-anonymous-third-order.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
30-anonymous-third-order.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
30-anonymous-third-order.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
30-anonymous-third-order.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
30-anonymous-third-order.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
31-constructor.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
31-constructor.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
31-constructor.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
31-constructor.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
31-constructor.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
31-constructor.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
32-constructor-with-data.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
32-constructor-with-data.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
32-constructor-with-data.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
32-constructor-with-data.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
32-constructor-with-data.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
32-constructor-with-data.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
33-constructor-with-multiple-data.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
33-constructor-with-multiple-data.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
33-constructor-with-multiple-data.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
33-constructor-with-multiple-data.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
33-constructor-with-multiple-data.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
33-constructor-with-multiple-data.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
34-recursive-datatype.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
34-recursive-datatype.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
34-recursive-datatype.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
34-recursive-datatype.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
34-recursive-datatype.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
34-recursive-datatype.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
35-recursive-datatype-02.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
35-recursive-datatype-02.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
35-recursive-datatype-02.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
35-recursive-datatype-02.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
35-recursive-datatype-02.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
35-recursive-datatype-02.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
36-recurse-datatype-embedding-functions.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
36-recurse-datatype-embedding-functions.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
36-recurse-datatype-embedding-functions.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
36-recurse-datatype-embedding-functions.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
36-recurse-datatype-embedding-functions.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
36-recurse-datatype-embedding-functions.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
37-pattern-matching-01.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
37-pattern-matching-01.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
37-pattern-matching-01.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
37-pattern-matching-01.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
37-pattern-matching-01.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
37-pattern-matching-01.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
38-pattern-matching-02.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
38-pattern-matching-02.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
38-pattern-matching-02.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
38-pattern-matching-02.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
38-pattern-matching-02.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
38-pattern-matching-02.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
39-pattern-matching-03.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
39-pattern-matching-03.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
39-pattern-matching-03.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
39-pattern-matching-03.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
39-pattern-matching-03.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
39-pattern-matching-03.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
40-pattern-matching-04.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
40-pattern-matching-04.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
40-pattern-matching-04.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
40-pattern-matching-04.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
40-pattern-matching-04.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
40-pattern-matching-04.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
41-pattern-matching-05.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
41-pattern-matching-05.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
41-pattern-matching-05.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
41-pattern-matching-05.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
41-pattern-matching-05.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
41-pattern-matching-05.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
42-pattern-matching-06.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
42-pattern-matching-06.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
42-pattern-matching-06.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
42-pattern-matching-06.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
42-pattern-matching-06.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
42-pattern-matching-06.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
43-pattern-matching-07.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
43-pattern-matching-07.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
43-pattern-matching-07.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
43-pattern-matching-07.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
43-pattern-matching-07.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
43-pattern-matching-07.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
44-pattern-matching-08.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
44-pattern-matching-08.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
44-pattern-matching-08.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
44-pattern-matching-08.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
44-pattern-matching-08.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
44-pattern-matching-08.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
45-pattern-matching-09.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
45-pattern-matching-09.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
45-pattern-matching-09.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
45-pattern-matching-09.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
45-pattern-matching-09.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
45-pattern-matching-09.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
46-pattern-matching-10.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
46-pattern-matching-10.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
46-pattern-matching-10.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
46-pattern-matching-10.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
46-pattern-matching-10.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
46-pattern-matching-10.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
47-pattern-matching-11.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
47-pattern-matching-11.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
47-pattern-matching-11.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
47-pattern-matching-11.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
47-pattern-matching-11.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
47-pattern-matching-11.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
48-pattern-matching-12.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
48-pattern-matching-12.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
48-pattern-matching-12.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
48-pattern-matching-12.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
48-pattern-matching-12.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
48-pattern-matching-12.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
49-pattern-matching-13.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
49-pattern-matching-13.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
49-pattern-matching-13.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
49-pattern-matching-13.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
49-pattern-matching-13.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
49-pattern-matching-13.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
50-pattern-matching-14.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
50-pattern-matching-14.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
50-pattern-matching-14.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
50-pattern-matching-14.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
50-pattern-matching-14.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
50-pattern-matching-14.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
51-ref.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
51-ref.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
51-ref.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
51-ref.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
51-ref.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
51-ref.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
52-assign.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
52-assign.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
52-assign.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
52-assign.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
53-read.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
53-read.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
53-read.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
53-read.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
53-read.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
53-read.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
54-sequence.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
54-sequence.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
54-sequence.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
54-sequence.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
54-sequence.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
54-sequence.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
55-while.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
55-while.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
55-while.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
55-while.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
55-while.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
55-while.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
56-for.bad.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
56-for.bad.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
56-for.bad.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
56-for.good.expected
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
56-for.good.typing.hopix
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |
56-for.good.typing.hopix.human-readable
|
Jalon 3
|
2023-11-15 19:08:33 +01:00 |