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

Adding HLearn #4566

Closed
wants to merge 4 commits into from
Closed

Adding HLearn #4566

wants to merge 4 commits into from

Conversation

edwtjo
Copy link
Member

@edwtjo edwtjo commented Oct 17, 2014

No description provided.

@edwtjo
Copy link
Member Author

edwtjo commented Oct 17, 2014

cc @peti

@edwtjo edwtjo force-pushed the hlearn branch 2 times, most recently from fa631e5 to 316323a Compare October 17, 2014 10:06
@peti
Copy link
Member

peti commented Oct 18, 2014

Is there no way to build these packages with a recent dlist? Maybe it helps to add jailbreak = true to those builds?

@@ -687,6 +691,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in

djinnLib = callPackage ../development/libraries/haskell/djinn-lib {};

dlist_5_0 = callPackage ../development/libraries/haskell/dlist/5.0.nix {};
Copy link
Member

Choose a reason for hiding this comment

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

Please rename the default.nix file to use a version-number.nix scheme, too. Also, both attributes should have the package version included plus a third attribute that forwards to the default choice.

@peti
Copy link
Member

peti commented Oct 18, 2014

Reported dlist issue upstream at mikeizbicki/ConstraintKinds#7

@edwtjo
Copy link
Member Author

edwtjo commented Oct 18, 2014

Didn't need dlist-5.0 but needed two versions of ConstraintKinds, calling this WIP. Doesn't compile. Thanks for the pointers @peti.

@peti
Copy link
Member

peti commented Oct 25, 2014

I'm trying to clean up our list of open issues to make things more manageable for the upcoming 14.11 release. Can you please open a new PR when this effort is ready to be merging?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants