Lamdu commits | Ecosyste.ms: OpenCollective

Also print scope level, helps debug skolem problems

github.com/lamdu/lamdu - 4c7d70cfe471482f68e94b8af1fcaf794495887f authored almost 3 years ago

makeOption: When there's a bug and type inference fails provide more info

github.com/lamdu/lamdu - 10c613d24f9dfc2d08eed34d174a776e6e8d8e84 authored almost 3 years ago

Remove unnecessary foralls.

In some cases can use type applications with "_"s inside instead

github.com/lamdu/lamdu - c771ca1fa118a41e247b03ba5949a892befbbeb7 authored almost 3 years ago

Use -Wunused-packages

github.com/lamdu/momentu - b340d0122c7d04060d5bd82cdbbbdafc45229c0b authored almost 3 years ago

Use -Wunused-packages, removes QuickCheck dep

github.com/lamdu/lamdu-calculus - 8ea671ba66825f563420bc4b8804498ef7d4e14d authored almost 3 years ago

Remove unused QuickCheck dep

Thanks to -Wunused-packages

github.com/lamdu/hypertypes - 35c2a69c206631eeea7be26cd443cdf2b5be0ccc authored almost 3 years ago

Use -Wunused-packages

Found out about it from
https://twitter.com/TechnoEmpress/status/1495435473464049672

github.com/lamdu/lamdu - 2a04bd1a83520a7e9192429a5e1059a25f73f70c authored almost 3 years ago

Fix https://github.com/lamdu/lamdu/issues/163

github.com/lamdu/lamdu - 971b0bd8bac11adb7e2a573ac21b19e3da3de7aa authored almost 3 years ago

Add missing tag ordering for nested destructure

github.com/lamdu/lamdu - 018a4dc7ab03bde3cc57f0603374e1d70e9dc4df authored almost 3 years ago

Fix latent bug if enable destructure support for clashing tags

Last component of https://github.com/lamdu/lamdu/issues/158

github.com/lamdu/lamdu - 21b540c2f677fc63873608790d5e16da4ccc3ee7 authored almost 3 years ago

Fixes for choosing and adding case alternatives

* When choosing first tag and pressing comma, continues to choose tag below it, not above
* When...

github.com/lamdu/lamdu - 417257d7b08a641ff94f4c6c2530d44b6917e47d authored almost 3 years ago

Fix missing actions on destructured record option resulting in red cursors

Fixes part of https://github.com/lamdu/lamdu/issues/158

github.com/lamdu/lamdu - a1b3d90ff14719d09ae1740a5c249c703c299003 authored almost 3 years ago

Space when choosing let-item tag chooses and adds param

Fixes regression since destructuring support.
Part of https://github.com/lamdu/lamdu/issues/158

github.com/lamdu/lamdu - a14f87a228d05c7f3739fa69b3492e505e0ae7c7 authored almost 3 years ago

Delete on open record/case tail closes it, simpler fix.

The action documentation is now simply "delete", but as discussed it's no less easy to understand.

github.com/lamdu/lamdu - 0aa49b54446e1ccb61f8e51742c974580e963cd1 authored almost 3 years ago

Revert "Sugar: OpenComposite newtype for the open composite tail"

This reverts commit 60a26f482ce3741900743b94fee1c8ac7ed4a122.

github.com/lamdu/lamdu - 981ee79565b4c8f9ba995a321247aff0b8fb1afe authored almost 3 years ago

Revert "Add delete-as-close action for open composites"

This reverts commit b1aafdf3071aaffd3f86845e7cba415e9981ece9.

github.com/lamdu/lamdu - 16e4dfbc02f7190b17741edb1d59c4097db00de8 authored almost 3 years ago

Add delete-as-close action for open composites

github.com/lamdu/lamdu - b1aafdf3071aaffd3f86845e7cba415e9981ece9 authored almost 3 years ago

Sugar: OpenComposite newtype for the open composite tail

github.com/lamdu/lamdu - 60a26f482ce3741900743b94fee1c8ac7ed4a122 authored almost 3 years ago

Rename {Closed,Open}Composite => {Closed,Open}CompositeTail

github.com/lamdu/lamdu - 7065b849f132470a78c30efa70b37d95f46261db authored almost 3 years ago

Documentation for 'Delete' action is 'Delete', not 'Set To Hole'

github.com/lamdu/lamdu - 804b0f7b3a8782546b80aeb99c8c4500c08dc6e3 authored almost 3 years ago

Unfragment red fragments in arg actions that fix the type error

github.com/lamdu/lamdu - ec454f876cc9d4ca0391c5b3b640bff70bd63bbc authored almost 3 years ago

Sugar.Convert.Apply: arg is sugared in Fragment conversion

