-
Notifications
You must be signed in to change notification settings - Fork 176
Multiple files #137
Multiple files #137
Conversation
|
(I would also love to have this in hdevtools.) |
|
The idea looks good. However, I think you implemented your idea on a too old revision. It's tough to merge. Please re-implement it on the latest code and give me a pull request again. |
|
Oh, I missed the old revision. I updated it. |
|
@nh2 Are you working with this? I can spend my time for ghc-mod in September. |
|
Yes, it does work for me so far. A small benchmark: |
|
I've rebased my commits on the current master. |
|
|
It will also help the case for me where I want to refactor the library, executable and tests for a given project at the same time. Can make sure it is all loaded, and the changes propagate everywhere. |
|
Thank you. I have merged. I will release a new version ASAP. |
|
When you are ready. I have locked the upper bound on HaRe for now, will On Wed, Sep 4, 2013 at 3:14 AM, Kazu Yamamoto notifications@github.comwrote:
|
|
I have just released a new version. |
Allows type checking multiple files at once (faster).
I've implemented it for check and expand; probably the other options could benefit from this as well.