issues Search Results · repo:PLTools/OCanren language:OCaml
Filter by
7 results
(62 ms)7 results
inPLTools/OCanren (press backspace or delete to remove)It looks like there is a bug constraints handling, starting from 2019
See the branch https://github.com/PLTools/OCanren/tree/disequality-issue1
Kakadu
- Opened on Dec 17, 2024
- #173
When trying to use ppx_distrib on a type with no parameters, warning 27 [unused-var-strict] is emitted:
3 | [%%distrib
4 | type nonrec t =
5 | | Integer
6 | | Boolean
7 | [@@deriving gt ~options:{ ...
kajigor
- 1
- Opened on Jul 29, 2024
- #172
- It feels like the wrong type (In tutorial / in OCanren)
- And what is the project and where should it come from (here, here and here) By the way, I couldn t run the example.
Is it even correct? ...
IgorErin
- Opened on Sep 23, 2023
- #171
For two argument type constructors, the distrib function shall have type:
(( a, b) injected, ( c, d) injected) T.t - (( a, c) t, ( b, d) T.t) injected
instead of the wrong one as appear in the source. ...
YueLiPicasso
- Opened on Aug 24, 2021
- #140
List of subtasks copy-pasted from https://github.com/YueLiPicasso/OCanrenTutorial/pull/2
Group S: Problems that have straightforward fix or cause disputes on trivial matters (S for straight)
- [ ] ...
- Opened on Aug 10, 2021
- #139
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.