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

Restyle Exploration of the Lower Your Guards paper #402

Merged
merged 2 commits into from
Sep 3, 2024

Conversation

restyled-io[bot]
Copy link
Contributor

@restyled-io restyled-io bot commented Sep 1, 2024

Automated style fixes for #401, created by Restyled.

The following restylers made fixes:

To incorporate these changes, merge this Pull Request into the original. We
recommend using the Squash or Rebase strategies.

NOTE: As work continues on the original Pull Request, this process will
re-run and update (force-push) this Pull Request with updated style fixes as
necessary. If the style is fixed manually at any point (i.e. this process finds
no fixes to make), this Pull Request will be closed automatically.

Sorry if this was unexpected. To disable it, see our documentation.

Copy link
Member

@byorgey byorgey left a comment

Choose a reason for hiding this comment

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

Great! You should be able to merge the restylings (visit #402 and click "Squash & Merge"), then add the merge me tag on this PR once it's ready. Let me know if you run into any issues.

@LeitMoth LeitMoth merged commit 6ca6f7c into explore-lyg Sep 3, 2024
5 checks passed
LeitMoth added a commit that referenced this pull request Sep 21, 2024
* Init stack project explore/lower-your-guards

* lyg test language parser works

* basic gaurd tree desugaring

* add basic uncovered set function

* add pair datacons and pretty printer

* inhabitants N function kind of works

* Add types

* inhabitants mostly working

* pretty print patterns

* start work on fresh

* Fresh works!

* Fixed arg id bug, fresh actually works now!

* implement Show to make some printing better

* done for day. Strange behavoir, check complex2/3

* switch to MaybeT / cleanup

* nested patterns work! Still must tune up Int literal stuff, also see type equal TODO

* positive info works

* positive info and integer negative info work!

* no longer list all dataconstructors anyway when covered

* remove old negative only inhab code

* cleanup comments in inhab hs

* remove old TODO message

* change refinement type formulas datatype to match paper

Originally, I thought I had outsmarted the paper
Not so, they broke things up into `Formula`s and `Literal`s for a
good reason, which I rediscovered

* auto run on files in test folder

* huge overhaul to Inhabitants.hs. more to go, but significant cleanup done

* refactor / cleanup adding constraints

* refactor addLiteral previously known as (<+>) for readability

* rename matching to onVar to avoid confusion

* major cleanup to inhabitants + lots of documentation

* cleanup Pos suffix, all functions use positive info now

* small inhabitant cleanup + ready for big changes

* play with map merge instead of logic solver idea in inhab2

* add Annotated tree and redundancy checking

* attempt my own version of exhaustiveness checking

* BROKEN, about to try list monad

* match tree broken, might be a lost cause

* combined UA function done!

* Properly use Fresh moand in Inhabitation checks

Before I was manually threading state
By rewriting a few things, Fresh and Monad [] can coexist
Really hope there are no regressions, I didn't spot any

* add comments, prepare for simplification

* add throol testcase, proves necessity of cart prod

* create Possibilities newtype for lists, to make things more clear

* cleanup inhabitants

* document + move Possibilities to a new file

* attempting to remove MatchInt (CURRENTLY BROKEN)

* add int as opaque type, not weird exception (BROKEN)

* inhab works again! needs cleanup

* remove traces of IntLit, ready for MatchInfo merge

* introduce HerebyBe, reads better, hopefully no regressions

* Switch to TypedVar everywhere, add Be to MatchInfo

* cleanup, commit to TypedVar

* More cleanup

* document bug, already fixed

* clean up bug stuff / test case for termeq bug

* small cleanup before merge

* Remove unneeded todo

* Restyle Exploration of the Lower Your Guards paper (#402)

* Restyled by fourmolu

* Restyled by hlint

---------

Co-authored-by: Restyled.io <[email protected]>

* Restyled by fourmolu (#403)

Co-authored-by: Restyled.io <[email protected]>

---------

Co-authored-by: restyled-io[bot] <32688539+restyled-io[bot]@users.noreply.github.com>
Co-authored-by: Restyled.io <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants