Lamdu commits | Ecosyste.ms: OpenCollective

Move non-production / experimental modules to test

Most other modules are in actual use in Lamdu,
and not just in an example test language,
so thei...

github.com/lamdu/hypertypes - dec34c79321f3332a1c635222ccf1e0435540876 authored almost 4 years ago

Simplify package.yaml

Had previously listed the invdividual test modules because otherwise the test would also compile...

github.com/lamdu/hypertypes - 992803608febf3b02eb41504b5b61a50b07fa016 authored almost 4 years ago

generalize more types

github.com/lamdu/lamdu - 5dfd5c75b90758365f6fb8f379be05c0e52b522a authored almost 4 years ago

hlint police

github.com/lamdu/lamdu - 31c7ac788069bcc1d73bdd30a4e89e554e3958a5 authored almost 4 years ago

Organize and simplify types in Names.Walk

github.com/lamdu/lamdu - 59159c0089d0579e8bb5d9327f194ec7fd4dc366 authored almost 4 years ago

More general walk type-class

github.com/lamdu/lamdu - 8e97a7d269474f7df0416a41b9d62b9e59a72aad authored almost 4 years ago

NameWalk: Use typeclass rather than different toX functions

github.com/lamdu/lamdu - c7071a42c01aa59ae904cc43edd78583f194fce7 authored almost 4 years ago

Add short SugarPasses document

github.com/lamdu/lamdu - 1880cfe6f36e4dda137223e55fe128062366863a authored almost 4 years ago

Remove outdated document

github.com/lamdu/lamdu - 7aecce7f78ffc008db86ca02747b54b74d16dfb7 authored almost 4 years ago

Remove redundant kind annotations

github.com/lamdu/lamdu - 0d6b6d22a766d70a81183ec15ee6f618f0fba8fa authored almost 4 years ago

Revert "add NodeActions.wrapInRecord (in Sugar, not yet exposed in GUI)"

Still haven't exposed in GUI, and maintaining it along refactorings is somewhat of a burden

Thi...

github.com/lamdu/lamdu - 5e5125972b9471ef4926e35a5f301d8d1134594e authored almost 4 years ago

Generalize SugarLens.annotations

(Towards also using the traversal with ConvertPayload rather than Payload)

github.com/lamdu/lamdu - 40552d3c27ad833792c6a25b18786c4dfdb9d660 authored almost 4 years ago

update stackage snapshot

github.com/lamdu/hypertypes - 02ed82e8e520fafe8860c66a46d365a2754181e7 authored almost 4 years ago

.ghci: Update to support partial type signatures

github.com/lamdu/lamdu - f54daa800419b5567e5a863dde47bd8b9c2d4ebe authored almost 4 years ago

Upgrade to new lamdu-calculus,base16-bytestring >=1

github.com/lamdu/lamdu - 17570369ae59ea4054f41feafab962c048c4ebdb authored almost 4 years ago

Temporarily (?) remove showAllAnnotations options to ease refactorings

github.com/lamdu/lamdu - 1cd25fcddf945558cd74b2f2d344a3d880e852fc authored almost 4 years ago

Upgrade to base16-bytestring >=1

github.com/lamdu/lamdu-calculus - fb1af1584ba8446359cb1fa435eefb8a024bc767 authored almost 4 years ago

Sugar.loadWorkArea returns with ConvertPayload

Towards making Sugar.Payload be the final product with less type parameters

github.com/lamdu/lamdu - db5e1eb7ef9d53eb13d728a3226292a0d5534a3b authored almost 4 years ago

Generalize remaining function in OrderTags

github.com/lamdu/lamdu - 5354f609c36beaacc511b7f25659907d6c632610 authored almost 4 years ago

Generalize types

Note:
orderTags actually *should* order the type annotations too,
but for now it doesn't and we ...

github.com/lamdu/lamdu - cd83caa0ea43a30faaff15e95fa17fe1a1f99d0d authored almost 4 years ago

