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

stdlib translations for continuation

7a5be89ab30b6315b782d6a709952e61136f3561 authored about 3 years ago

Extract Sugar.Lens.Annotations

d0bead30a9422e1604ecb2b0d967a0193ac8a513 authored about 3 years ago

Lens style

1aa51b8325a5a74a13749a6aedbca84655fbc2f6 authored about 3 years ago

Remove dead code

fa778a8545a9d472cf63806c362133326b081d3b authored about 3 years ago

Extract Sugar.Props from Sugar.Lens

These were helpers to Sugar.Lens but are not lens themselves.

d6779ce8e10927b54c609a070c9e9f5c21960897 authored about 3 years ago

Oops fix relaxed light-lambda conditions accidentally in 56aaf3b44a4d9

91fde0a0423b2320433d33c906d7690e49df0ea3 authored about 3 years ago

Extract LHS code from LambdaEdit to ParamsEdit towards re-use for light-let

0c755f9cb27d3a7581aea3bc87531c6540677635 authored about 3 years ago

When assignment represents a light lambda, don't use BodyFunction sugar, but rather "= lam".

This is a more light-weight sugar but perhaps is undesired?
Leaving this way because quite possi...

a4fdf57b6b7ab71411da5d343de1156a691c504b authored about 3 years ago

stdlib: num->text function called text (like in D)

48c59adc40f4a19bf379f3228253b4a6ed8680d1 authored about 3 years ago

Extract toAssignment towards reuse in let-item destructuring

c3cfc39cc3d11e3341533ae81f7dac63169b8bb0 authored about 3 years ago

Extract module GUI.Expr.ParamsEdit

f8a686941c03fbd636d1aa2261c72704db45997c authored about 3 years ago

AssignmentEdit changes towards let-item destructuring

73c85d892383f1c6f858d38c889f6dafd2db4fcb authored about 3 years ago

stdlib: fix wrong utf8 encoding in fromChars

97c1704b0e4640a1dab97890d72d888ac98b64c1 authored about 3 years ago

stdlib: fromChars

13537d58c6ed11a8debd0966639ae807771ab7a2 authored about 3 years ago

Fix anim id clash for indentation bars visible in new stdlib fromChars

d476a268985f1ceceba0195197714969d6491692 authored about 3 years ago

stdlib: generalize "recursively"

6d5a75b7935a2e4d0aeab36634574f0dbfc51c45 authored about 3 years ago

Fix typing of literal chars

6c5239b2722c82d71201c06aa35ab0332474fa4f authored about 3 years ago

Add failing wytiwys test for typing characters

b96edde2bc7058f2efe73b67254848784bb64800 authored about 3 years ago

hlint police

7faa59a6c3e986b9ce13f7b2383bc326c867d84d authored about 3 years ago

stdlib: parse::text->num now uses chars rather than bytes

37f75c700a44c0675c56e8c195bc677175d9f674 authored about 3 years ago

Stdlib: Chars is streaming and faster but doesn't do error checking

Likewise Rust's .chars() (https://doc.rust-lang.org/std/str/struct.Chars.html)
just iterates ove...

68bea83c8b01ea10658dae5d0888ef8040d99235 authored about 3 years ago

Deleting if's condition or then deletes the if-then clause

b669e59bb8bb8b275056b0dc8cfa9499e33c4390 authored about 3 years ago

makeLiteralEventMap takes function in monad

8ea5e9d95e295bdbc12719437934ef2ed85f2fdb authored about 3 years ago

Add a Literal Char Edit

fdd099d215ff248caf95616f1f8fb8e0f8119d71 authored about 3 years ago

freshdb: Add 'Character' opaque type

2598c84b25ec3b3f2c5302f771d20430f79ba5f4 authored about 3 years ago

Char eval results are sugared as chars

b7b5e5d0131f5ffad0e50be81beeb18dfababafd authored about 3 years ago

freshdb: Add characters utf8-decoder for Text and '<&>' for errors

9de305c91379cd1de934cbf1609cc39848b7b426 authored about 3 years ago

rts: Add fromCodePoint, codePoint

64d9f9db3c945719ee7702a735e0c46accc08270 authored about 3 years ago

Oops: Fix help string for literal bytes creation

003f2d5d26bcffa558c956f555dcf3f892d736b1 authored about 3 years ago

tools/leaves.jq: Add

7285d5a46bf7d8fe0b8439888903bbc8227f5ffc authored about 3 years ago

freshdb: Add 'Character' tag

28f7016648b5aae5e8bf1042d57eeaa60f25f316 authored about 3 years ago

Create FUNDING.yml

85e898c8f279e0657e9b9b0e9a8fcdd80d0db5a5 authored about 3 years ago

Extract addToParams

8eae122f41f372b6aa1e8d18e56aa05b9e9ac42d authored about 3 years ago

