Martin Vogel
e1ff392bb2
test(resolver): promote the Scala operator and generic call rows
...
The dynamic lane's Scala rules recovered these, and the matrix asks for promotion. Each row was read against its fixture and the index:
- `a + b` with `a: Vec2`, `def +(other: Vec2): Vec2`: `a.+(b)`, Vec2.+.
- `(a + b).dot(b)`: `+` declares Vec2 as its result, Vec2.dot.
- `first(ns)` with `def first[T](xs: List[T])`: the top-level def. A generic def had no arity before, so its calls abstained.
No false edge came with them: `x + other.x` on a Double field abstains as scala_value_of_unknown_type, and `Some(...)` as scala_name_not_in_project.
Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com >
2026-11-02 21:22:47 +01:00
..
2026-10-20 23:09:09 +02:00
2026-11-01 19:47:08 +01:00
2026-10-16 13:54:11 +03:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-28 09:04:45 +01:00
2026-10-21 03:14:59 +02:00
2026-11-01 12:55:46 +01:00
2026-10-11 20:16:34 +02:00
2026-10-31 20:46:20 +01:00
2026-10-31 22:12:49 +01:00
2026-11-01 17:34:30 +01:00
2026-11-01 07:17:42 +01:00
2026-10-21 00:07:51 +02:00
2026-11-01 13:02:51 +01:00
2026-11-01 20:19:04 +01:00
2026-10-14 11:16:00 -05:00
2026-10-25 17:56:40 +01:00
2026-10-14 22:09:37 +02:00
2026-11-01 20:34:25 +01:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-06 03:19:38 +02:00
2026-10-06 03:19:38 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-31 20:59:47 +01:00
2026-11-01 01:13:02 +01:00
2026-10-26 01:58:25 +01:00
2026-10-31 16:38:35 +01:00
2026-10-05 18:52:26 +02:00
2026-10-20 19:45:49 +02:00
2026-10-20 18:31:17 +02:00
2026-10-30 23:20:25 +01:00
2026-10-28 18:13:34 +01:00
2026-10-28 04:48:12 +01:00
2026-11-01 13:35:17 +01:00
2026-10-28 04:48:12 +01:00
2026-10-28 04:48:12 +01:00
2026-10-28 04:48:12 +01:00
2026-10-28 04:48:12 +01:00
2026-10-11 12:43:35 +02:00
2026-11-01 20:36:07 +01:00
2026-10-28 04:48:12 +01:00
2026-10-28 04:48:12 +01:00
2026-10-28 04:48:12 +01:00
2026-10-28 04:48:12 +01:00
2026-11-02 18:09:22 +01:00
2026-11-01 16:06:58 +01:00
2026-11-01 20:22:55 +01:00
2026-11-01 20:22:55 +01:00
2026-11-01 16:09:44 +01:00
2026-11-01 21:33:49 +01:00
2026-10-12 20:18:19 +02:00
2026-10-11 11:42:35 +02:00
2026-10-01 22:56:52 +02:00
2026-10-14 20:18:55 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-31 22:12:49 +01:00
2026-10-29 02:50:03 +01:00
2026-10-20 19:30:16 +02:00
2026-10-28 07:37:07 +01:00
2026-10-28 05:26:51 +01:00
2026-11-01 20:22:55 +01:00
2026-10-28 07:37:07 +01:00
2026-11-01 20:22:55 +01:00
2026-10-28 04:48:12 +01:00
2026-10-25 20:26:27 +01:00
2026-10-31 21:34:41 +01:00
2026-10-14 22:54:02 +02:00
2026-10-05 18:52:31 +02:00
2026-10-06 03:19:38 +02:00
2026-10-11 20:16:34 +02:00
2026-10-28 04:48:12 +01:00
2026-11-01 17:34:30 +01:00
2026-10-16 02:10:53 +02:00
2026-10-28 04:48:12 +01:00
2026-10-31 23:47:50 +01:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-06 18:07:16 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-06 18:07:16 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-11-01 16:45:29 +01:00
2026-10-30 23:44:25 +01:00
2026-10-20 23:09:09 +02:00
2026-11-02 18:08:06 +01:00
2026-10-21 00:33:40 +02:00
2026-10-29 04:33:04 +01:00
2026-10-26 01:58:34 +01:00
2026-11-01 21:31:50 +01:00
2026-11-02 18:07:57 +01:00
2026-11-02 21:22:47 +01:00
2026-11-01 20:24:05 +01:00
2026-11-01 02:08:20 +01:00
2026-10-28 07:37:07 +01:00
2026-11-01 20:05:54 +01:00
2026-10-11 02:08:58 +02:00
2026-11-02 18:09:22 +01:00
2026-11-01 19:27:33 +01:00
2026-11-02 18:08:06 +01:00
2026-10-19 04:39:09 +02:00
2026-10-28 05:26:51 +01:00
2026-10-25 18:20:22 +01:00
2026-11-02 01:13:25 +01:00
2026-10-26 01:52:26 +01:00
2026-10-21 00:33:51 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-20 19:29:02 +02:00
2026-10-28 23:51:03 +01:00
2026-11-01 16:37:23 +01:00
2026-11-02 18:07:57 +01:00
2026-11-02 18:08:06 +01:00
2026-11-01 18:08:25 +01:00
2026-11-02 18:09:45 +01:00
2026-11-01 19:07:44 +01:00
2026-10-28 04:48:12 +01:00
2026-11-01 16:39:26 +01:00
2026-11-01 16:37:28 +01:00
2026-11-02 01:13:25 +01:00
2026-10-31 22:12:49 +01:00
2026-11-02 18:07:01 +01:00
2026-10-28 04:48:12 +01:00
2026-11-01 16:34:56 +01:00
2026-11-01 16:45:29 +01:00
2026-10-28 04:48:12 +01:00
2026-11-02 18:09:22 +01:00
2026-10-25 22:14:52 +01:00
2026-11-02 18:09:22 +01:00
2026-11-01 16:06:21 +01:00
2026-11-02 18:09:12 +01:00
2026-10-25 22:14:52 +01:00
2026-11-01 18:53:05 +01:00
2026-10-27 19:16:41 +01:00
2026-11-02 18:07:57 +01:00
2026-11-01 17:59:28 +01:00
2026-11-02 18:08:27 +01:00
2026-11-01 13:24:29 +01:00
2026-11-02 18:09:12 +01:00
2026-11-02 18:08:27 +01:00
2026-10-25 22:14:52 +01:00
2026-11-02 18:08:06 +01:00
2026-10-25 22:14:52 +01:00
2026-10-28 04:48:12 +01:00
2026-10-03 18:37:19 +02:00
2026-10-15 18:07:25 +02:00
2026-10-18 06:55:57 +02:00
2026-10-11 20:42:19 +02:00
2026-10-03 18:37:19 +02:00
2026-10-20 23:09:09 +02:00
2026-10-15 03:18:42 +02:00
2026-10-11 18:23:58 +02:00
2026-10-21 20:04:54 +02:00
2026-10-11 15:46:00 +02:00
2026-10-02 06:50:04 +02:00
2026-10-06 02:44:56 +02:00
2026-10-13 16:28:45 +09:00
2026-10-13 17:50:13 +08:00
2026-10-30 22:29:41 +01:00
2026-10-07 23:50:20 +00:00
2026-10-07 19:20:08 +02:00
2026-11-01 13:54:49 +01:00
2026-10-13 18:33:40 +02:00
2026-10-25 22:30:47 +01:00
2026-10-14 18:26:57 +02:00
2026-10-03 23:55:18 +02:00
2026-10-14 21:20:07 +02:00
2026-10-31 23:57:23 +01:00
2026-10-17 14:48:52 +02:00
2026-10-05 02:15:08 +02:00
2026-10-05 18:52:26 +02:00
2026-10-03 23:55:18 +02:00
2026-10-05 02:15:08 +02:00
2026-11-01 12:57:54 +01:00
2026-10-17 14:48:52 +02:00
2026-10-03 23:55:18 +02:00
2026-10-05 02:15:08 +02:00
2026-10-05 02:15:08 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-03 23:55:18 +02:00
2026-10-17 14:48:52 +02:00
2026-10-03 23:55:18 +02:00
2026-10-17 14:48:52 +02:00
2026-10-17 14:48:52 +02:00
2026-10-13 18:33:40 +02:00
2026-10-05 18:52:31 +02:00
2026-10-06 18:07:16 +02:00
2026-10-06 05:58:39 +02:00
2026-10-18 17:10:45 +02:00
2026-11-01 17:03:47 +01:00
2026-10-13 20:57:12 +02:00
2026-10-27 19:17:40 +01:00
2026-10-08 18:33:34 -06:00
2026-10-20 23:09:09 +02:00
2026-10-21 00:34:29 +02:00
2026-10-03 23:55:18 +02:00
2026-10-06 03:36:33 +02:00
2026-10-06 03:36:33 +02:00
2026-10-03 18:37:19 +02:00
2026-10-14 16:49:39 +09:00
2026-10-22 16:41:03 +05:30
2026-10-03 23:55:18 +02:00
2026-10-20 19:45:03 +02:00