github.com/lamdu/lamdu - 28bb06efd3d3616165482435a4641d20b3f047c2 authored almost 3 years ago

Sugar.Convert.Fragment: Extract 'convert'

github.com/lamdu/lamdu - bb45a6cc4c1bc62aa02104e03bf121aa9ba9c21f authored almost 3 years ago

Fragments: Fix duplicated results for get-fields and injects when results are also suggested

github.com/lamdu/lamdu - 1a87ab5154c1f7459f12025980931b8bb531a68c authored almost 3 years ago

Record values and labeled apply args indented if there's not enough space

github.com/lamdu/lamdu - d1398fc9a46ae5ad1541122a57ef4900004dd86b authored almost 3 years ago

Oops fix anim id clash on indentation in 52ee81bb7cb46615

github.com/lamdu/lamdu - 26af899a3e347adbb9a93ee509d41cfd0984976c authored almost 3 years ago

Oops fix double space between case alt tag and body

github.com/lamdu/lamdu - 38afe28d73e85ed201fbd0d696c0018073adf2f7 authored almost 3 years ago

TaggedList adds space between pre tag and item

github.com/lamdu/momentu - 3068e69f35ed2c5429ec2a98259ee5a2e0bddf05 authored almost 3 years ago

CaseEdit: Use indentation when alts take too much space

github.com/lamdu/lamdu - d81afe7cb5ecef0ce0119bb6282ed57cf9df9803 authored almost 3 years ago

taggedListIndent

github.com/lamdu/momentu - d316c1b3c479fda99e795f7195f07cb4316dcf7c authored almost 3 years ago

Extract makeVboxSpaced

github.com/lamdu/momentu - 0f446537e638b9e7b72b781309812a3dc46f0de6 authored almost 3 years ago

Extract functions, use do-notation

github.com/lamdu/momentu - b9b1f3ff8f57c59de8f7ad19d41fa764cd0f2724 authored almost 3 years ago

Definition body is indented and also add indent layout fallback for let-items

github.com/lamdu/lamdu - 52ee81bb7cb46615e6e31a640a92eb680b698b89 authored almost 3 years ago

CI: add hlint and dependabot according to https://kodimensional.dev/github-actions

github.com/lamdu/lamdu - ebf1356a2b3a657c301d2c42006cd7170f244429 authored almost 3 years ago

Remove deprecated travis-ci.org CI status

github.com/lamdu/lamdu - 76fba93fc6b79e8198e220d9c66e402af799b60a authored almost 3 years ago

CI: More informative step names

github.com/lamdu/lamdu - 66fd6f8f917d5897b407328a9afe546ff1becc1c authored almost 3 years ago

Add dependencies installation steps (based on Eyal's previous CI attempt)

github.com/lamdu/lamdu - d86206cec2082471c51ecb13ce9bc2f8bc994a85 authored almost 3 years ago

Simplify CI, use only stack build

We have stack and nix build instructions, todo: add nix to CI?

github.com/lamdu/lamdu - 67c28c6be26006c6047efb2b3575397369f36b45 authored almost 3 years ago

Add GitHub Actions CI template by @chshresh from https://kodimensional.dev/github-actions

github.com/lamdu/lamdu - c34095e56e214bd3a10764936f5ebac443ee5fa1 authored almost 3 years ago

Fix anim id clash bug

github.com/lamdu/lamdu - 8d9492e5c68e294cb24c72e554005258e2e74c4e authored almost 3 years ago

Add failing test for anim id clash of parens

github.com/lamdu/lamdu - e6480ecf3d011eb0b7fd15d436e7daa9b11b42b7 authored almost 3 years ago

AtMostOneFuncApply is for lams inside apply, or inside applied case

github.com/lamdu/lamdu - 92abad321f85f8d524cf9ba8c0527b982729b69e authored almost 3 years ago

Convert.Apply: minor refactor

github.com/lamdu/lamdu - c3f0ba681cadd1331e3fc461f4cad7c70ae05f16 authored almost 3 years ago

Add failing test for https://github.com/lamdu/lamdu/issues/155

github.com/lamdu/lamdu - cc3c52186bff95d6c35a552d3a3ddf9f70f92545 authored almost 3 years ago

Don't open the window taking the whole screen when the screen is large.

On a laptop such as my M1 MBP, still opens in full size,
but when connected to an external monit...

github.com/lamdu/lamdu - 0b69ffc5d02c0dea9a731c8f410589dca39fb44a authored almost 3 years ago

Cmd-line option to open in specific window size

github.com/lamdu/lamdu - c5bb0c94e7608d85f79be37fdaa6637ca81fc55c authored almost 3 years ago

Update momentu for window size support

github.com/lamdu/lamdu - efe83ad9ea0e772487a6092acc6f2447a8aea6eb authored almost 3 years ago

createWindow supports custom sizes

Also bumped version for two reasons:
* API change
* Helps avoid stack's linking issue when using...

github.com/lamdu/momentu - 6c343b5b02fbb328ce52b6094951d2eea07ef735 authored almost 3 years ago

No value annotations for injects (fixes https://github.com/lamdu/lamdu/issues/156)

github.com/lamdu/lamdu - 00d83377447d01ce3abc50360fc7a87f077e295c authored almost 3 years ago

Add failing test for https://github.com/lamdu/lamdu/issues/156

github.com/lamdu/lamdu - df7146602ee6d5c884838659ebc85e25106f6c80 authored almost 3 years ago

Move logic of dst after delete to GUI

Towards multi-repls

github.com/lamdu/lamdu - 799fbe47bdddbaf95bf282905de6894f7c698ae6 authored almost 3 years ago

applicative style

github.com/lamdu/lamdu - 9d2b65bff8bdf3cd199f3f46f3376adb2093a09b authored almost 3 years ago

Fix wrong search term for suggested injects and get-fields

Fixes https://github.com/lamdu/lamdu/issues/147

github.com/lamdu/lamdu - 4174425b8645a713fb7bf346ab29c76e672634de authored almost 3 years ago

Fix https://github.com/lamdu/lamdu/issues/144 via color change

github.com/lamdu/lamdu - f2915d9324e02b15f9543949990cb88cf7677426 authored almost 3 years ago

Fix tag ordering in type annotations broken since f95ac716726f9

github.com/lamdu/lamdu - e620b59b4b0b434cf445cf30e11777da34d920b0 authored almost 3 years ago

Eval results AST also using hypertypes

github.com/lamdu/lamdu - b71ce3057c8176eaebb8fe59a7b683c656e3b9f7 authored almost 3 years ago

Use qualified imports

github.com/lamdu/lamdu - 0160c9154abd58e356f4a46d67c5d4fa90f10a31 authored almost 3 years ago

Extract Suggest out of Convert.Option module

github.com/lamdu/lamdu - 21d3fef8e330e06a1393b14ab3142abccf5a26ef authored almost 3 years ago

momentu changes

github.com/lamdu/lamdu - 136960f61038de5939871d2921cf1b68582a4c48 authored almost 3 years ago

Responsive uses WideLayouts

github.com/lamdu/momentu - 999c87cc5d288ddee460fe1d4313353609710e37 authored almost 3 years ago

Move WideLayouts to Responsive towards using in Responsive type

github.com/lamdu/momentu - 65ea8920fd0b29d21c613fc7a4e905689ef91c27 authored almost 3 years ago

Minor cleanup in test

github.com/lamdu/momentu - 028f6ee67ea00aded3f52befe32b2ff0f86830bb authored almost 3 years ago

Remove redundant function

github.com/lamdu/momentu - 7f3d395f2dc85decdf032f26b7d83ca3aa55c0d3 authored almost 3 years ago

Hole: Prefer records syntax results over lambda results

github.com/lamdu/lamdu - ec708646df29c83c35fce9bff02ee4630283343b authored almost 3 years ago

Fragment UI: Show parens to left of question mark (fixes #152)

github.com/lamdu/lamdu - 89a64f804e0bae040ccd00d881fc5971719fec1b authored almost 3 years ago

Remove unnecessary parens for fragments in some cases

github.com/lamdu/lamdu - 68980afa06f7c8c207b6f34188fad87c807ce5c9 authored almost 3 years ago

Case tail shouldn't have scope nav

github.com/lamdu/lamdu - b1ac5226ebecc4d4aa232e9e5d0e7f4ac2eb5b57 authored almost 3 years ago

Add space above open case's separator

github.com/lamdu/lamdu - cab1bc818a29bd395c451fdaccb3e2a70796d6d0 authored almost 3 years ago

Add frame for single-line if expressions to help see the structure

github.com/lamdu/lamdu - 022ef61d261d9277cefc79005476358de185ba3a authored almost 3 years ago

New sugar config destructureNested

github.com/lamdu/lamdu - 60c8f5f28bc55398311f36ab2e2db870590d0749 authored almost 3 years ago

Resugar after config change, was broken since b10c78a1feff

github.com/lamdu/lamdu - 6b31adccf872e644e723785cdc34e1708c899645 authored almost 3 years ago

Tag names must start with lowercase letter (fix #151)

github.com/lamdu/lamdu - f50db45dc24b6365b9f7007fe70aa71ee1cd6fef authored almost 3 years ago

Color schemes changes: noms and record fields are colorfuls

github.com/lamdu/lamdu - d1094e76b1cbba1acce1bbb4700e710329311d23 authored almost 3 years ago

Some tuple point-free with bitraverse

github.com/lamdu/lamdu - 5165602d00d4232b769b853e29cb9b9287cae3dd authored almost 3 years ago

More gold-plating in stdlib

github.com/lamdu/lamdu - 7e87830e7d326a0e8c35e31484b568a6b927e9b7 authored almost 3 years ago

If-else single line layout for simple cases

github.com/lamdu/lamdu - 06da6977d1531c3510461d3eecfeb90837bbff96 authored almost 3 years ago

DRY in stdlib chars function

github.com/lamdu/lamdu - 904070991bbe42d977948074dafddf752304b6d2 authored almost 3 years ago

Fix param value annotation anim id clashes in previous commit

github.com/lamdu/lamdu - f28be565a4736660167f1780ebde362d2d63553b authored almost 3 years ago

Show let-item annotations in LHS

github.com/lamdu/lamdu - 6c6ff23177a474135bdd8a7bcdc7eee444000706 authored almost 3 years ago

Add Show instances

github.com/lamdu/lamdu - 7c316c44a9b59d6704bfd5582775ba218de47659 authored almost 3 years ago

Recursive destrucure annotations on individual sub-fields

Note eval doesn't work ATM for let-items annotations

github.com/lamdu/lamdu - 3936521c4e8be61b6332047f51fc0335e7d8f992 authored almost 3 years ago

Extract addAnnotation for use in recursive destructure

github.com/lamdu/lamdu - 52a0f130fdd50cd63f31e079a1e68e3ff122f036 authored almost 3 years ago

DRY

github.com/lamdu/lamdu - 4061abc37c168176def83c823a0fd4de33f8d3b6 authored almost 3 years ago

Fix regression causing extranous parens in e1580669e265

github.com/lamdu/lamdu - 30f1644cf8721d541f713ab0042a9d107792030c authored almost 3 years ago

Add failing test for parens regression

github.com/lamdu/lamdu - aa56822e1edcf4210d2d3d710b0da21f914d57a9 authored almost 3 years ago

Delete on let name deletes let again

github.com/lamdu/lamdu - 4890adbf7e91e49db2d1fd5a166b4be717d86634 authored almost 3 years ago

Fix #153

github.com/lamdu/lamdu - 5ec66ed80f9be731d528ad278f2fe05b8acd3db0 authored almost 3 years ago

Add failing test for #153

github.com/lamdu/lamdu - b5c074a108950ab16864983e10a4edb7dcfd3413 authored almost 3 years ago

Stdlib cleanups in chars and transpose

github.com/lamdu/lamdu - 8e9260e13f994aa6e380f0e4c90a8dc0fefb74e3 authored almost 3 years ago

Fix anim id clash in var record results

github.com/lamdu/lamdu - 847d5f3a4932251a85c11b1ce5c1b02453887627 authored almost 3 years ago

Stdlib: refactor fromChars

github.com/lamdu/lamdu - 3e75d1d7a972a29de033d60be45d4c5291119bb1 authored almost 3 years ago

Recursive destructure (Fix #149)

github.com/lamdu/lamdu - 6cff44e440a06f933e1df9efa71ad585ee668b75 authored almost 3 years ago

Use nubOrd from stdlib

github.com/lamdu/lamdu - 28e7f380670f02d0cc0a7c63a8954d621cd8d442 authored almost 3 years ago

Move function to user module

github.com/lamdu/lamdu - 2583f29987b24fe72bcd188c7f05433198c445c5 authored almost 3 years ago

AST: Recursive destructure doesn't support editing nested tag lists for now

github.com/lamdu/lamdu - ad60b7b75d2b760499b0e605ff8dd4bafdc3757f authored almost 3 years ago

Function gets only what's necessary

github.com/lamdu/lamdu - cd4c65dce3cab4270e1cde7b8559458a43818bd0 authored almost 3 years ago

Remove unused exports and extensions

github.com/lamdu/lamdu - df2d518d25e5083dd99ce9d039a920eb4d5ced55 authored almost 3 years ago

Point-free style

github.com/lamdu/lamdu - 4f0a637d0587f9a1049c8f0eb4594bb00af99e1e authored almost 3 years ago

Remove misleading condition

Light lambdas are now added in a step after assignment parameters sugar,
so the condition would ...

github.com/lamdu/lamdu - 87a04fb8241509d1d61bf34fd1a12c86dc6bd445 authored almost 3 years ago

More cleanup

github.com/lamdu/lamdu - c1ea21c713d2ed86efc929f6b487661ac389d9f7 authored almost 3 years ago