Lamdu commits | Ecosyste.ms: OpenCollective

fix typo in hebrew translation of a stdlib word

github.com/lamdu/lamdu - b85ab6da401797bcfd6319b8ee6f1c9d45f8ca1a authored about 4 years ago

Oops remove faulty hlint rule again noticed by @int-index

github.com/lamdu/lamdu - 0c96733e39b53464d023d95645e2e149e743c034 authored about 4 years ago

Remove redundant code noticed by @int-index

github.com/lamdu/lamdu - e6cb02501e8c3ea04c198ad6f9a3bf2c34015b97 authored about 4 years ago

Use GHC 8.10.3

Can now build on macOS11 without workaround (https://github.com/yairchu/macos11-haskell-workarou...

github.com/lamdu/lamdu - 725a053e22efcbd9aaf848aab3348e40e8362b91 authored about 4 years ago

TH code: Use expression quotation syntax

Not only does this shortens the code and makes it subjectively nicer,
it also makes it more futu...

github.com/lamdu/hypertypes - 323a76ff4d9f97f4f1befb2df53827aff7fc77d2 authored about 4 years ago

Deleting a function in prefix-apply deletes rather than fragments if types allow

Fixes https://trello.com/c/Wk8yg01C/500-deleting-top-level-applied-prefix-function-shouldnt-make...

github.com/lamdu/lamdu - c8298b2625a355cd96b970427951397833063a20 authored about 4 years ago

Partially revert "Delete action for holes part of Sugar.Types.Hole."

Didn't change behaviour for inject which was in original commit.

Preparation to make delete of ...

github.com/lamdu/lamdu - 73ca9d88b18680cfe027885f8d6009b707f7bbcf authored about 4 years ago

hlint with more enabled rules

github.com/lamdu/hypertypes - 86abb97957801c3fd7dba3575c357e11891f607f authored about 4 years ago

Oops fix suggestions of pattern matches broken in 2129b222

Was doing too-much type-driven completions I guess..

github.com/lamdu/lamdu - ab6200d8656ebb2a97a915f004cc30beaa956fc9 authored about 4 years ago

Remove redundant family keyword in type families in classess

(change suggested by ormolu)

github.com/lamdu/hypertypes - fc75d4d12a2e9e0c094f992ce2181e471dab0bf3 authored about 4 years ago

Oops fix typing let broken in 5faf4caa4

github.com/lamdu/lamdu - e5c2df827bec986e9b52c1cd25ef9b49b7536654 authored about 4 years ago

Use cache rather than canonicalization for ids in hole results

* Removes a lot of code, which is nice :)
* The new behaviour necessitated uses of "once", which...

github.com/lamdu/lamdu - 2129b222f083639a9e5a06cbf0e0ddf871c128d8 authored about 4 years ago

use tail

github.com/lamdu/lamdu - 0833bfc74484020de846c24b989515b05b97edc1 authored about 4 years ago

remove unused type synonym

github.com/lamdu/lamdu - 01145c5a6bcfe57a30df8d7e960351186ef51df1 authored about 4 years ago

generalise types

github.com/lamdu/lamdu - 3dfb6d558fe50ba3867af337da8eb42be3a7642f authored about 4 years ago

update stackage resolver

just because

github.com/lamdu/lamdu - 7016306dd3b8ba7bd2e30763656781eeaf362a03 authored about 4 years ago

Reuse suggestLam

github.com/lamdu/lamdu - 81735d7382e689e400e8d870aaf4b14f5aeedd0e authored about 4 years ago

Hole: Extract baseForms

github.com/lamdu/lamdu - 6b6fdff0a899569049d1af248c1320c63de40abc authored about 4 years ago

Dead code removal using weeder

Should also add it to the test suite

github.com/lamdu/lamdu - 82f66bc00c39b6d81d0325bb7a06726ada5bcd91 authored about 4 years ago

Remove dead code

github.com/lamdu/lamdu - 7672f116fb7aa747e91098f9fdb43c9fa97e0c33 authored about 4 years ago

Simplify hole search term generation

Not based on sugaring a base term,
but rather on parallel generation of hole result search terms...

github.com/lamdu/lamdu - 5faf4caa4c45dd692ed8504d9dce70d33dc43067 authored about 4 years ago

Fix failing test and parens regression

When typing factorial, the (x-1) part stayed as a fragment until pressing ")".
This fixes that, ...

github.com/lamdu/lamdu - 6cefb01b31c0f5b5dfae06dc714afbcc8aaa9b5e authored about 4 years ago

Add failing WYTIWYS test

github.com/lamdu/lamdu - ae22614d6c8e7d9e7e0bfdeff6e44fd8d46c32fa authored about 4 years ago

