Skip to content
This repository has been archived by the owner on Mar 11, 2020. It is now read-only.

Added tests to back the claims in the opened issues #23

Closed
wants to merge 8 commits into from

Conversation

mgttlinger
Copy link
Contributor

No description provided.

@mgttlinger
Copy link
Contributor Author

A few of the things only work once the head -> headOption fix is in the branch

@timperrett timperrett closed this Jul 27, 2017
@timperrett timperrett reopened this Jul 27, 2017
@timperrett
Copy link
Contributor

@mgttlinger CI fails :-(

@mgttlinger
Copy link
Contributor Author

@timperrett Well that's the point. I added tests which showcase these errors in the path search.

@timperrett
Copy link
Contributor

@mgttlinger ok you didn't reference the issue so that wasn't clear. You're talking about #21 one assumes? We can discuss on the issue about a potential solution. Thanks for finding :-)

@mgttlinger
Copy link
Contributor Author

#21 and #22 actually

@rossabaker
Copy link
Contributor

The cats port (#25) is a little more difficult than I envisioned, so I expect this and #24 can get through first, and then a subsequent Cats release after that.

@mgttlinger
Copy link
Contributor Author

This should fix #21 and #22

@@ -77,7 +77,7 @@ package object quiver {
* Labeled path through a graph
* @group types
*/
type LPath[N,A] = Adj[N,A]
type LPath[N,A] = (N,Vector[(N,A)])
Copy link
Contributor

Choose a reason for hiding this comment

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

@kaiserpelagic can you just cast your eye over this to make sure it wont cause problems with nelson?

Copy link
Contributor

@rossabaker rossabaker left a comment

Choose a reason for hiding this comment

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

👍

This was referenced Sep 25, 2017
@rossabaker
Copy link
Contributor

Folded into release branch on #27.

@rossabaker rossabaker closed this Sep 25, 2017
@mgttlinger mgttlinger deleted the tests branch September 26, 2017 18:03
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants