Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Consider using ":add" in generated ghci script #1888

Closed
mgsloan opened this issue Mar 9, 2016 · 1 comment
Closed

Consider using ":add" in generated ghci script #1888

mgsloan opened this issue Mar 9, 2016 · 1 comment
Labels
component: ghci type: discuss type: enhancement
Milestone
P3: Optional

Comments

@mgsloan
Copy link
Contributor

mgsloan commented Mar 9, 2016

Like #1886 , but for all modules. The main advantage of this is potentially working better with the user's ghci scripts. I don't recall if the user's script comes before or after ours. But either way, :add would allow user scripts to augment the list of loaded modules.
@mgsloan mgsloan added this to the P3: Optional milestone Mar 9, 2016
@mgsloan mgsloan mentioned this issue Mar 9, 2016
Merged
@mgsloan mgsloan mentioned this issue Apr 19, 2016
Closed
mgsloan added a commit that referenced this issue May 15, 2016
@mgsloan
Use ":add" in generated ghci-script #1888
6d24e49
@mgsloan
Copy link
Contributor Author

mgsloan commented May 15, 2016

I figure this is a good thing to add - committed.

@mgsloan mgsloan closed this as completed May 15, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
component: ghci type: discuss type: enhancement
Projects
None yet
Milestone
P3: Optional
Development

No branches or pull requests
1 participant
@mgsloan