Skip to content
This repository has been archived by the owner on Sep 7, 2018. It is now read-only.

Simplify type of window/windowD #123

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Simplify type of window/windowD #123

wants to merge 2 commits into from

Conversation

thoughtpolice
Copy link
Contributor

Closes #110.

@christiaanb
Copy link
Member

Mmm... I remember at $WORK that a definition like this for window might lead to serious space-leaks. I know I said in #110 that iterate might be a suitable implementation, but I want to investigate whether this leads to spaceleaks or not before merging.

@thoughtpolice
Copy link
Contributor Author

I can check that out later. Perhaps it might also be possible to work around it too -- the simplified type would be nice...

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@thoughtpolice @christiaanb