Niko Matsakis
6a749c7eb1
fix corner case around top of stack
...
When deciding on a coinductive match, we were examining the new
obligation and the backtrace, but not the *current* obligation that goes
in between the two. Refactoring the code to just have the cycle given
as input also made things a lot simpler.
2016-04-04 11:14:44 -04:00
..
2016-04-02 10:30:03 -07:00
2016-03-15 22:32:38 -05:00
2016-03-31 23:02:59 +02:00
2016-04-02 01:47:59 -07:00
2016-04-01 12:52:08 -07:00
2016-03-31 13:15:20 +01:00
2016-03-12 12:31:13 -08:00
2016-04-01 18:36:08 -04:00
2016-04-01 18:36:08 -04:00
2016-04-03 12:11:57 -07:00
2016-03-31 10:11:59 -04:00
2016-03-12 12:31:13 -08:00
2016-03-22 22:02:47 -05:00
2016-03-12 12:31:13 -08:00
2016-03-25 14:07:17 -04:00
2016-04-04 11:14:44 -04:00
2016-03-29 19:36:01 +03:00
2016-03-31 22:04:23 +02:00
2016-03-31 22:06:52 +02:00
2016-03-30 13:43:36 +02:00
2016-04-03 14:58:34 +12:00
2016-04-03 08:58:59 -07:00
2016-03-31 21:19:17 +02:00
2016-03-31 22:04:23 +02:00
2016-03-29 16:44:54 +02:00
2016-03-31 22:04:23 +02:00
2016-04-03 08:58:59 -07:00
2016-03-31 22:04:23 +02:00
2016-03-29 19:36:01 +03:00
2016-03-25 14:07:18 -04:00
2016-03-31 22:06:52 +02:00
2016-03-31 22:06:52 +02:00
2016-03-31 22:06:52 +02:00
2016-04-03 15:01:47 -07:00
2016-04-02 05:14:25 -07:00
2016-03-28 13:59:38 -04:00
2016-04-01 12:52:08 -07:00
2016-03-22 22:02:47 -05:00
2016-04-02 19:36:58 -07:00
2016-04-01 12:52:08 -07:00
2016-03-27 01:25:47 -04:00
2016-03-22 22:03:19 -05:00
2016-03-31 23:02:59 +02:00
2016-03-18 15:51:17 +01:00
2016-03-25 14:07:20 -04:00
2016-04-02 10:30:03 -07:00
2016-03-29 16:44:54 +02:00
2016-04-04 11:14:44 -04:00
2016-03-28 16:07:07 +02:00
2016-03-20 22:37:35 +02:00
2016-03-31 02:47:33 +00:00