Ensure that `PairTerm`s and `GroupTerms` are validated/generated correctly

Open
  • Is something wrong?
#193 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
3/5
Estimated time
1-2 days
Newbie friendliness
55/100
Issue type
Bug
Clarity
Mostly clear
Activity status
Quiet
Tech stack
haskell
Domain
testing, tooling

Research direction

Locate the generator and validator entry points and the existing tests for rule definitions. Add coverage for the foo pair term and bar group term examples, then verify that both are generated and validated correctly with the project’s test suite.

Written by the indexing model from the issue text.

Description

I suspect that the generator and/or validator won't work with rule definitions that define a pair term or a group term. There should be some tests to ensure that these kinds of rules are generated and validated correctly.

foo = 3 => uint

bar = (uint, bool, string)
Dominant language
Haskell
Stars
8
Forks
5
Avg merge
3d 12h
Merged PRs (30d)
4

Getting set up

This project ships no dev container, Dockerfile or contributing guide, so setting up is up to you: start from its README, and see our first-contribution guide for the general steps.

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from IntersectMBO/cuddle

All issues in IntersectMBO/cuddle

Similar issues

More Haskell issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.