Charalampos Mitrodimas 288312463e [wildcard_imports] Modules that contain prelude are also allowed
This commit fixes #10846 by checking if the path segment contains the
word "prelude".

Signed-off-by: Charalampos Mitrodimas <charmitro@gmail.com>
2023-05-30 21:29:04 +03:00
..
2023-05-26 15:38:38 +02:00
2023-05-20 00:37:08 +02:00
2023-04-25 16:31:51 +00:00
2023-04-23 10:52:27 -04:00
2023-05-06 16:21:45 +02:00
2023-05-08 13:20:33 +02:00
2023-05-08 13:20:33 +02:00
2023-05-16 18:11:20 -05:00
2023-05-09 10:06:38 +01:00
2023-05-23 17:22:23 +02:00