Remove dead code

github.com/lamdu/lamdu - a6cc8df61eed7e7476b4595dd219ba85a658c9a9 authored almost 4 years ago

WYTIWIS: Space key applies functions

github.com/lamdu/lamdu - 67992c7988a7c82dbe680b62e327865692ca3505 authored almost 4 years ago

Space key doesn't create fragment (can use open paren)

github.com/lamdu/lamdu - 6f5e3d9dbdafa593b06484ccee24f775c34ebb17 authored almost 4 years ago

clean up weeder config

github.com/lamdu/lamdu - 62c55a0007fb4d97fefc4f72be24f582514cfff1 authored almost 4 years ago

Re-apply "GUI doesn't need conversion from input to output actions monads"

This reverts commit 436e117882b4e8bb3e59c2753391c2fac96ecc13.

github.com/lamdu/lamdu - 03cdbc88d90a8fe837efc6a815da684c635b45aa authored almost 4 years ago

Remove unused exports and inline one-liners

github.com/lamdu/lamdu - 88e95dba99ee94a82199e7c3ce412669ec2e8ef3 authored almost 4 years ago

More info on situation when cant produce focused widget

github.com/lamdu/momentu - e23182238f3da689643c7d3e8616d27f80d63ee6 authored almost 4 years ago

Oops fix examples broken in 5fcd62ed90

github.com/lamdu/momentu - 7ba3c75469cfbad521d446e2bbefee1ed69d4406 authored almost 4 years ago

Cleanup reuse Control.Monad.Reader.local

github.com/lamdu/lamdu - c1d7d17ebf46f5ad8e110d9ce49625e935a16e80 authored almost 4 years ago

Minor cleanup: hide internal impl detail

github.com/lamdu/lamdu - 0394ceeb8da89813c2e4616da0720b769cd3b8a9 authored almost 4 years ago

Simplify pre-processing of source ASTs

* Calculate both scopes and usages of variables in the same pass.
* The fact that varRefsOfLambd...

github.com/lamdu/lamdu - 14abf8c14695cf077e1fe55aac29803b94683a15 authored almost 4 years ago

Add passing test for condition on null param sugar

Test failed during dev

github.com/lamdu/lamdu - 5f07931ae37f65eafe925b9c41c8661bfb5bc87b authored almost 4 years ago

hie: Add migrate exe

github.com/lamdu/lamdu - 145e21bfa128f78f271149eff13b59ab683bdfda authored almost 4 years ago

stack.yaml: Upgrade lts

github.com/lamdu/lamdu - f14d03629dd7f0f0b04fb0f0fa8389d75d69bfbc authored almost 4 years ago

Remove cabalv2 project file

github.com/lamdu/lamdu - dfa3b3f0828f249538d8eada785463a7989a7628 authored almost 4 years ago

Space no longer key for selecting results in holes, towards WYTIWYS changes

github.com/lamdu/lamdu - a666cc164d4658dbe5c005e27c6679f8c58569c6 authored almost 4 years ago

Space turns nullary inject to inject of hole (part of completing WYTIWYS)

github.com/lamdu/lamdu - 57a94b40540cd63dbaffd89eeac944cfe0ebe7f9 authored almost 4 years ago

InjectEdit: nullary-inject cursor always on tag

github.com/lamdu/lamdu - 0f23039205e4641537f95896d071e5835c1f6686 authored almost 4 years ago

Remove unused text

github.com/lamdu/lamdu - 8bbf9c626150aae8a4c0424eca7f4afe5273a92b authored almost 4 years ago

Revert "Move Payload and NodeActions to Expression towards following change"

Planned change wasn't done after all, if we go that way can re-apply.

This reverts commit 8d941...

github.com/lamdu/lamdu - 40a3734d13fe2cfb6dad59c9edb6049e1445399d authored almost 4 years ago

Remove hole extra results: UI side

TODO: Cleanup Sugar to also not create groups at its end

github.com/lamdu/lamdu - e09b4ea827e2a0ab73896d4f9abae56dc1b73c44 authored almost 4 years ago

socket send is an operator

github.com/lamdu/lamdu - 06f2cc30a2c6009b93eeea36e77a30fc3f057c81 authored almost 4 years ago

Tab key in hole selects the result and goes to next hole

Part of https://trello.com/c/bPAnZLuH/521-change-keyboard-shortcuts-for-better-wytiwys

github.com/lamdu/lamdu - 575e251b5dd052fa5dba1aa9b5d1c8f142db37e3 authored almost 4 years ago

Swap operator args: avoid fragmenting holes

github.com/lamdu/lamdu - 49f1662f0de482f7fafd5b1bfa7f14f771f26aa2 authored almost 4 years ago

Reuse OperatorArgs type

github.com/lamdu/lamdu - 5838a95a528f596a188be08b14133f6a7e8da5ae authored almost 4 years ago

Swap between operator arguments action - initial implementation.

Italian translation of swapOperatorArgs is blatant google translate!

github.com/lamdu/lamdu - 716cc839f6761acb5cfe5d8742345a7d1da9f6fa authored almost 4 years ago

Upgrade momentu dependency

github.com/lamdu/lamdu - 71fd7299b5ad1e18d4966b35de6996b9511f1205 authored almost 4 years ago

Remove pretty package dependency

github.com/lamdu/momentu - 227638e1d1ea297178dedfbb26867000592beaad authored almost 4 years ago

Create Sugar.OperatorArgs

Towards adding swap-arguments action

github.com/lamdu/lamdu - a382e68a21ade36b5153bf18d6a148dd48415a7c authored almost 4 years ago

inline one-liner

github.com/lamdu/lamdu - a6fd950cc4f64326481089a9da30763c80f73c5f authored almost 4 years ago

Change keys to be consistent with future Cmd+Left action to flip operator arguments

github.com/lamdu/lamdu - cf36b84cb97f9815a7872a245c834eca16da192b authored almost 4 years ago

Hole: Suggest apply only if type is TFun

github.com/lamdu/lamdu - 5d0d7718f36b9b188b96660261456bbdfd142125 authored almost 4 years ago

Prefer search-term matches on no terms for result

When typing factorial, currently typing "x=" becomes "x _" ("x" applied with hole).
This is due ...

github.com/lamdu/lamdu - 55acf40d55aa7831803702c998890e06be52cc6b authored almost 4 years ago

hlint police

github.com/lamdu/hypertypes - 694e1765303e78438c24062fe48d8c386ec23830 authored almost 4 years ago

Re-revert "HoleEdit.ResultGroups are fuzzy matched", fixes failing test

Temporarily remove fuzzy-search functionality in holes,
fixing the sort order of results to pref...

github.com/lamdu/lamdu - a50a5eb7fc57ba8e5e80e2cba906c32be3f19b86 authored almost 4 years ago

add failing test for weird behaviour of fuzzy search

github.com/lamdu/lamdu - fa022eaea0bf4cee4b4f0dbd89c87476e48e9203 authored almost 4 years ago

Send nix-build output to /dev/null

github.com/lamdu/lamdu - 88fb12865ddbc49036e5ee6bf6fe9ff5c6368377 authored almost 4 years ago

Quiet logs from nix-build

* Travis failed with "max log size exceeded"

github.com/lamdu/lamdu - de2e6afbd68596f5da251f52cf6bd1106a850150 authored almost 4 years ago

Fix nix build

github.com/lamdu/lamdu - b95b3d933292658bf6ffc2046bb29696eddddefa authored almost 4 years ago

Add test validating behaviour of fuzzy search (passing)

When writing "1..10.filter n",
"not" is currently preferred over "num",
but this is not due to f...

github.com/lamdu/lamdu - 6b008e23def2bc9a2fb46563981c4a3beeef61c9 authored almost 4 years ago

Holes deprioritize globals (fixes test)

Note that a similar test (will be added later) still fails,
possibly due to a fuzzy matching bug...

github.com/lamdu/lamdu - 2e16e7a9308ad7c6f75540d7f9d3d0499c0e4766 authored almost 4 years ago

add failing wytiwys test

github.com/lamdu/lamdu - d08699cdd0a1479a300ef8ae7cd09292f9342316 authored almost 4 years ago

renames

github.com/lamdu/lamdu - 626c17816bb080227ba72fcebd0f47d0cb1f2c1c authored almost 4 years ago

Remove unused quickcheck (now moved to momentu tests)

github.com/lamdu/lamdu - 917fdadb644870a246b0d3bded48c3bb2ad4e329 authored almost 4 years ago

Extract momentu tests to momentu package

github.com/lamdu/lamdu - 993269e2912a95bd9fb084e9285d0ab5e48438c8 authored almost 4 years ago

Remove dead code (found with weeder)

github.com/lamdu/momentu - 505a6237f945139b27af52e5c1288dbdb7d59c65 authored almost 4 years ago

Use package.yaml rather than cabal file

Generated cabal file still in repo as recommended by stack

github.com/lamdu/momentu - 5fcd62ed90a30eaa0ab7b265ada4d1eb57ae3c25 authored almost 4 years ago

Backport tests from Lamdu

github.com/lamdu/momentu - 907a9658b92bb8ba833e374680fbb0382b6504cb authored almost 4 years ago

Ignore numLock/capsLock state in key events

* GLFW 3 added the numLock/capsLock state into the ModifierKeys
* Lamdu used these modifier keys...

github.com/lamdu/momentu - 5f3f511ce51dc83d5d536832e8e45153dcf6e104 authored almost 4 years ago

make elseIf a keyword rather than made of two parts

github.com/lamdu/lamdu - 14247b3b69603511b7a4ac52262ea1c314eb691c authored almost 4 years ago

More English names were actually abbreviations

github.com/lamdu/lamdu - 8af6f9095fbf7f340cc2916071493cd60bf9a05a authored almost 4 years ago

Add "init" as an abbreviation for initial

github.com/lamdu/lamdu - c2684a10a72a86c926518c8117210e1b42b5bb8a authored almost 4 years ago

fix tests

github.com/lamdu/lamdu - 617f813df616c301cdbb762de091af61c0484d77 authored almost 4 years ago

Add Italian translation

github.com/lamdu/lamdu - a8ad9458c8e2ff129b8096fb05cc55fe12b1a5a4 authored almost 4 years ago

showSearchTerms debug option

github.com/lamdu/lamdu - d27f2492d0d91d09375017e7b0f8ba33666b44b2 authored almost 4 years ago

Fix redundant constraint warnings

github.com/lamdu/lamdu - ef8ac6a03a6dc78090055d10ea9279eee977c54f authored almost 4 years ago

Remove redundant option and comment

github.com/lamdu/lamdu - 61d105964cdb665600a3a900057a7b738b9d4cd9 authored almost 4 years ago

Rename infixl/infixr => lhs/rhs

With full "leftHandSide" names and with fixed Hebrew translations,
where the writing is right-to...

github.com/lamdu/lamdu - 72e802b1aef20ccd93941ecb84c1f83cd85b1e7a authored almost 4 years ago

Can type inject of records (before it turned to nullary inject when typing "{")

Fixes https://trello.com/c/Kox6Yt5d/518-be-able-to-type-an-inject-of-a-record

There are some mi...

github.com/lamdu/lamdu - 80bed73f3b9bde261bc5f90a392dbd3dc8587b3b authored almost 4 years ago

Use constraints wildcards to reduce boilerplate across GUI code

This replaces long type contexts with wildcards,
reducing ctxs and imports boilerplate significa...

github.com/lamdu/lamdu - 37c87663c34292d25b64fd229abac2dcf368c6a8 authored almost 4 years ago

Unapplied operators shown with parens like in Haskell

github.com/lamdu/lamdu - c061589799bd1484ce08f0156a05e74312718cce authored almost 4 years ago

Inline used-once function

github.com/lamdu/lamdu - 5f86edb8964064b0a1cbd2d22958fe1789711d48 authored almost 4 years ago

Remove close record/case action, as the way to do it should be filling the hole

This is also a less confusing way of doing it with regarding to record/case
extensions where the...

github.com/lamdu/lamdu - 55a8df7f932450358e561b6c214b0ea6d545ade0 authored almost 4 years ago

Suggested completions include empty record and case where inferred type is a rec/case

github.com/lamdu/lamdu - 9fa778cd1dd1a288d127ca4ad5cd0cefcd7900c1 authored almost 4 years ago

Partial imports cleanup - import from toplevel GUI.Momentu

Now that it is external package anyway,
there's no compile time speedup in having specific modul...

github.com/lamdu/lamdu - ab1bd0a24cf85adfdc8f0789b906bca51dbbd72c authored almost 4 years ago

Extract momentu

github.com/lamdu/lamdu - 4991dc87de80d248969d13c7d4a0f70b2012a42b authored almost 4 years ago

Momentu: Extract from lamdu

* See previous commits history in lamdu's primary repo

github.com/lamdu/momentu - 490a12d49107668ebf1e6f0cdcf90cb7dec41ab8 authored almost 4 years ago

Cleanup: inline one-liner

github.com/lamdu/lamdu - 225dccd6856cda9abe270706908fbf18897cb676 authored almost 4 years ago

Unapplied inject-func has parens, like unapplied operators in Haskell

github.com/lamdu/lamdu - b22d85ca8b4fcef2fd5c5613c6e5c2d6475da198 authored almost 4 years ago

Maintain weeder configuration

github.com/lamdu/lamdu - f6d7f41f504b06c550a80cd93570242d573b806b authored almost 4 years ago

Add passing test for typing if-expressions

During uncommited dev I broke it, so it would be good if a test verifies it ain't broken.

github.com/lamdu/lamdu - d500c58bc2720522fe58a5240bcf7763ad61b046 authored almost 4 years ago

Sugar: Extract Leaf type from Term

This simplifies a few traversals of the AST (AddEval and BodyAnnotations)

github.com/lamdu/lamdu - 628e1f448a23dc4ead21934ca6e5b37d7a897d30 authored almost 4 years ago

Remove redundant expr position for inject (no longer a compound expr)

github.com/lamdu/lamdu - 479c86e43c7f89189262a3969ecbfc47aeb29fd3 authored almost 4 years ago

Add a passing test for operator precedence

(test failed with stashed changes)

github.com/lamdu/lamdu - 0f117cf71b809bf0a9a46f348c95fecd37043b48 authored almost 4 years ago

Inline function used only once

github.com/lamdu/lamdu - 6153ca020631bf667f9f83040bc4b85cc36388a9 authored almost 4 years ago

Simplify code after inline

github.com/lamdu/lamdu - a11821c8b08fb23b3a539ef73e477862cc35a09b authored almost 4 years ago

Generalize type

github.com/lamdu/lamdu - 05651daf9468cd25db1c833e79e5bf9afa59e00f authored almost 4 years ago

Add failing test for missing parens for lambda in fragment

github.com/lamdu/lamdu - c2a2b467339985f90e40045acf96c57e1f8e1146 authored almost 4 years ago

Fix red-cursor bug when inlining postfix applies (and failing test)

github.com/lamdu/lamdu - 948587039c308e8064b56db39c6305beb914d174 authored almost 4 years ago

Tests: add some HasCallStack that could help understand failures

github.com/lamdu/lamdu - b631963a5509aa97ad1bcb442917dc90939a330c authored almost 4 years ago