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.

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

Use Result in API to more closely match Tsdl #9

Closed
wants to merge 1 commit into from

Conversation

dagoof
Copy link
Contributor

@dagoof dagoof commented Dec 29, 2016

This should resolve #5

Copy link
Owner

@tokenrove tokenrove left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a minor update -- I started the work to merge this and your other PR, which has forced me to fix the broken CI builds and a bunch of other little things. I can make the change I've suggested here when I do the merge (I'm also going to make some minor adjustments in the tsdl-ttf PR), but I wanted to let you know that despite the delay, this is slowly moving forward. (Wrangling with Travis CI is always a hassle.)

@@ -1,6 +1,11 @@
open Ctypes
open Foreign
open Tsdl
open Result

type 'a result = 'a Sdl.result
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this type and error should go inside module Image for consistency with tsdl.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

agreed -- happy to commit it in if it helps; but don't want to get in your way at this point

@tokenrove
Copy link
Owner

Merged as commit 9bf2918 rather than through this PR due to minor adjustments. Thanks for your contribution and your patience.

0.2.0 should be available once the OPAM PR clears. tsdl-ttf and tsdl-mixer should follow shortly.

@tokenrove tokenrove closed this Jan 14, 2017
@tokenrove tokenrove mentioned this pull request Jan 14, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Use Result in API
2 participants