Lamdu commits | Ecosyste.ms: OpenCollective

Fix minor animation bug when replacing expressions with literals

* On an assignment's body "x = something"
* Press 4

Before this change the equal sign "recreate...

github.com/lamdu/lamdu - 4034a6b2340e1c1aa05678414fb8b3e7a5238351 authored almost 5 years ago

extract makeLiteralTextEventMap

github.com/lamdu/lamdu - 11c3c0d894799958941661373e8823a68174c474 authored almost 5 years ago

Remove redundant constraints

github.com/lamdu/lamdu - 2735dfbe7170d21b1732fdcc6b8ef4bde02d46f4 authored almost 5 years ago

Add TypeOperators to .ghci

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

NameWalk: Use Expr and Body type synonyms

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

hlint police

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

Remove SugarExpr type synonym

Now code is more consistent across different sugar expression types

github.com/lamdu/lamdu - 030207b0b5e3c2339eec32fb95808301335f5924 authored almost 5 years ago

Sugar.Body type synonym

github.com/lamdu/lamdu - 80e5cd98a269b51ef1cd11cb7ec296cd17b5b0c5 authored almost 5 years ago

Use Expr type synonym

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

Sugar.Expr type synonym

The various sugar expressions and the sugar payload get the same type variables,
this synonym he...

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

cleanup

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

remove Sugar.Expression type synonym

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

Made Sugar.AnnotatedArg inline with other sugar terms

Hopefully there are no different-style terms no longer

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

Rename Sugar.Body type to Term

The "Body" name originates from when there was a separate "Expr" type including it and an annota...

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

Also make Sugar.CompositeTail more specific

github.com/lamdu/lamdu - 94a0e07cc79c4f863df75e703211c069ae9579a5 authored almost 5 years ago

Made Sugar elements like CompositeItem explicit on what they contain

This makes the Sugar AST's style more uniform

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

Instead of passing annotation on side of expression body, pass it with expressions

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

Revert "WorkArea is a hypertype"

This reverts commit f86186d1ed2847321eecd750667d9c4ef9574a21

After discussion with Eyal this ma...

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

use Annotated type synonym

github.com/lamdu/lamdu - 631be40ac45736fef01eda051d593f44a5801378 authored almost 5 years ago

WorkArea is a hypertype

(updated hypertypes to resolve redundant constraints in generated HTraversable instances)

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

Remove redundant constraints in makeHTraversable

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

minor cleanup

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

Enable TypeOperators project-wide

github.com/lamdu/lamdu - 49c2b2217b36af320ed2aff026ba138bca8d3a18 authored almost 5 years ago

Use Annotated type synonym

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

hypertypes change in Annotated type synonym

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

Annotated type synonym is a hypertype

