RE: What's in an interface? Unnecessary recompilation again

2000-04-19 Thread Simon Peyton-Jones
] | Subject: What's in an interface? Unnecessary recompilation again | | | Changed .hi files are a nuisance because they make Make rerun | all GHC compilations | which import the relevant module. I thought I would not | have .hi changing | today when I modified the implementation

Re: What's in an interface? Unnecessary recompilation again

2000-04-19 Thread George Russell
Simon Peyton-Jones wrote: Fair enough. But would you like to suggest an algorithm GHC could use to decide what to put in the .hi file? Well that's a big question. As I understand it, the errant value, lvl20, is a string representing an error message (which I suppose is to be thrown in the