github.com/lamdu/lamdu commits | Ecosyste.ms: OpenCollective

Can execute repl's action by clicking on it's indicator again

(was regression in e9e54b0e37cb)

70a67cac1dd95dcdec05c23925578bd455d05642 authored almost 3 years ago

Fix unused warning in test introduced in e9e54b0e37cb, by removing test (!)

The test seems to check some interaction of def and repl but we don't have separate repl anymore...

6be7ec29cec7280ac93c724abedbad860b254646 authored almost 3 years ago

Rename Lamdu.GUI.Definition{Edit=>} towards becoming module hierarchy

67417ab6dbd1f0796af0695aaca160013c1e5410 authored almost 3 years ago

Multi-repl support!

* With small feature regression: No option to execute repl actions yet from the indicator (works...

e9e54b0e37cb121fe4bd761ba555b841011fd60b authored almost 3 years ago

Extract newEmptyPublicDefinitionWithPane

353b8f6b254879d65e95ec92573ade5c67b86524 authored almost 3 years ago

Fix regression (and failing test): Adding parameter to recursive function maintains recursive calls

(instead of making a fragment)

8f3fb968d83a697098262e6eb52ee33b14ed3b0f authored almost 3 years ago

Add failing test for regression in e5cc89625517

When adding parameter to recursive call it becomes a fragment rather than maintaining the recurs...

8f76b43ca3c376c5f6e8ffa0d9e245789f63a6b7 authored almost 3 years ago

JSON export also has open panes, which are opened when importing (currently only for defs)

Towards multi-repl.

Note that exports from this commit won't load in previous.
To fix them just...

5532f77c07830606a56d2677161ed322d7dab210 authored almost 3 years ago

Fix bitrot: Support new versions of RocksDB

b21755e2e74f5051484df5bf04d6d9c7039b0a8a authored almost 3 years ago

Extract code from compileGlobalVar towards reuse in multirepl impl

8f8154eb54cf875ca4b0575b071d8b4d0c821df2 authored almost 3 years ago

GA(deps): Bump haskell/actions from 1.2 to 2.0

Bumps [haskell/actions](https://github.com/haskell/actions) from 1.2 to 2.0.
- [Release notes](h...

60ff21c2dabb36c3925e95a5af05cf5266d9be34 authored almost 3 years ago

Add failing test for GHC version in GitHub actions

90bea4c1e664a8260a3558a58c7e5a037a8bcd74 authored almost 3 years ago

Rename Nix test to Builds test towards also testing GHC version in GitHub actions

5ca44096ef8769f40505aa131c454e946f7398f3 authored almost 3 years ago

Update GHC version in CI definition, fixes failing test

8f1ec756b2897cfaca03920a6e339dfb0fd115e6 authored almost 3 years ago

GA(deps): Bump actions/cache from 3.0.1 to 3.0.2

Bumps [actions/cache](https://github.com/actions/cache) from 3.0.1 to 3.0.2.
- [Release notes](h...

8412df18651aa45dcb7f1a520e99deb514901054 authored almost 3 years ago

Stdlib: Nominal arguments match their parameter lists (fix failing test)

9ee98dcc72bdae2d7c4717a42cc03ea7e395b5a6 authored almost 3 years ago

Re-export freshdb.json in way JSON libs currently format it

Will reduce diff in next commit

9e8d4e36332fd2e8192b86bfb0938c7998f80acd authored almost 3 years ago

Add failing stdlib test to verify args to nominals match param lists

1fdbcf1891c822445bfe8130c02b38eeaa684137 authored almost 3 years ago

Remove unnecessary Recursive instance

2f1a4e1c76f0054df58b1452bdac7978f7d8c9b9 authored almost 3 years ago

Use RecMethod type synonym

acfdc94d989f7a0443ec0009ec8e06565ff7f96a authored almost 3 years ago

Update hypertypes

The breakage mentioned in previous commit disappeared after removing ~/.stack

7ae54c8703576c390ef6e7cbbfd7b74c5c20b125 authored almost 3 years ago

Split import code from Export.JSON

* It was a big module ripe for splitting
* This very module crashes GHC if updating hypertypes t...

c9b37ebb533bb09e37615ff16ab5bda5f32b7df6 authored almost 3 years ago

Use foldMapRecursive

ea438369ac0c4c2d38f58fc489239a21b09836cb authored almost 3 years ago

GA(deps): Bump actions/cache from 2 to 3.0.1

Bumps [actions/cache](https://github.com/actions/cache) from 2 to 3.0.1.
- [Release notes](https...

dc9eb9d33fd5fa6ec6422294ff9ab226a3cce408 authored almost 3 years ago

Extract defSchemes

a27e082b45a1f737e2c569aeeb0c19e1dbf35757 authored almost 3 years ago

hlint police and point-free style

a4679f292de8315419edd89c7705f5cce33285cb authored almost 3 years ago

Remove premature upper bounds

3ce36ba972ca098cfbc9346508c845da0e72b762 authored almost 3 years ago

test valid-typevars: Extract verifyDefExpr

cad238757613cb3eda94b728e3faead96980eb16 authored almost 3 years ago

Test: Rename 'schemes' test to 'valid-typevars' test

1873a69960471637fcd9a41f9ff9feaa748d47db authored almost 3 years ago

Switch from LevelDB to RocksDB to fix Haskell Language Server crashes

HLS seems to crash due to TH loading the modules including LevelDB, which replaces malloc with t...

7c04dc798da83f56ea9400b90b0472ca7aabdd7e authored almost 3 years ago

Use leveldb-haskell from upstream, our fix from 2018 is long in it

827edd52c4cba769e1d4c6cdda33e393d2b24269 authored almost 3 years ago

hlint police

387e61315f10c5bdaf7c71e9504dfca1972bd42a authored almost 3 years ago

Can also build with GHC 9.2.2

89a2e5a2fae26ea582630935166a3d2428927cca authored almost 3 years ago

stack.yaml: lts-19.1

e31e36f5cef7b3c5d9123d799b45bb55a1d78efa authored almost 3 years ago

Remove unneeded cloneLens

ceba8d133bf8aaf6a1c9dced0774e6cc2ec71fb2 authored almost 3 years ago

stack.yaml: Bump deps

37683a0171070cba362b49d85f4f8a3b96ec7ebb authored almost 3 years ago

Remove unreachable code found using GHC 9 -Woverlapping-patterns

ab4c71a979d3684793b2fd1b995135d470815d9a authored almost 3 years ago

hlint police

c07456e4359fa4a26bde1ab626608b3589a17b4d authored almost 3 years ago

More Aeson compat work, avoid types in some cases to be compatible with multiple aeson vers

3a3a8a571874d64eea0cd14939d211fb1a320717 authored almost 3 years ago

More transitions to newer Aeson API

d1cb1e11dbf614889a0b12cd194e121091948f75 authored almost 3 years ago

Abstract over Aeson details towards supporting lts-19.0

97e5b155c1441acf016f73315a8d9b11ec2df15a authored almost 3 years ago

Generalise some Aeson related code towards supporting lts-19.0 / GHC 9

0bf1ffe33481126a4c4aeaf88e01d9bbf55c506e authored almost 3 years ago

Dep update & remove unnecessary dep

All deps can build with lts-19.0. Lamdu itself still needs changes

cd2620cf5532adf8fba72a4b685c66869b26da95 authored almost 3 years ago

Deps updates (towards building with GHC 9)

900741c711f53ff3768e4002e126b668493948ce authored almost 3 years ago

Prep to NoStarIsType

0dd4a8c88f2acfeeca4b79c40a3eb7c045b3ecd9 authored almost 3 years ago

Export lists for dead-code police

fecc7f731f9aa529d60742c35d4b8fc65509b7e9 authored almost 3 years ago

Extract Tests.Wytiwys module

f44bb2b4db37dba3d6b25ebe3fd9af17a5057828 authored almost 3 years ago

Revert "Action: Rename value parameter to result"

This reverts commit ef7116f7b71f4dc5dc801a3280166594153fc90a.

This broke the evaluation of "toA...

a8e7dab5879cb881ce1fbba28aea93db39b7bd5e authored almost 3 years ago

makeExprDefinition doesn't get inputs it doesn't need

00fd85a61f441a1ebff55f483009a9e7faf83075 authored almost 3 years ago

Move presentation mode gui from AssignmentEdit to DefinitionEdit

d8cc4f1e94dac3708a68df2a88c87aebb55f3862 authored almost 3 years ago

AssignmentEdit: Extract layout/DRY

c954c07aabd2ee7359de45e4829f511289aa7e57 authored almost 3 years ago

Cleanup: assignment never needs parens

Accidentally added option in 52ee81bb7cb466

1f8f9eed5b406d06d49cb569f81c7e2a86d64f11 authored almost 3 years ago

Remove partiality in AssignmentEdit and LambdaEdit

7a3c7e188232514d0ad7839490da7482da3de2c7 authored almost 3 years ago

Oops fix display of evaluation results in inner scopes broken in 5e9396de371a

Moved a piece of code that was under Reader.local so its state has changed.

3414d89fd3476fe4a538c281ad4485aeff40aa88 authored almost 3 years ago

Remove another field from AssignmentEdit.Parts

f1acfa4f39311927dcea6125b63a8ca614fe2eb3 authored almost 3 years ago

Split another part of of AssignmentEdit.Parts

ea265274f838692910f6ce9b81d8790565fb03dd authored almost 3 years ago

Extracting part out of AssignmentEdit.makeParts towards splitting it

5e9396de371a1739dc80d57b48044793f76eadad authored almost 3 years ago

Fix crash when opening two anonymous definitions

8fd616d1224a2fec731b37ead8cc85b40b4dad23 authored almost 3 years ago

Add failing test for regression in 46e8daceea0

3be98d8dbe762ce7c624d89519f320d2b26936d9 authored almost 3 years ago

Add info in assertion in Names.Add

5942f63166504029166fd21398da61f236cfed59 authored almost 3 years ago

GA(deps): Bump actions/checkout from 2 to 3

Bumps [actions/checkout](https://github.com/actions/checkout) from 2 to 3.
- [Release notes](htt...

8e12d089c7573b68630e59b1d20aa0cbb6e453c2 authored almost 3 years ago

Operator vertical layout improvements (fix #169)

189043e5938b5b7014fbf5f3374dca7e3e3e14c2 authored almost 3 years ago

Stdlib: Add name for action's effects

Also add parameter lists to its definition, not just usages

a990eedd4b5faa542e932025302b68c1df44487b authored almost 3 years ago

Remove unused IO nominal type

0a736bb227701f0fb99ebb5016c9455d3a7e606c authored almost 3 years ago

Action: Effect lists aren't wrapped in an additional IO wrapper

Done using

jq --indent 4 'walk(if type == "object" and ."73000000000000000000000000000000"....

59aad760b6c57d2071dc4343056fdc6e92476274 authored almost 3 years ago

Action: Rename value parameter to result

Done using jq:

jq --indent 4 'walk(if type == "object" and has("42493a76616c000000000000000...

ef7116f7b71f4dc5dc801a3280166594153fc90a authored almost 3 years ago

oops typo

9eb2c535684ef6ddd691ad44c1e1d834788461de authored almost 3 years ago

Stdlib naming: Mut -> Action

d991db2f70d4974e9a15e2315fb5b67190d559f5 authored almost 3 years ago

Terminology: mutRef => ref

Would make code in "Mut" more succint.
Haskell has IORef/STRef because these are distinct but if...

8b6bdbea86e2f4caa3ff53bbaffbbfd398d5f400 authored almost 3 years ago

Annotations for from-nom: show type and show under from-nom rather than whole postfix-apply

971e96eeb16fecfb6aa74531d82dbcdcab99946b authored almost 3 years ago

Stdlib: deprecate "elem" tag and use "item"

It's translation to all other languages is the same as "elem" so perhaps it's not as defined of ...

f50ef6482732f32741e13f0a5db27569396709fc authored almost 3 years ago

Single-line if expressions also if clause is a getvar (not in lambda)

2cb09bc95d8b2df53a5bf88c0cc51382a065cc42 authored almost 3 years ago

stdlib: filter uses fold

d56f0cb1b2507974dc07838e6bcb99fa5bc1130d authored almost 3 years ago

Fix display of nominal type parameter tags

e1c05e0a8028e54459e7c9c41d3bc0879c78ff84 authored almost 3 years ago

More info on WYTIWYS test failures

fc9f6549f2994ae5730b3d677ce0efab24d95537 authored almost 3 years ago

Work-around red cursor bug

1d2813b83f7083f3379d9d82cd4db042945bb9e1 authored almost 3 years ago

Add failing tests for https://github.com/lamdu/lamdu/issues/168 and additional issue

52fdc329d8f561668874b075b28201a79f44c2a2 authored almost 3 years ago

Fix missing scope levels

0cc8b2de4bcf35007343fd66f3a70af05a456d53 authored almost 3 years ago

hlint police

f69b315a0bd128c54055facc8bab8ad6cd8c9b67 authored almost 3 years ago

Also print scope level, helps debug skolem problems

4c7d70cfe471482f68e94b8af1fcaf794495887f authored almost 3 years ago

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

10c613d24f9dfc2d08eed34d174a776e6e8d8e84 authored almost 3 years ago

Remove unnecessary foralls.

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

c771ca1fa118a41e247b03ba5949a892befbbeb7 authored almost 3 years ago

Use -Wunused-packages

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

2a04bd1a83520a7e9192429a5e1059a25f73f70c authored almost 3 years ago

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

971b0bd8bac11adb7e2a573ac21b19e3da3de7aa authored almost 3 years ago

Add missing tag ordering for nested destructure

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

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...

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

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

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.

0aa49b54446e1ccb61f8e51742c974580e963cd1 authored almost 3 years ago

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

This reverts commit 60a26f482ce3741900743b94fee1c8ac7ed4a122.

981ee79565b4c8f9ba995a321247aff0b8fb1afe authored almost 3 years ago

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

This reverts commit b1aafdf3071aaffd3f86845e7cba415e9981ece9.

16e4dfbc02f7190b17741edb1d59c4097db00de8 authored almost 3 years ago

Add delete-as-close action for open composites

b1aafdf3071aaffd3f86845e7cba415e9981ece9 authored almost 3 years ago

Sugar: OpenComposite newtype for the open composite tail

60a26f482ce3741900743b94fee1c8ac7ed4a122 authored almost 3 years ago

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

7065b849f132470a78c30efa70b37d95f46261db authored almost 3 years ago

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

804b0f7b3a8782546b80aeb99c8c4500c08dc6e3 authored almost 3 years ago

Unfragment red fragments in arg actions that fix the type error

ec454f876cc9d4ca0391c5b3b640bff70bd63bbc authored almost 3 years ago

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

28bb06efd3d3616165482435a4641d20b3f047c2 authored almost 3 years ago

Sugar.Convert.Fragment: Extract 'convert'

bb45a6cc4c1bc62aa02104e03bf121aa9ba9c21f authored almost 3 years ago

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

1a87ab5154c1f7459f12025980931b8bb531a68c authored almost 3 years ago