Usages now need to use the (#) operator, but:
* It is more consistent
* It is also usable in the...

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

enable use-lens hlint rules group

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

AnnotationVal doesn't contain optional type annotation

(we no longer show parameter types in evaluation mode when no evaluation result is available)

github.com/lamdu/lamdu - 99ad684577c21b934b6c454e049c38eecceb81e5 authored almost 5 years ago

Don't expand value annotations to size of types

Reverts 433ca47e0b60450bfa95896c1cfacabd59a735c2

We used to show types for parameters in scopes...

github.com/lamdu/lamdu - 7064f1ffa833686d12c827e22058124e44f116a6 authored almost 5 years ago

Suggest fills empty record / nullary injects, fixes #494

See https://trello.com/c/AKfdwwDK/494-nullary-injects-results-are-cumbersome

github.com/lamdu/lamdu - 2949bd9b3ce72d0b2f606a72d4b7ce33036a5021 authored almost 5 years ago

add failing test for #494

https://trello.com/c/AKfdwwDK/494-nullary-injects-results-are-cumbersome

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

hlint police

github.com/lamdu/lamdu - 764e2b4f5833784c405f838cc1d6df2d73dc5dd9 authored almost 5 years ago

Annotation: Fix #495

Fixes https://trello.com/c/udhTEJWy/495-right-to-left-mode-expanded-annotation-exits-screens-right

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

Rename annotation modifiers for clarity

* plNeverShrinkAnnotation => plNeverShrinkTypeAnnotations (It does
shrink val annotations)

* ...

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

FragmentEdit: Refactor to not abuse postProcessAnnotation

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

FragmentEdit: Re-use stdWrapParentExpr

github.com/lamdu/lamdu - 948a609e32072b90b8db895b30b939ba54e1efb6 authored almost 5 years ago

Wrap: Remove redundant constraint

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

Move ParenInfo into Sugar.Types

github.com/lamdu/lamdu - 151b336692780194907de7968e0d9063d76370f7 authored almost 5 years ago

Remove export of NeedsParens

github.com/lamdu/lamdu - 00bfc37304001f6bc3be09165842770b2a95169a authored almost 5 years ago

ExprGui.Payload: flip for convenience

github.com/lamdu/lamdu - 031015d76bc59cde93d55e973f264917a9410af0 authored almost 5 years ago

cleanup: Remove CodeEdit.Load, references to GUI from sugar tests

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

Extract Lamdu.Sugar top-level wrapper

github.com/lamdu/lamdu - 293d4cb4029862fb8c28fb2838d6d2c394e9d967 authored almost 5 years ago

CodeEdit.Load: Inline toGuiPayload one-liner

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

Minor cleanup: Extract ParenInfo

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

Convert.Expr.Actions: Remove unused FlexibleInstances

github.com/lamdu/lamdu - 137fdb5a5dfebdd190c9964a7a73c4344a9e7a16 authored almost 5 years ago

GUI doesn't need conversion from input to output actions monads

github.com/lamdu/lamdu - 83c70e6eb958b31d7a11373e5d38b7018cc0c4bc authored almost 5 years ago

generalize types

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

style

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

resolve TODO

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

.ghcid stop on first error hopefully

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

generalize types

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

Getting new tag option without picking it shouldn't add it to tags list

github.com/lamdu/lamdu - 21bf35fb5f383ebdc3e5cf66c9f61a89bddf93ac authored about 5 years ago

hlint police

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

Sugar newTag is a TagOption

* Term sugaring no longer depends on i18n/texts/language selection

github.com/lamdu/lamdu - 887122c04d614ca4b92675c032a2ffbac6bfa358 authored about 5 years ago

TagEdit: generalize makeNewTagPreEvent, addNewTag

github.com/lamdu/lamdu - 58fc9a606bf98dee50e99ef33553998b5c6d6d0b authored about 5 years ago

Generalize type of assocTagName

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

Update to newest lamdu-calculus, hypertypes

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

Update for new hypertypes

* Fix rStructureMismatch for new hypertypes

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

More exact type for randomizeNonStoredRefs

Makes it clear that consistent IRefs come from there

github.com/lamdu/lamdu - 03c92f6dac80a783abf9e61f0b2b34c83203b069 authored about 5 years ago

hlint police (new rules)

github.com/lamdu/lamdu - 03016abfe6338e82df639665a36b68cc60f0975b authored about 5 years ago

Merge pull request #6 from masaeedu/patch-1

Typo

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

Typo

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

Completeions: Use suggest prefix

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

suggestCaseWith suggests a lambda when variant type is unknown

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

extract suggestLam

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

Common completions for holes and fragments extracted to Sugar.Convert.Completions

github.com/lamdu/lamdu - 4443579eeb24ecbdf59f36c4dae707641af57aec authored about 5 years ago

Suggest: simplify & auto-suggest lambda-cases where appropriate

github.com/lamdu/lamdu - 000a712d876409f5fbcae229ae0b0ae8fc450878 authored about 5 years ago

Add suggest test for suggesting record arguments

github.com/lamdu/lamdu - 7694cf2d2403e259ac8bd07c0ed1888e8cc76172 authored about 5 years ago

Suggest: forRecord like forVariant

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

Suggest: forTypeObvious does not suggest record filling

github.com/lamdu/lamdu - 28252c4147ab92c59d6f0193f572b9453954a207 authored about 5 years ago

Suggest: simplify forType

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

Suggest: forTypeUTermWithoutSplit is in Maybe

github.com/lamdu/lamdu - 20fffb8b30eb902f9cc93ee1725c63e24767fe78 authored about 5 years ago

Suggest: forTypeWithoutSplit => forTypeObvious

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

Suggest: simplify forVariant

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

Suggest: extract lookupBody

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

Payload.Input: inferredTypeUVar lens

github.com/lamdu/lamdu - 585cc5f86007f56f3320849a2be79b8fdac0d824 authored about 5 years ago

simplify structure mismatch (usages dont use constraints)

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

cabal new-build works

github.com/lamdu/lamdu - 128dd334acc6858337dadc3d152cab42363c3daa authored about 5 years ago

avoid using UVar for quantified variables counter

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

Fix naming: fresh quantified vars, not unification vars

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

fix benchmark breakage

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

test: TypeLang: PureInferState is a record

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

Sugar.HoleOption doesn't include the unsugared base expression

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

Remove unused code

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

oops hlint police

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

Pressing "=" in lambda params jumps to body.

Useful for selecting a name and jumping to RHS with one key.

Fixes https://trello.com/c/zo7XbQ5...

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

hlint police

github.com/lamdu/lamdu - 231edc1582b139f8f81b8a6dbcc532ca6364c8ba authored about 5 years ago

Test asserts old-codec-factorial is indeed version 0

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

Export Codec.Version

github.com/lamdu/lamdu - 4565ba241cd25d9601c0f2641257986316477f77 authored about 5 years ago

Oops: restore old-codec-factorial to actually be in the old codec

(Broken since 96ffeea0184d84a24c2f71f198ab09189e398dc2)

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

migrate: Use Options.Applicative

github.com/lamdu/lamdu - 46f8f4c9e11461ebea60b715351b686af0325949 authored about 5 years ago

Opts: Use strArgument

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

Fragment: Type mismatch always shows types, in addition to eval result

* Also makes type mismatches UI clear

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

Compiler: Fragments still evaluate their content

github.com/lamdu/lamdu - 77808ec77258ab15b83ea5b64029e3ac05d481a6 authored about 5 years ago

Sugar.Annotations: Simplify

github.com/lamdu/lamdu - 81273e4f59dd8b9a11ac5f7c0c9dcabb754f25f1 authored about 5 years ago

Fragment: Small cleanup

github.com/lamdu/lamdu - 16ec8dc979a00a87dfc420b267880f70496d8b48 authored about 5 years ago

Codec: Import Aeson rather than AesonTypes where applicable

github.com/lamdu/lamdu - 939dd63806f7bb0977a016321b663deb957d09c2 authored about 5 years ago

Codec: Remove Encoded type synonym

github.com/lamdu/lamdu - 59fd11a41680e833a0b0ca86622226d1ab64609b authored about 5 years ago

Codec: Refactor

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

can type literals to replace any selected expression

fixes https://trello.com/c/O0FHN6RP/482-literal-insertion-keys-digit-quotes-when-an-existing-exp...

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