-
Notifications
You must be signed in to change notification settings - Fork 26
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
FReqsSub Should take [ConceptInstance]? #1403
Comments
@samm82, your proposal makes sense to me, under the assumption that fixing FReqsSub will not take much time. We don't want to introduce code that we know will eventually need to be changed, but we also don't want to get distracted from advancing on our complete projectile example. 😄 |
I'll put this on the back burner for now 😉 |
@smiths Would it be an acceptable compromise for me to create a new |
@samm82 that sounds reasonable to me. |
A note - |
Related to #1023, as well as #1229 and its bunny trail of related issues. (Not sure if there is already an issue specifically for this, but I couldn't find one.)
I was about to implement the Requirements for Projectile, but realized that it would probably make more sense to revise this code before adding another example that will break it.
Drasil/code/drasil-docLang/Drasil/DocumentLanguage.hs
Lines 197 to 199 in 8d0bbbe
Since
NonFReqsSub
was refactored to take a[ConceptInstance]
, it makes sense thatFReqsSub
should be as well.I don't want to step on anyone's toes, so @bmaclach, @Mornix, @JacquesCarette, @smiths, and/or anyone else feel free to let me know if this issue should be reassigned, pushed to later, or tackled now.
TODO
FReqsSub
withFReqsSub'
Closed with merge of #1461
The text was updated successfully, but these errors were encountered: