Lamdu commits | Ecosyste.ms: OpenCollective

VarNominal reuses TId

github.com/lamdu/lamdu - 91913b056171adcac1e6624c7f857ab0027b9b43 authored over 4 years ago

Add comment on purposes of VarInfo

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

Fix warnings in new GHC

github.com/lamdu/lamdu - 983f04893b24390507dea194727c2ed58cbfa71f authored over 4 years ago

Fix crashes since 86f60268 due to making recoverable errors unrecoverable

Used to use "fail" which all Monads have,
but now Maybe and Either are not MonadFail,
so instead...

github.com/lamdu/lamdu - 7c12ac6c448e860418a196c0d472f32e97ec7838 authored over 4 years ago

try to fix nix build

hash comes from
https://github.com/commercialhaskell/all-cabal-hashes/blob/hackage/language-ecma...

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

New nixpkgs also requires newer nix version

github.com/lamdu/lamdu - 909eedbb78bff920f8a4ace32367d24b90a7ef39 authored over 4 years ago

lts-16.16

Hopefully maintained nix build correctly (CI will tell)

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

Use error rather than fail as prep for GHC MonadFail changes

github.com/lamdu/lamdu - 36e39051799b1508bab2a5041ee5118dd718d3f8 authored over 4 years ago

Prep for GHC MonadFail changes

github.com/lamdu/lamdu - 86f60268bc053213005634b3395018e4458f2720 authored over 4 years ago

Redundant imports police

Additional imports cleanup by replacing isJust with Lens equivalent

(found by using GHC 8.8.4, ...

github.com/lamdu/lamdu - 27093f27bc3725c964defc7fb8fba8013dfe7d1c authored over 4 years ago

Remove redundant imports discovered with GHC 8.10.2

github.com/lamdu/lamdu-calculus - 1f7b2b090b23dd422d3e1a1abcc016495125af8a authored over 4 years ago

GHC 8.10.2 compatibility fixes via eta expansion (and update stack.yaml to use stackage nightly)

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

Eta expand where it makes things shorter

Also happens to be half the fix required for GHC 8.10.2 :)

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

Suppress hlint camelCase warnings

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

Add custom hie.yaml file

Haskell Language Server doesn't seem to work without it,
it gets confused due to executable targ...

github.com/lamdu/lamdu - 36d0bb2e43a8e32067cef53ca8b289d2c821d427 authored over 4 years ago

hlint police and haddock warnings

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

remove redundant imports as warned by GHC 8.8.3

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

README fixes to reflect usage of GHC.Generics combinators

Originally hypertypes had instances for Data.Functor.Sum
but due to that type having faulty inst...

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

hlint police

github.com/lamdu/hypertypes - c3e30f06415d6eb90b9b9a395861c935e3d9dd8f authored almost 5 years ago

use latest stackage lts

generic-constraints is in lts now

github.com/lamdu/hypertypes - 074c5d5aac4fc51e0c66e7b8fbf5ba28797625a2 authored almost 5 years ago

Fix animation of list evaluation result when switching language direction

github.com/lamdu/lamdu - ba009c9daf219e4e5383a12e386beab54dc27b14 authored almost 5 years ago

Oops caching sugar broke switching languages, fixed

github.com/lamdu/lamdu - adb66ed84741bf3b302ab27742ebb9a011d41c7c authored almost 5 years ago

calculate completions in monad towards cachability

github.com/lamdu/lamdu - 1183ae285d7509b9aa0c864886294f6949e833bd authored almost 5 years ago

Sugaring result is cached

Towards also caching hole/fragments completion,
which will both speed them up and help clean up ...

github.com/lamdu/lamdu - b10c78a1feff71405403f7764b5e4ec86508453b authored almost 5 years ago

Control.Monad.Once: Execute actions no more than once

github.com/lamdu/lamdu - bc773514825ab53698faa9ab5172203e2170a09b authored almost 5 years ago

inline expr

github.com/lamdu/lamdu - f84606fa7c4681354beaf2b603062ccf3fcda462 authored almost 5 years ago

GUIMain.make gets mkWorkArea param

github.com/lamdu/lamdu - 16a026b258aa04b36cb20d93e7f67c04aeedcfca authored almost 5 years ago

minor cleanups

github.com/lamdu/lamdu - b0f24d770b85fa5a1c7f06afcc43cf80c21fff38 authored almost 5 years ago

inline function with bad name

didn't know how to best call it, so inlined it

github.com/lamdu/lamdu - 816ea287f4d74333194d304c19a7736c96ea67de authored almost 5 years ago

CodeEdit gets the sugared workarea, towards caching it

github.com/lamdu/lamdu - 96aaa61acc5da9eef83389b4835b457982dc70d3 authored almost 5 years ago

sugarWorkArea does sugaring work with eval results in continuation

towards caching results before adding evaluation results

github.com/lamdu/lamdu - 21d3299393fc38275a78c759883749932027237c authored almost 5 years ago

First sugar conversion phase doesnt get evaluation results

github.com/lamdu/lamdu - 617d73102f831a69ebeaaa9a252312efae957b34 authored almost 5 years ago

remove unused computation

github.com/lamdu/lamdu - 58bf8263ffc8994c216e42f13d0ae6f75b491763 authored almost 5 years ago

remove unused redundant result for repl wrapper (result already provided for expression in repl)

github.com/lamdu/lamdu - deda478dcb7307ca83a4accfea4682d868e715fe authored almost 5 years ago

Cleanup: Sugar.Payload doesn't have an extra plData field. Tuples used instead

github.com/lamdu/lamdu - ef931031535a0f79c3e7603ef41c5014abbe9cbd authored almost 5 years ago

minor cleanup: reuse myId

github.com/lamdu/lamdu - 622b206868d3fabc18677aff905b95e746695e42 authored almost 5 years ago

add hlint rule

github.com/lamdu/lamdu - 38af23b1fd61706981e7a741ac56bd8d8a2c072e authored almost 5 years ago

generalize types

github.com/lamdu/lamdu - 5fabe39944419967a550f444daf6d71ebd833852 authored almost 5 years ago

Use Lens._1/2 unqualified for consistency

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

hlint police

github.com/lamdu/lamdu - aceba4f78c3745037afb0fc6a5f773ad06721144 authored almost 5 years ago

Evaluation results added to sugar as a post-process

This will allow caching the sugaring results without needing to change them
when new evaluation ...

github.com/lamdu/lamdu - b57f79845b39159a17b6da69b03f7e9e5a758467 authored almost 5 years ago

Sugar: Payload, Expr, Body now pass 'v'

github.com/lamdu/lamdu - c62ec61b5e4f5135e24a20e49777131c94c67468 authored almost 5 years ago

Use <&> instead of '& Lens.mapped'

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

generalize types

github.com/lamdu/lamdu - 0034a10cd12d64abd4a6b312b948f8fe450c07d2 authored almost 5 years ago

Convert.Hole.sugar: Reuse Expr synonym

github.com/lamdu/lamdu - 81b43927b0ab745024da8e63f122907c1d90bd62 authored almost 5 years ago

Name Walk: Reduce duplication with synonyms

github.com/lamdu/lamdu - eaafdf226b7ba4a230443d00cd0d632363d5e332 authored almost 5 years ago

Sugar.Case is also parameterized on 'v'

github.com/lamdu/lamdu - 9e2056e9c9e99c1698844fc7e29c697fab0ffa25 authored almost 5 years ago

Sugar.LabeledApply is also parameterized on 'v'

github.com/lamdu/lamdu - 0065c57d72bc410286604181ec3f8982c780cccd authored almost 5 years ago

Sugar.Nominal is also parameterized on 'v'

github.com/lamdu/lamdu - 1696defb5203df78861707cdb7bf0cc861e67538 authored almost 5 years ago

Sugar.Pane is also parameterized on 'v'

github.com/lamdu/lamdu - 04faa6b82d6dc0302cf02ebbecc9406e85ee70b3 authored almost 5 years ago

Sugar.PaneBody is also parameterized on 'v'

github.com/lamdu/lamdu - 1bc07be0e86e8eb1dcc346891ecaefbcfe8b1bc6 authored almost 5 years ago

Sugar.Definition is also parameterized on 'v'

github.com/lamdu/lamdu - df3f7a58c7d77c990b58aef41be7f3f9f4052c8c authored almost 5 years ago

Sugar.DefinitionBody is also parameterized on 'v'

github.com/lamdu/lamdu - 1aa40efb946d64d584d3e8c0819ee468bf10a7ed authored almost 5 years ago

Sugar.DefinitionExpression is also parameterized on 'v'

github.com/lamdu/lamdu - 2ecc8fad1172fd57172ad7100ffdb9b7c4c59225 authored almost 5 years ago

Sugar.OrderTags: Consistent type parameter order

github.com/lamdu/lamdu - d57c9768cc170f36e11727f8f96822d3e9b849c5 authored almost 5 years ago

Sugar.Lens: Reuse Expr synonym

github.com/lamdu/lamdu - 8ae8aa8e97f29389c69b8c470d5a545614dfd07e authored almost 5 years ago

Sugar.CaseKind is also parameterized on 'v'

github.com/lamdu/lamdu - d2e5bd08135980bb52054c6336a6bfad6e6806f7 authored almost 5 years ago

Sugar.CaseArg is also parameterized on 'v'

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

Sugar.Composite is also parameterized on 'v'

github.com/lamdu/lamdu - dea404e3a7fae49f0f1f1fb36698a0ad1d111e38 authored almost 5 years ago

Sugar.CompositeTail is also parameterized on 'v'

github.com/lamdu/lamdu - 12410a6f91b0ad00250d8cedb9091fea44f55db5 authored almost 5 years ago

Sugar.CompositeItem is also parameterized on 'v'

github.com/lamdu/lamdu - 08f0283518819000ff712d3a94b191853f9ec989 authored almost 5 years ago

Sugar.IfElse is also parameterized on 'v'

github.com/lamdu/lamdu - 8f4d6e0ddfcbb2e954fe3d41a4b606e18973d085 authored almost 5 years ago

Sugar.GetField is also parameterized on 'v'

github.com/lamdu/lamdu - 3c7124dbb37ea818ac6cf1f53647ad2b32eaaf1e authored almost 5 years ago

Sugar.Inject is also parameterized on 'v'

github.com/lamdu/lamdu - 5b4158d9c1ed899b6a82529d514f8aa82b66edb2 authored almost 5 years ago

Sugar.InjectContent is also parameterized on 'v'

github.com/lamdu/lamdu - e122a34a8363cb3cf95f2bde7fee67a539e06bdf authored almost 5 years ago

Sugar.AnnotatedArg is also parameterized on 'v'

github.com/lamdu/lamdu - fd0975d5e972a758f14a2549238f3d101279e01e authored almost 5 years ago

Sugar.Term is also parameterized on 'v'

github.com/lamdu/lamdu - 34d36b469002efa8186bbf49c7fa4d2b3a39599b authored almost 5 years ago

Sugar.Fragment is also parameterized on 'v'

github.com/lamdu/lamdu - afbab057f12b74fe561c7f4d251bdead43c7f02c authored almost 5 years ago

Sugar.Hole is also parameterized on 'v'

github.com/lamdu/lamdu - 092c8617d3bfb12fc0a83320499b5cb416961146 authored almost 5 years ago

Sugar.HoleOption is also parameterized on 'v'

github.com/lamdu/lamdu - 90c88a8749f06ef933bbb1281f603d50a74de673 authored almost 5 years ago

Sugar.HoleResult is also parameterized on 'v'

github.com/lamdu/lamdu - 8b2ef3d701472f579da424698679d09ed7e411d0 authored almost 5 years ago

Sugar.AssignPlain is also parameterized on 'v'

github.com/lamdu/lamdu - 3d83a6d3d3e3fc145351324119e8631291b2ac25 authored almost 5 years ago

Sugar.Binder is also parameterized on 'v'

github.com/lamdu/lamdu - 79fabb03139117509c1eb09960bdb9701f56b5f1 authored almost 5 years ago

Sugar.Let is also parameterized on 'v'

github.com/lamdu/lamdu - 05c4dea26411a622a83572a287081aa7bbad97bf authored almost 5 years ago

Sugar.Lambda is also parameterized on 'v'

github.com/lamdu/lamdu - 81eb004b67c903f7cc8ff1ad0fb4414a886981b2 authored almost 5 years ago

Sugar.Function is also parameterized on 'v'

TODO: Fix specific use of EvaluationScopes after generalization

github.com/lamdu/lamdu - 56866c88a9a2dd8fdf0dc1813f09577dcb0ced0a authored almost 5 years ago

Sugar.BinderParams is also parameterized on 'v'

github.com/lamdu/lamdu - 1e0ef5e16ecd71b295cac2935106545688006fb3 authored almost 5 years ago

Sugar.FuncParam is also parameterized on 'v'

github.com/lamdu/lamdu - 5034f8d7e36495565477762b89fdc6ebb435e993 authored almost 5 years ago

Sugar.Types.Expression: Dep is parameterized on v, generalize instances

github.com/lamdu/lamdu - b804f0115a31199a12c9f2cf95c3f208edc63def authored almost 5 years ago

Sugar.Annoation takes type param 'v'

github.com/lamdu/lamdu - 8357ec7cc14bbd2cef7768c45b6849a913d7acde authored almost 5 years ago

Temporarily no evaluation results in Sugar towards re-adding in separate pass

github.com/lamdu/lamdu - dd2497bc83157358a608652690c0726b87d903f9 authored almost 5 years ago

Sugar.Else is also parameterized on 'v'

github.com/lamdu/lamdu - 879856869fedb7c174c17e889dfd49bb978ee024 authored almost 5 years ago

Sugar.WorkArea is also parameterized on 'v'

github.com/lamdu/lamdu - 61c5c79a11e3a86a6016259c76aef4f883f2fea4 authored almost 5 years ago

Sugar.Assignment is also parameterized on 'v'

github.com/lamdu/lamdu - ca663c463e953add73952032c72734a3a473e722 authored almost 5 years ago

Sugar.Repl is also parameterized on 'v'

github.com/lamdu/lamdu - a997023ef42594c2b8a8178065eb42bfcce07cd3 authored almost 5 years ago

Fix graphics glitch #499

https://trello.com/c/TudRmsMd/499-layers-mismatch

github.com/lamdu/lamdu - c2026f5032af55b9a02597ce219dd8f664d85afe authored almost 5 years ago

Fix invalid hole completions suggested in some cases #497

https://trello.com/c/OAeXOCMi/497-invalid-nullary-inject-suggested

github.com/lamdu/lamdu - 6ae71b0fae6b1231540610abd072385342b30b49 authored almost 5 years ago

add failing test for #497

github.com/lamdu/lamdu - 9ed2df30d2cc1b8371396445e676a6a8149eeafd authored almost 5 years ago

hlint police

github.com/lamdu/lamdu - 7a2e18280372f8bdc848461ca612c53f9e29b040 authored almost 5 years ago

Fix/simplify FastRWS, FastWriter: censor should always be local

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

generalize instances

github.com/lamdu/lamdu - 0ca6b5b11f98fdf94e46cb064320c65cfa0c460e authored almost 5 years ago

Sugar types simplified - don't expose scope-id remapping that the gui needs to apply.

The remappings are pre-applied by the sugar.
The GUI code and sugar types are simplified (got ri...

github.com/lamdu/lamdu - b8e5b971dc11185c7ce6f4ba9b205245235dd79b authored almost 5 years ago

improve comment

github.com/lamdu/lamdu - 22f7860804b4bde60c457813ac2a596a8a663eb0 authored almost 5 years ago

extract convertPayloads

github.com/lamdu/lamdu - 4536dc48c01625758833bdd776c79a2992c13312 authored almost 5 years ago

fix wrong assertion

note that the assertion happens to be masked by lazyness -
i.e it didn't activate until debug pr...

github.com/lamdu/lamdu - b6e64399d8cba55bcc3bb74d4aeb8f3084b37dcc authored almost 5 years ago

add Show instance (for debugging)

github.com/lamdu/lamdu - 2cda1c2e74fc80c4564e45100f9d5b9162e35a0c authored almost 5 years ago

Cleanup: Remove BinderBodyScope, left-over partialities

github.com/lamdu/lamdu - 982773acbab03578759838ab72ec613f927ff863 authored almost 5 years ago

move functionality into makeAssignment

github.com/lamdu/lamdu - dbc05256094dfa2115a98dc82da6ae6218937430 authored almost 5 years ago

Record key correct also when editing in a right-to-left language

github.com/lamdu/lamdu - 79d3a957aea3d5fb18e29ef45f9053193e2fcb45 authored almost 5 years ago

Create empty record without choosing them as completions, like typing numbers or literal text

github.com/lamdu/lamdu - 9de9516bb1c7844ffb935be7a5bb75e62dd24f1f authored almost 5 years ago