Fix ambiguous vertical layout when operator has annotated args (#143)

c8d1ee38f32fd53d9f2a1e02f2190027a6440b8c authored about 3 years ago

Fix cases where if search term in fragments doesn't work (fix #146)

5c6d6cf56183fd79f644d967a0e44b1ec69e6bc3 authored about 3 years ago

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

93d3edb636d4b9939427f4260ab049ed496b452a authored about 3 years ago

Tests: fix problem in searching in test names

21b58bb0b978bd4fafda37c878253cf1c095c6f2 authored about 3 years ago

Can apply literals to fragmented funcs easily (fix #145)

d0b2cd8869c606c4a8e1958590a56ada70337a17 authored about 3 years ago

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

814e4f477820f0302428a149205277c785555bc8 authored about 3 years ago

Simplify convertAssignment by reusing lower sugar.

Tests pass and also manual tests.
I don't see where in the underlying sugar there is the equival...

e5cc89625517fd645b80a9883a2a2e4b8e7319e7 authored about 3 years ago

Fix warning in Tests.Precedence

09021d927db018b21d20f8f3f8b10ec5cdb2f711 authored about 3 years ago

Auto tag suffixes can be used in search terms!

Not sure that the implementation is the cleanest, but at least it works :)

7da09858d85ab04443c985cf8948e97c321a86e0 authored about 3 years ago

Lens style

85cb8864616cf59ea7b803f7c46ac509c594077b authored about 3 years ago

Small cleanups in tests

76971a934746d773cceec2da5e6276c4296df7e6 authored about 3 years ago

More exact types: local variables are only in the lower-case namespace

42cc15cca1e794734784b56d4ec9693ebd71358b authored about 3 years ago

sequenceA some types to avoid sequenceA

ddb6cbc5f322bbab39fae87a100a5e9f3bce302f authored about 3 years ago

No need to specialize Lens.coerced

While it may help type errors, it may also hinder changes where we do want to modify types.

0f67acb555c2b15de9c4386041a50dc0ca7c0160 authored about 3 years ago

Nominals and variable in seperate disambiguation scopes due to capitalization

Todo: shouldn't be in difference scopes in Hebrew and other languages with no upper/lower-case d...

05a55e92763c4463d1bb8c038b19d0d05c81827a authored about 3 years ago

Minor style change towards reducing diff in next commit

deb8ff8d0f5255e525b5f09771e4089aba265e94 authored about 3 years ago

More exact type for Names.Add.p1Contexts

ff53150bb57fb7c5c12e8fa018db3cd6f5287870 authored about 3 years ago

Avoid cloneTraversal

a47b3d9fa4f28eaa0b27f626d0ec6fe82577c7b9 authored about 3 years ago

Use Iso

576900f890531f487e785df38c72a59ea68027bb authored about 3 years ago

Use types to better specify logic of name collisions

56135b86bfe097ad8816269be0188a032953c0ff authored about 3 years ago

Use prisms

e6b6f29a55effd783edfca7797b8c657d4e0fdf6 authored about 3 years ago

Use foldMap

30f70c77922d800bf1d6147951806987343b10e0 authored about 3 years ago

Replace map with more exact type

44c4a4f934ace6128c18b3a784525849413516eb authored about 3 years ago

Style changes: top-down types

Will make next commit's diff smaller

eea3011e09514f025a1032db40dc73b67fc76dd9 authored about 3 years ago

Add some HasCallStack in non-inner-loop positions to make some test failures more informative

6929ec7059837b6194131ab469c0e1760304422e authored about 3 years ago

Language meta-data: whether capitalization is supported

Towards disambiguating nominal constructors via casing only without disambiguation tags (in suit...

e2130b878559fd2032e53c8787a2855bbc19ee99 authored about 3 years ago

Sort languages alphabetically

1cda181a7dca8a183e17446542a5ccf740b2a2d2 authored about 3 years ago

Consistency in internal language identifiers: Use their English names

2cbf99908f50593e755771c7094ad760db4b0526 authored about 3 years ago

More info given on some test failures

1b7e59729d115e25b86f9b26a5cd39673343261d authored about 3 years ago

TESTS: wytiwys tests import fresh db once

8492718cab8d05f36c140cdb015f8e362ef338d0 authored about 3 years ago

Tests: RAM DB need not be bracketed

236108d39db8a53f6d9f7b71021f94ac16be1081 authored about 3 years ago

Move Collider to Names.Clash

64437735a34461c99f18d132ea7b6df5766ee124 authored about 3 years ago

Inline combineAD

0d1b250931415c3b7de2111f7540367ca4599a4c authored about 3 years ago

style

938bd3f17c811e067775556ed09297d81d67b54e authored about 3 years ago

Fix bug introduced in 14abf8c14695cf077e1fe55aac29803b94683a15

2080d83f75d4eabac63a6ce5286958228a5a556b authored about 3 years ago

Add failing test: shouldn't be able to inline let used twice

aa7690e0f9aae6936e286970e4eae674fe764897 authored about 3 years ago

Fix SugarStubs warning

7c41a06a8eb6d5d3be3362c44324a01ef3c9abf0 authored about 3 years ago

Stdlib: count function to count elements in list

Chose "count" rather than "length" to signify that it actually counts,
rather than an array or t...

2f8e81b772e72eb3518b782b4b584278b7dc4547 authored about 3 years ago

Number parsing in stdlib

And TIL that "digit" is the same in Hebrew and Italian

30697a5989ba55e5a7b5f16512a9f0ff15d7ef5a authored about 3 years ago

Stdlib internal style CR, making for better code examples

44b8c399cb5f366de151e4ddfce9e11efa5e6b6f authored about 3 years ago

Stdlib: Rename binop parameter of fold to step

For consistency across fold variants

ff29b8e4d87c57f1e8f8c8d8ff43ca2141e1a33e authored about 3 years ago

Stdlib changes: foldLazy called fold and extended to previous foldCont

7ffe631b77938d1f2ea0d6159b919cbd09d07fd3 authored about 3 years ago

Add additional info and checks in stdlib tests

dcbedc4512b995dc1345691c29e3e0a07535bd1b authored about 3 years ago

Properly test for outdated defs with alphaEq

65134ac48b304e1087ebfb08452f20dd9d3351f1 authored about 3 years ago

Feature to jump to next outdated def (unoptimized, incomplete, impl and non-ideal UX but very useful feature)

2c044a6d8f38d9930762544f4e03906ac6b272aa authored about 3 years ago

Fix red cursor bug and failing test

20e872550c28b7fd699151b7fc58ada772dea7c9 authored about 3 years ago

Add failing test for pressing comma when creating punned field

e9fd402485ea30895f046a4b9381145c89e88737 authored about 3 years ago

Fragment operators: show extra args in results to disambiguate options

d7d1a6e83ac46ab7f9813200fa431f47ff56477d authored about 3 years ago

Get record rather than its parts

cd46879931f8e154bfa409fdb1c92cda5091c9ee authored about 3 years ago

Fix red cursor when pressing comma when changing record tag

cda1f851cff899e506b3d52908b2fd5385cb7d97 authored about 3 years ago

Add failing test: comma when selecting tag causes red cursor

6a3aada865df49011aa0b6cd55ff77aa1cf9102e authored about 3 years ago

More info in test failures

caf99f7bcd5546b01cf92e47d5e2495fe0df12c6 authored about 3 years ago

use foldM

ae95a96d8f72340e81b6c389c1f7c3b70f7443e8 authored about 3 years ago

Test: Point-free style

8f1b211041fc8e409503f70026f3f940cb1df2cb authored about 3 years ago

Reuse simpleKeyEvent

298e2e348a3927add11ff606c4c7b3889d13a377 authored about 3 years ago

Add missing event for adding fields when on punned fields

fcb9a7225b2a6315329aaa4bf5b0657fa6da3862 authored about 3 years ago

Add failing test: missing event for adding fields when on punned record field

e2ed7396ae9778a7e2e7da3f6b17e67d3e6d3aea authored about 3 years ago

Tests: add strictness in applyEvent to verify the event exists

9c529fe7851494fd38e063e67305b85151f20f03 authored about 3 years ago

Update macOS build instructions (fix https://github.com/lamdu/lamdu/issues/131)

5e7129f0f4d8242b98d343b5f58b98ea3c46d3c3 authored about 3 years ago

Show type annotations in (some) hole results, do disambiguate between functions with the same name

8f486c2e9356c96e9b1bff0e33488f1951974c16 authored about 3 years ago

"|" is a search-term for lambdas only when those would sugar to pipe syntax

e8089bbf04faaf89b2fe468aed46e58e0fe0d007 authored about 3 years ago

OptionEdit: support hole options with type annotations

1261f3dfdebe2a57e827d0154104e3aa6adb7cc0 authored about 3 years ago

Extract Sugar.Convert.Annotations module

5ffc3d2dbff6fe0e6ec693b529d311dda67fcc7e authored about 3 years ago

Use ordered-containers rather than custom OrderedSet

f3dc2ffc7d686fc423678c709a9f384029b48c13 authored about 3 years ago

Nominals have precedence for disambiguation tag indices

2d9492230d1bb1fa98627317b4fd681f7f1cf7dc authored about 3 years ago

Make sure tag suffixes don't clash with other tag names that end with numbers

46e8daceea063c6a77ac74fe0b626b384173967d authored about 3 years ago

Allow record params tags to clash

9a2864cab2cc0d204a8870f33117238be4167f8c authored about 3 years ago