Lamdu commits | Ecosyste.ms: OpenCollective

makeLiteralEventMap moved to Lamdu.GUI.Expr.EventMap

github.com/lamdu/lamdu - 9ab77aabafeeb5edc0f3ee41a93ab6d7ae902091 authored about 5 years ago

Case expression design change - looks like named operators

github.com/lamdu/lamdu - 7ff52128ab02eff570eec14abe31c1026ad9e4ec authored about 5 years ago

Fix parens for get-field and fragments

Get-field looks like an operator, and fragment often becomes one and is a stand-in for one, so t...

github.com/lamdu/lamdu - 05ded9690d2c543689d72bb7d766465872170075 authored about 5 years ago

type annotations

github.com/lamdu/lamdu - d07ebe1ad080f09ba70334eeee080e7a6ecb32aa authored about 5 years ago

bring variable def closer to usage

github.com/lamdu/lamdu - b81009d908be66171c5a9f56f4760b8501362107 authored about 5 years ago

Can type negative literal numbers (fix #484)

https://trello.com/c/QLVpiZd1/484-cant-type-1-literal

github.com/lamdu/lamdu - c43bc05e2f2dff5e47d85f4cdd009584e929457c authored about 5 years ago

extract makeLiteralNumberEventMap

github.com/lamdu/lamdu - bddb6e65ad3feaacd04adf14abb9817e7fd5db61 authored about 5 years ago

Sugar.Parens: simplify non-type-changing prism

github.com/lamdu/lamdu - c580cc82733273b2a45837bf7e5b779d1f00b306 authored about 5 years ago

Fix #487

Fixes https://trello.com/c/dQlJllBY/487-no-pattern-match-suggested-for-maybe

github.com/lamdu/lamdu - eb2087190b58c5d6faa8ef78a334fd8fd0d5c523 authored about 5 years ago

fix #490

https://trello.com/c/JdK3hbus/490-bad-hole-results-with-params-record

accidentally broken in f3...

github.com/lamdu/lamdu - b6f2bbf9e636c14a2d74c77475e582fe88a97dd5 authored about 5 years ago

Dot is considered an operator again..

Fixes https://trello.com/c/5Qvz8Fwd/489-doesnt-type-as-left-associative

This reverts commit 463...

github.com/lamdu/lamdu - ecc78fdaee0f77e925469ca5e44fc4cd259e83ad authored about 5 years ago

hlint police

github.com/lamdu/lamdu - 2ae4f61c7550d5304017b5a89376c5004b62449f authored about 5 years ago

Fix fragment precedence issue #486

https://trello.com/c/oOuVoitb/486-missing-parentheses-in-fragmented-expr

github.com/lamdu/lamdu - 340903b2db3d8f12a1b476a7b0e31615b1412aa3 authored about 5 years ago

Lamdu-calculus AST supports lambda parameter types, replacing the out-of-band param lists!

This is a step towards type editing and is also a clean up

github.com/lamdu/lamdu - 96ffeea0184d84a24c2f71f198ab09189e398dc2 authored about 5 years ago

fix for operator application on fragment

8cb842a4a23 (yesterday) broke typing the "%" in "0 .to 1000 .filter num -> num %"

github.com/lamdu/lamdu - 9ca1a68b0959503a6ba960ec1346496f1acc4bf2 authored about 5 years ago

hlint police

github.com/lamdu/lamdu - 76ae1e23df16be97019901e42ae0be20afdb6ab6 authored about 5 years ago

Fix operator events on hole results inside fragments, for example

when typing
"factors num min = if min*min >"

Then the ">" key "went no-where".
This is sinc...

github.com/lamdu/lamdu - 2d21a59d620cd519e6dd09ecbab92d8fb1761865 authored about 5 years ago

hypertypes update

github.com/lamdu/lamdu-calculus - 012005ac54ee0ac462ff328db4a8c3cebc010d96 authored about 5 years ago

hcomposed convinience optic

github.com/lamdu/hypertypes - 473c92a2562a38926ac55b118d04f3bc4948a9dd authored about 5 years ago

Rename {Mk=>}HCompose for more succinct pattern matching

github.com/lamdu/hypertypes - 04043a205460641847a2268a7a421034dd26a4e7 authored about 5 years ago

Time test running

github.com/lamdu/lamdu - 10db81b2bd9510fbfb986bcc05120927fb68f68a authored about 5 years ago

Tests.Gui: Sample only the first char of each group

github.com/lamdu/lamdu - 32f2f4bd0fd263b7e071d51d2263fa8d45db8779 authored about 5 years ago

Change stdWrap* to wrap the gui generating action

github.com/lamdu/lamdu - b281e91003e01f4ff528594c95c5de9fa8a60dfc authored about 5 years ago

Fix failing test: only jump to open fragment id when opening a fragment

github.com/lamdu/lamdu - 8cb842a4a2396d4770464143a648e21454bce74a authored about 5 years ago

Remove redundant kind signature

github.com/lamdu/lamdu - 292ebccba17f508cba7deb125f804dbb903c46e7 authored about 5 years ago

Add failing test: Test much more of event map in gui test

github.com/lamdu/lamdu - 4834f47ba1a682b1c096e37d1e33702c3c3c1813 authored about 5 years ago

Extract GUI.Momentu.Prelude

* Step towards independence of the Momentu package

In the mean time, changing the Lamdu.Prelude...

github.com/lamdu/lamdu - 81a04200740ee8a16553a9a71e84a52df80ec98f authored about 5 years ago

Add tools/cabal-cached

github.com/lamdu/lamdu - f529dda057d6d9fcd0f52496fd8c3d10731c642b authored about 5 years ago

git-cache-cabal: Build only lamdu executable

github.com/lamdu/lamdu - 8ef1e89885ddb96510419f0b3573cbb730c973e4 authored about 5 years ago

Add hlint rule: use ==> where applicable

github.com/lamdu/lamdu - 9d9fa716634e68850221875eb3845a1bcdb5fc4b authored about 5 years ago

Rename Control.Lens.Extended.{singletonAt=>(==>)}

github.com/lamdu/lamdu - a0eb461ba5ecd80c8ed0fa3d65578f5bad435338 authored about 5 years ago

Lamdu.Prelude: Add more exports

* import (#) and (:#) to avoid needing special import syntax
everywhere
* re-export hyper anno...

github.com/lamdu/lamdu - 693ff5b619c234d10bb45756fc9f826911711e20 authored about 5 years ago

add hlint rule

github.com/lamdu/lamdu - 1b53b2a4573cd0ef6d12f8b1666f0548308f3487 authored about 5 years ago

remove dead code and unneeded .Extended imports

Using things from ".Extended" re-exports also masks hlint rules

github.com/lamdu/lamdu - 892f9f5b08281f829c9629ea294d1e342312075b authored about 5 years ago

Tests: extract testActionsAndNavigation

github.com/lamdu/lamdu - 556ce7dfa8d505f40e02235870a3bf4014b7c2e4 authored about 5 years ago

Tests.Gui: Simplify testActions

github.com/lamdu/lamdu - 30b21ddade5c5103f2a2e758d9c496d6387f340c authored about 5 years ago

Fix parameter order for "iterate"

Was flipped when changing "fold"'s param order.
In the future we could have the parameter order ...

github.com/lamdu/lamdu - 92f45e5225dfbbe0eb4fad098ae4093b6fa16be8 authored about 5 years ago

Tests: Add the empty program

github.com/lamdu/lamdu - 6b12d4837b7d7785a98d9a93515918ff084b1c2e authored about 5 years ago

stdlib: fold is infix, and binop is the right argument (initial value below)

github.com/lamdu/lamdu - 4067767ca49808fac5087e1ee602e586f9dd2a50 authored about 5 years ago

Infix presentation mode isn't broken by punned infix argument

It was probably broken since punned record items?

github.com/lamdu/lamdu - 658a1b1debb076be69688c9d9a85158f78b9dbd0 authored about 5 years ago

fix tag ordering skipping expressions in fragments

this was missing since 2018.07.10 4bb337aedbeca5453a5 Sugar AST reform

I guess we need some tes...

github.com/lamdu/lamdu - 0063ea117c55b5e75b8ef50ebb6f93b46dfb4e3c authored about 5 years ago

hlint police

github.com/lamdu/lamdu - 93014e493395c7624a14588de9c61fdd963c0745 authored about 5 years ago

hopefully last generalizations towards AST changes

github.com/lamdu/lamdu - a1a88da60ffef1e9915d6939adeeacd33dc2c258 authored about 5 years ago

Sugar: refactor FuncParam to not take info

github.com/lamdu/lamdu - c743fb09537578ce08e91998704aed2a7dfdd314 authored about 5 years ago

Responsive: Refactor boxSpacedMDisamb

github.com/lamdu/lamdu - 94e20e282c03548273efe5529afc94d10bf73306 authored about 5 years ago

Well-typed fragments need no extra annotations

github.com/lamdu/lamdu - 795fde771dfb0ef136ba176d26acccb6d9ee10c0 authored about 5 years ago

Whitespace style

github.com/lamdu/lamdu - 44b205f3306f13fa77ab54df84d7310061af347c authored about 5 years ago

Lambdas have optional parameter types

github.com/lamdu/lamdu-calculus - d9cd541b5b2b2b8ff32e65995b627ca475a1393c authored about 5 years ago

Oops: must open FragmentEdit hole when transforming

github.com/lamdu/lamdu - 5c132c5dc3761be432f1c4de665e5a9221cbe0f4 authored about 5 years ago

FragmentEdit: deleting fragment's question mark heals it

github.com/lamdu/lamdu - ec79652d4c45afbba1aca120baf943c3f9f3e44f authored about 5 years ago

Remove redundant 'widget %~'

github.com/lamdu/lamdu - c3ce98b4cb60080b90419494a6cd240e81176f7e authored about 5 years ago

generalize InferOfConstraint instances

github.com/lamdu/hypertypes - 573f8747cb4ac4f76473912ed39e3cb708535747 authored about 5 years ago

Element.{Layers=>LayeredImage}

github.com/lamdu/lamdu - 96812571f5bfed5cbe3e54ed1f92f22fd7db4b30 authored about 5 years ago

Test Gui: Skip less programs

* Fragment holes no longer violate reversible navigation

github.com/lamdu/lamdu - 109d96244fdd3114c721df4de2b622757579aaad authored about 5 years ago

Holes are closed when strolling them

github.com/lamdu/lamdu - a5a7cc1bc728a803e4cba16b07eb342438a530e1 authored about 5 years ago

Holes navigated by id dont open by default

* Closed holes are usable enough to fill, too, and are less visually
jumpy/noisy

* No need fo...

github.com/lamdu/lamdu - 12e33c455a1afe06ffe01ce9224a198ec6c1315b authored about 5 years ago

EventMapHelp: help always on top

github.com/lamdu/lamdu - ceb4d9fad37a22d06bf79df52692b6d7e78c259d authored about 5 years ago

FocusDelegator crash with parent/child doc

github.com/lamdu/lamdu - bd4de188e1779a37e6c28bbe5c57d69c95ad8ec2 authored about 5 years ago

Remove TODOs to test RightToLeft.

* We'll add this if we encounter issues

github.com/lamdu/lamdu - 215a6df12d4a69ab28eec3f266b8f9b975240f7a authored about 5 years ago

use inferUVarsApplyBindings

github.com/lamdu/lamdu - 8ea962240682f4aae6f42ae022f819e17898423f authored about 5 years ago

use htraverseFlipped

github.com/lamdu/lamdu - 247595d1b803931b08b53094a06f13a18c77f6cc authored about 5 years ago

use htraverseFlipped

github.com/lamdu/hypertypes - 0d1c828d77c80832f8a2d7a64abfba127a7e1742 authored about 5 years ago

htraverseFlip combinator saves on parentheses (currently used in 6 places in lamdu)

github.com/lamdu/hypertypes - 47dd6d3e51b9883fa735fc5ce3555561974f0791 authored about 5 years ago

oops: restore debug.printCursor=false

github.com/lamdu/lamdu - e4d394dede7d75a052697add7f0eebce9a7e360b authored about 5 years ago

hypertypes update

github.com/lamdu/lamdu - 978bafe99de8ad3987c20891737d2a5b5f28eb2b authored about 5 years ago

Test Gui allows move and back to return to the same cursor

github.com/lamdu/lamdu - 0ffb53cb74d3ed5e11bd3d7551bea0b5e6ceabc6 authored about 5 years ago

internal prelude, less imports everywhere

github.com/lamdu/hypertypes - 41759a790adf705858cb0cdf19e6f273201398ba authored about 5 years ago

Better error message about importing too-new version

github.com/lamdu/lamdu - ce88bb5b81d9f1402a151fbac837bb63a0cc8d9a authored about 5 years ago

Tighter stroll test rect check

github.com/lamdu/lamdu - 7500842ce2d9cc4923caad941284786e1aa0cef3 authored about 5 years ago

Momentu.Rect: Add utility functions

github.com/lamdu/lamdu - 5031fe78581dd3d174b1b88b023f7e4a10e46553 authored about 5 years ago

export HFunc and HCompose from Hyper

github.com/lamdu/hypertypes - 3f261e195c30b4a5c6089df4619a979a95279a78 authored about 5 years ago

HCont=>HFunc

github.com/lamdu/hypertypes - 22c3de64483f34b65c73ca121d2c4bfea3549b95 authored about 5 years ago

inferUVarApplyBindings

github.com/lamdu/hypertypes - b61bb8f379b5a68a2617a1251f0836c5056f4c86 authored about 5 years ago

instances

github.com/lamdu/lamdu-calculus - 77bf6eb68e1a0f207971e98e591e567a80f1b51a authored about 5 years ago

defunctionalized constraints

github.com/lamdu/hypertypes - ca22e5af0e678784a58138ffad3d2c36616c3c87 authored about 5 years ago

rename leftover

github.com/lamdu/hypertypes - 926f521d61615c49385847dccd1640430e1fbae1 authored about 5 years ago

generalize proxies so witnesses can be used in their places

github.com/lamdu/hypertypes - d8cc4c1bf00f15841168a3a122d952df0c7a501d authored about 5 years ago

proxyArgument helper

github.com/lamdu/hypertypes - 8aeb7ac42a343b31564e826e05ca4252f83645d0 authored about 5 years ago

deps update

github.com/lamdu/lamdu - 25e2cfc90e8dde765d3891ff872af400654896cc authored about 5 years ago

Flip HCont parameters orders - input first, output second

github.com/lamdu/hypertypes - 8dfeefd553015114711c03fcb172e47f9c2a93e5 authored about 5 years ago

hypertypes changes

github.com/lamdu/lamdu - 34376c3a5331f774ebade8589028b31b6a96011b authored about 5 years ago

more powerful HCont

github.com/lamdu/hypertypes - 0d0f02691bf01e7ff343c4f2ef63d135eeed7727 authored about 5 years ago

TH.Internal.Utils.dot

github.com/lamdu/hypertypes - b88367cfca3283dece3318a6130233a4337a55dc authored about 5 years ago

more preparations for AST changes

github.com/lamdu/lamdu - 1ea83b9a66391a3c20fe3b3f378f90b12a44a505 authored about 5 years ago

more preparations for new AST

github.com/lamdu/lamdu - 9f12da7003a2293dbf9e5dd3ecb6912e876ba1d5 authored about 5 years ago

add missing instances

github.com/lamdu/hypertypes - 276c49d600888e89ff2c389c98bf3b1a08906609 authored about 5 years ago

remove more uses of hmapped1

github.com/lamdu/lamdu - 839a009d79c8c7aa6c788dc1832f0d05a39e8d53 authored about 5 years ago

replace instance TH has hard time of making with manual combinator

github.com/lamdu/lamdu - b488ef7a38eadb5c95f2d28a592cada0114889bd authored about 5 years ago

remove more uses of hmapped1 et al

github.com/lamdu/lamdu - 0ed31767c5b4b8d6eb735ce2f9e35ff61ed3a2fe authored about 5 years ago

add instance

github.com/lamdu/lamdu-calculus - b19d9dfd4a381cc946a9a97f985f56eff7eec896 authored about 5 years ago

Export.JS: avoid hmapped1

github.com/lamdu/lamdu - c7a79a8b701751a30564c24f311296145436d016 authored about 5 years ago

avoid hmapped1

github.com/lamdu/lamdu - 8fdc6124bcb493a3328f28d080f66ad818110335 authored about 5 years ago

Eval: Use UUIDs directly rather than parameterized types.

This will make the transition to lamdu-calculus changes easier.
Eyal: if you think it's not a go...

github.com/lamdu/lamdu - 6c880728965eb3d9b13452d3a72c7d3ea1de282f authored about 5 years ago

Export.JSON: avoid hmapped1

github.com/lamdu/lamdu - d994c2bb9d84e0307908b858e9b682f689579c2a authored about 5 years ago

Export.JSON: reuse writeRecursively

github.com/lamdu/lamdu - e9c53a0c2cdc6a20e5d093ffda18ee927d6e3086 authored about 5 years ago

Eval.JS: Avoid hmapped1 and hfolded1

github.com/lamdu/lamdu - 3d690f17c35beca726b06cce43764b3b9c5e2aad authored about 5 years ago

avoid htraverse1

github.com/lamdu/lamdu - 38b95e3a8c6963db507b8456572d8111b6d32387 authored about 5 years ago

remove redundant Const wrapping

github.com/lamdu/lamdu - 3606bf44b8d139ff4c283a727a5edd820588959e authored about 5 years ago

DRY

github.com/lamdu/lamdu - e890dcc9a6626ad7d10b951941f74c50e9083056 authored about 5 years ago

avoid hmapped1

github.com/lamdu/lamdu - 317f6ea54920f9ae34664e8a42607d661afb5e7f authored about 5 years ago