Fix eval when using newer versions of node

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

github.com/lamdu/lamdu - ff4a305c8013209c3b6bc30002f444f79afe291a authored about 4 years ago

Add more WYTIWYS tests

github.com/lamdu/lamdu - 5da888e5f6dbe1dac344dc50f526c9c945473391 authored about 4 years ago

Test: Extract xytiwys towards adding similar tests

github.com/lamdu/lamdu - ca8872d541a3555963bad96ff550bf703491cc87 authored about 4 years ago

Fix hlint, cabal, and Haskell in VS code warnings

Found way to work around inaccurate hlint warning,
and now no problems show when opening the cod...

github.com/lamdu/lamdu - 4b7eb01437758b08f420aab35dfb46c1a1f0c888 authored about 4 years ago

fix dependency hash in nix build

github.com/lamdu/lamdu - 5338dc03d116e24c88176b5091085a176fca4657 authored about 4 years ago

Close paren also right-to-left correct

github.com/lamdu/lamdu - 5d0f94cb8bffe4cd5a81a4802b61d8c5709be4e4 authored about 4 years ago

Updated hlint rule name

github.com/lamdu/lamdu - 2e6bbf0140bf620ca68ce9d712717b452b4368f1 authored about 4 years ago

Partially revert "Fix parens for get-field and fragments"

This fixes failing test but the original commit did improve the look for get-fields and fragment...

github.com/lamdu/lamdu - 290142541a702d52dfc48278faed03ab86f61e9d authored about 4 years ago

Add failing WYTYWIS test

github.com/lamdu/lamdu - a686b7dd40063b29e70190396c41a8e4be2f9be3 authored about 4 years ago

Fix paren keys for RTL input languages

github.com/lamdu/lamdu - 5bb8d5f2441a72788d1b434abd56a70e9640ef35 authored about 4 years ago

Extract Test.Lamdu.Exec.runJS

github.com/lamdu/lamdu - 0617813ec39f986daed766c68819ae1580998966 authored about 4 years ago

More redundant pragmas

github.com/lamdu/lamdu - 57b92c38872b2ee3aa123df39b186d870267d90e authored about 4 years ago

Extract Test.Lamdu.Code.readRepl

github.com/lamdu/lamdu - 2f624f86c7859b6db5fc0e62fc214916b36704d1 authored about 4 years ago

Remove redundant LANGUAGE pragmas for globally enabled extensions

github.com/lamdu/lamdu - 05a8fc63ae975be508f86a8971051a9f7c0c8bb2 authored about 4 years ago

enable more hlint rules

github.com/lamdu/lamdu - ee94a67283f1a78eb0c761b7a1b3503af5849d66 authored about 4 years ago

use fromRight (hlint police)

github.com/lamdu/lamdu - 8c8d14cf02862f5f39549d25e925880d331cda7c authored about 4 years ago

Rename ==> operator which has different known fixity in quickcheck

hlint's brackets branch gives a false warning regarding this operator,
due to knowing it's fixit...

github.com/lamdu/lamdu - 5cb43dca5eb71e5cd1296028fb2129458f1b41c7 authored about 4 years ago

hlint police on steroids

with my new "brackets" branch of hlint!

github.com/lamdu/lamdu - b3617059e1cad1163878804e8d34540c4c522f37 authored about 4 years ago

Oops remove left-over debug trace

github.com/lamdu/lamdu - e5fca5bd50761fcb251d30ce41573278b8ed2995 authored about 4 years ago

Fix new tag animation

See https://trello.com/c/vffLZATL/358-new-tag-animation-is-ugly

github.com/lamdu/lamdu - 7bf691ce675f8974b69164991caa2426952b4133 authored about 4 years ago

Minor cleanups

github.com/lamdu/lamdu - 90d318baee3522f7e8bcd1ed297531d8ae6e3283 authored about 4 years ago

hypertypes changes

github.com/lamdu/lamdu - 6d6cd78ade22ab76d0b384e65e6512d6227a53ee authored about 4 years ago

new ghc warning

github.com/lamdu/lamdu-calculus - b22cbc997a907b5c84b0bf199f7098be38406818 authored about 4 years ago

hypertypes changes

github.com/lamdu/lamdu-calculus - 2b790dfbe3c8706f099cc38cb1588e5341cea765 authored about 4 years ago

finish example, fix warnings

github.com/lamdu/hypertypes - 63315c56e7e545c6e3f803138ca05a734276bf0e authored about 4 years ago

Fix compatibility with GHC 8.6

github.com/lamdu/hypertypes - 42c98dd8c38f8fb616ef87c3c7966b886edc88fa authored about 4 years ago

sugarize example

github.com/lamdu/hypertypes - 9ee561019f63194a9fb0c93e7238a8423c6b5eed authored over 4 years ago

HIs2

github.com/lamdu/hypertypes - a62245eb1b9ba391b3ac0e504fe107a1c9bd1e34 authored over 4 years ago

morphMapped1

github.com/lamdu/hypertypes - 6bc6579493703b73535797045a41846d5451fa51 authored over 4 years ago

Example: added coreToSugar

github.com/lamdu/hypertypes - e3607474ec049a917e58c6ec73899b06208d1e76 authored over 4 years ago

hlint police

github.com/lamdu/hypertypes - dc6922b56697c8dda3832f90f1226a8a46508564 authored over 4 years ago

Desugaring example

github.com/lamdu/hypertypes - f530b8dbc405d1449432cebcc27ab3fe7908a848 authored over 4 years ago

Ungeneralise HOptic, can revert if there's ever a need for the general class

github.com/lamdu/hypertypes - a167d8f344bf107241a6a66cbb0acd8939fd1248 authored over 4 years ago

Default implementation for Unify.unifyError

Uses applyBindings, semiPruneLookup, occursError,
so those had to move to the Hyper.Class.Unify ...

github.com/lamdu/hypertypes - 0c7999c11e90708de937bad47093e4e8bc4ab420 authored over 4 years ago

Generalize HasFuncType to HSubset

github.com/lamdu/hypertypes - b43d6f62518b941aacac7129e219d516ba9acd95 authored over 4 years ago

Generalize HasChild class into HOptic class

So no need for separate classes for Prisms etc

github.com/lamdu/hypertypes - ca72fdf7d10c2c7c26bfa1e49f805c9d2295a542 authored over 4 years ago

Remove redundant import

github.com/lamdu/hypertypes - cafd76177cb138dd783a16753565d46513ead648 authored over 4 years ago

Oops don't show annotations for hole results (regression since f95ac716726)

github.com/lamdu/lamdu - 15b85fac0a76ecf5b6bdc21739fccd06010d0772 authored over 4 years ago

Cache hole results to avoid recomputing them when navigating/changing search string

You can feel it being snappier when typing the search string

github.com/lamdu/lamdu - b484ce54e2aca5921516e0c641e4a662f4b2bd30 authored over 4 years ago

Tests support sugar's caching mechanism

Would otherwise break on next commit

github.com/lamdu/lamdu - 31e157f136089152a51e8d82eb2baad1df266ea6 authored over 4 years ago

More informative errors from OnceT

github.com/lamdu/lamdu - 2b1e773433b53e0c799a0cb54341d58c9c4e23d6 authored over 4 years ago

Control.Monad.Once exposes Typeable because using it requires it

github.com/lamdu/lamdu - 61b0d1e3e7efcde79dc7cf1313e9f97c1819ab7c authored over 4 years ago

Better error from OnceT

github.com/lamdu/lamdu - afb0396d5f0872dd4cd2f11211267a78b8d2817e authored over 4 years ago

Fix annotations caching bug since b10c78a1feff714

When switching annotation mode, annotations didn't properly switch -
for example when switching ...

github.com/lamdu/lamdu - f95ac716726f976880d4d3de52ca26e93227d7e5 authored over 4 years ago

Rename Sugar.Lens.{evalResults=>annotations} to better describe what it will do after parameterization change

github.com/lamdu/lamdu - 65a4e260071f368cf6e2b420d264c53cddeae1a9 authored over 4 years ago

Sugar annotations parameterized further towards caching before deciding on annotation type

Instead of parameterizing the type of evaluation annotation,
sugar annotations are now wholly pa...

github.com/lamdu/lamdu - 565cab4b9e0350cac16643c490d82a5b276e5a5e authored over 4 years ago

Reduce boilerplate with HMorph instance for Case

github.com/lamdu/lamdu - 03c6a629c6aedb8b7382aec4e71fb963f5cf0515 authored over 4 years ago

Minor cleanups

github.com/lamdu/lamdu - 9fe3826e26571378eef8edf7fa68e2e439c1bb60 authored over 4 years ago

Extract instance

github.com/lamdu/lamdu - 334742d1a12a640a8550231c6d9421b2aa178d6a authored over 4 years ago

Extract Sugar.Lens.workAreaEvalResults

github.com/lamdu/lamdu - bde75d435c17854bb179827ce4ca223781619f8a authored over 4 years ago

minor cleanups

github.com/lamdu/lamdu - 09106e04df2b6cdd150befb21ae9c9dee4eb6476 authored over 4 years ago

Generalise/simplify types

github.com/lamdu/lamdu - 8d79f58068a471496631e05f0ec4d3ab5b129c02 authored over 4 years ago

Reduce some boilerplate with the HMorph typeclass

github.com/lamdu/lamdu - ccd27e52aab14009dde37e0cc24b24bf33062894 authored over 4 years ago

makeHMorph supports embeds too

So it works for LangB (not that it makes sense for unparameterized hypertypes),
and also would w...

github.com/lamdu/hypertypes - 1abd3cfef79c38f9258134715a82a4d185ca6cf9 authored over 4 years ago

makeHMorph works for TypeLang.Row

github.com/lamdu/hypertypes - 222832a74ba826761563680d213a953e5ed7f5c0 authored over 4 years ago

makeHMorph works for TermMap

github.com/lamdu/hypertypes - 1147fc7d41ba79b637200088ee5cfbe3533ae9ab authored over 4 years ago

Use Const unqualified

github.com/lamdu/lamdu - c7679eef6aac2256fe81239c6b86581d1aa10845 authored over 4 years ago

makeHMorph supports Var

github.com/lamdu/hypertypes - 6fdc06b2f501785bc48c850831dc58f1868adb17 authored over 4 years ago

Hyper.TH.Morph: initial impl works for the simple cases

github.com/lamdu/hypertypes - 6a650cfb912fac447c35bcb354e35454c0e17478 authored over 4 years ago

MorphConstraint

github.com/lamdu/hypertypes - a0d254729ad71c15d7a35c0a6f93c9ed78bead5b authored over 4 years ago

HMorph

github.com/lamdu/hypertypes - d84885ba018b59afb42f1bb6615c08d1c2950935 authored over 4 years ago

Add documentation

github.com/lamdu/hypertypes - 81980f7b7b59e9d0bbdb91e34274a8a1517d801a authored over 4 years ago

Fix typo accidentally commited in rename 435158723d6

github.com/lamdu/lamdu - db2afb84866c9e6ebbe867fc6fc8236e65e3106d authored over 4 years ago

Fix warnings from VS Code Haskell extension

* 3 warnings from generated TH code not fixed
* Not sure which options for tools outside of VS c...

github.com/lamdu/hypertypes - 3f6143ad32a308b9e8fa48cb259b50fe7fc6c856 authored over 4 years ago

Generalize types

github.com/lamdu/lamdu - afa2490427c17876fb3a579e6fe9da2c0c9fca08 authored over 4 years ago

Oops add missing import in previous commit

github.com/lamdu/lamdu - 59b34a9c54e594e1bd8f9eba530f6631e3406b7f authored over 4 years ago

Extract SugarLens.paneBinder

github.com/lamdu/lamdu - 312830f5cdb5d02f68b5036bcc2eef248247637c authored over 4 years ago

EvalPrep: Use EntityId rather than UUID

github.com/lamdu/lamdu - dd68e536213bb64abc8ef37698c975d2d1bed4dc authored over 4 years ago

Generalize types

github.com/lamdu/lamdu - 317a5e8638e60e2cea114654fc009f28595841f1 authored over 4 years ago

Add TODO comment

github.com/lamdu/lamdu - b0b9824531eb8f5441117aaba41fbca02f35748f authored over 4 years ago

more type synonyms

along with some type generalizations

github.com/lamdu/lamdu - 0d9c207ade15735a8c5ee75bf44aa124f7880ca5 authored over 4 years ago

Internal type synonyms in Sugar.Names.Walk

As well as inlining some one-liners.
Towards changing all the types together more easily

github.com/lamdu/lamdu - 15cf61cec8ec8b5bb277d1e502565dc5bb9dfb7f authored over 4 years ago

Add more type synonyms to Lamdu.GUI.Types

github.com/lamdu/lamdu - 8e6df2505c9e10f0746de601f9e7cbc7c3be7ea8 authored over 4 years ago

Add type synonyms to Lamdu.GUI.Types

These shorten code, but mostly will help when modifying the underlying types's type parameters,
...

github.com/lamdu/lamdu - afd2ea09b7673cfe35cbeaa4de747a431814104a authored over 4 years ago

Renames: flattened ExpressionGui module hierarchy

(it didn't make much sense, developed this way historically)

Additionally renamed GUI.Expressio...

github.com/lamdu/lamdu - 34e5d47be353946f0ce2a6d6e228b120ca4fdec4 authored over 4 years ago

Extract mkEvalPrep

github.com/lamdu/lamdu - 90ac4c8446c61ad27cf7e70aeb26d4ae9836b44e authored over 4 years ago

mkVarInfo doesn't require sugaring the given type

github.com/lamdu/lamdu - 261ab58733e6f47ee4c568c024f531887436301e authored over 4 years ago