18 Oct
2013
18 Oct
'13
9:03 a.m.
On 17.10.2013 20:52, Niklas Hambüchen wrote:
Can the Data.List <-> Data.Set issue be resolved?
Is it OK to introduce a cyclic dependency between the two, making use of a .boot.hs file?
As long as the users of Data.List and Data.Set do not have to fiddle with {-# SOURCE #-} imports, I do not see an issue, so please go ahead. Cheers, Andreas P.S.: The Agda source has tons of .hs-boot files, I hate them, but what can you do? -- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/