Lamdu commits | Ecosyste.ms: OpenCollective

tools/run_hlint also passes additional command line args to hlint

github.com/lamdu/lamdu - 71c4e25b333a4a5ccef1a03b2c69a98c22f64455 authored almost 7 years ago

Fix https://trello.com/c/qLWqFUfD/342

When editing a number and deleting all digits, no need to press another delete to
make it a hole...

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

fix help text

github.com/lamdu/lamdu - f3db1520895ace5d95ad0e545d1802a27abc032b authored almost 7 years ago

Fix https://trello.com/c/9bdox5vo/338

The base expression for inject has hole in it,
which isn't alpha-eq to suggested which injects a...

github.com/lamdu/lamdu - 727b54799250e4b55108f99a11053c311d8db388 authored almost 7 years ago

update lamdu-calculus dep for couldEq

github.com/lamdu/lamdu - b5e1048e6613ddfdee19b9972861d7b101628aab authored almost 7 years ago

hlint police and unneccessary extensions

github.com/lamdu/lamdu-calculus - 76a6bb273a55436bc5563a50e9546bbdebeb1d46 authored almost 7 years ago

add couldEq

github.com/lamdu/lamdu-calculus - 98efea4115db6fdfb91c8f23e256c9c2be862b03 authored almost 7 years ago

Pressing chars on LHS names opens tag selection

Fixes https://trello.com/c/JghhY02K/335

github.com/lamdu/lamdu - e75837353586383697a8a762a6c3f47d3ba34d67 authored almost 7 years ago

small rename

(to more correct name)

github.com/lamdu/lamdu - a5fb86e776711c0bcc57ef4e95bf05f50e8dca00 authored almost 7 years ago

can inline definitions directly from hole results

fixes https://trello.com/c/gLiMd54e/326

github.com/lamdu/lamdu - 520215be7645e085f3a65bf37d9a6bce1d911a47 authored almost 7 years ago

update AlgoW dep

(for indexed lenses used in next commit)

github.com/lamdu/lamdu - dbc192106345ca26da832360bbe9290474664422 authored almost 7 years ago

oops remove debugging artifact

github.com/lamdu/lamdu - bac695111eeac886320976468d964d7e266d66fb authored almost 7 years ago

Can inline let-items directly from hole results!

github.com/lamdu/lamdu - 93a92991c087ab3aede9668243ad5e0cabe80b64 authored almost 7 years ago

Oops fix applying operators higher in the AST

Commit 81a09db5c2016b2b4e88b95edafdf0bb91fbe004 made ExprEventMap only add
itself when expr is s...

github.com/lamdu/lamdu - 701b60d221b32fba23d4e6791393b7f94f9d6085 authored almost 7 years ago

remove some superfluous ids

github.com/lamdu/lamdu - e38ed256ab42397650f5f9b21b6da927e96c8d78 authored almost 7 years ago

Fix eval and type view of empty text tags

github.com/lamdu/lamdu - 7bfba8663bbd080f461a8b7410dc73bfa3a3a67b authored almost 7 years ago

Revert "Tag hole requires exact match for single letter tags"

Oops! That caused tag holes to always prefer creating new tags,
by sending the cursor to the sea...

github.com/lamdu/lamdu - 891354aebe69d6dce19a0c9021ad8ff7c27ca3b7 authored almost 7 years ago

Only offer expression event map when expression is selected.

Fixes https://trello.com/c/ramF5RNQ/328-anim-id-clash-in-help and other quirks such as
pressing ...

github.com/lamdu/lamdu - 81a09db5c2016b2b4e88b95edafdf0bb91fbe004 authored almost 7 years ago

Can search and create operator tags and equals jumps to RHS properly

github.com/lamdu/lamdu - 3abeaf7de689c9855fec05164b4fc09fb4d42770 authored almost 7 years ago

tag name reform:

* Variables, Definitions, and Nominals identifiers (TIds) are now
associated to tags, not name...

github.com/lamdu/lamdu - d2b5c178e8dacac0dca1b3ba1f58d2511fc57342 authored almost 7 years ago

Update freshdb

github.com/lamdu/lamdu - 58a9fb060263ee550eb477cfd2be3296673734ea authored almost 7 years ago

Encode anonTag as null in JSON

github.com/lamdu/lamdu - 3ea3055fc5830eb7e0da91d2ca4a2164dde251c0 authored almost 7 years ago

Unnamed now supported for global defs

github.com/lamdu/lamdu - 21062bf51464fbbcb3957de967acabd5a9eb94e3 authored almost 7 years ago

Tag hole requires exact match for single letter tags

github.com/lamdu/lamdu - bf16f7cf9df10a125e26b8a96e64d324a3fb7d58 authored almost 7 years ago

Update documentation

github.com/lamdu/lamdu - da3d9017d1cb83a296ba352a759cd0b087f2558d authored almost 7 years ago

convertToRecordParams does not bind its parameter

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

fpAddNext does not need EntityId for TagSelection pick

github.com/lamdu/lamdu - 98537a32a29de79b3efc492e10795a2178cdd9b8 authored almost 7 years ago

Prepend first param works properly

Now need to disallow adding next param when no tag was chosen.

github.com/lamdu/lamdu - 04114ea071761d78060527f461ab05f56c621330 authored almost 7 years ago

dont allow adding param after anon-tag

github.com/lamdu/lamdu - 1837ac427d7c2c2d43b8677d224ed6fb001c2fbd authored almost 7 years ago

prepend first param goes to pick initial tag if needed

github.com/lamdu/lamdu - e62363d7fb36688786ffe8737914045a129b6ce8 authored almost 7 years ago

Add next param for anon tag requires picking tag first

github.com/lamdu/lamdu - 9e3cd956505f5dcf9aa585bb2cc0f0474436f800 authored almost 7 years ago

remove hacky fixNames, setName handles publish from creation

github.com/lamdu/lamdu - ee6ac433f7ff68025c78e73b030fd35b43317334 authored almost 7 years ago

dont offer to rename autogen name

key goes to pick tag instead

github.com/lamdu/lamdu - fd16c46839e82d36266cde03f75a5ceb0e307f6e authored almost 7 years ago

dont offer to pick new tag with no name

github.com/lamdu/lamdu - db07055e06abfd5105eb7ee835248ce70fff48e5 authored almost 7 years ago

Nominal tags are the same tags, but displayed with uppercased head letter

github.com/lamdu/lamdu - adf5779e57489c86da4e42e968d511064c04daf9 authored almost 7 years ago

Lamdu.Name: CollisionSuffix type synonym

github.com/lamdu/lamdu - 248986d1a0412e56438c34db264dbbf2859c0c8b authored almost 7 years ago

Tag rename always renames a Stored name

github.com/lamdu/lamdu - bd169d7bd9945473fabd785bbe8c00ca69eef6a3 authored almost 7 years ago

Can set tagged entities to anon tag

github.com/lamdu/lamdu - b862d170d34cdfe2c1810217cf42a105db6e4053 authored almost 7 years ago

Adding parameters works properly now

Note that help doc says ", Jump to next" instead of ", add another param"

github.com/lamdu/lamdu - b4c5d8956cceca17256be05a11031ac1e18a765a authored almost 7 years ago

Names.Add: Update handling of empty names

github.com/lamdu/lamdu - be8e827280a99ecf1c4f56dc3b46f4de97d4b7bc authored almost 7 years ago

Binder.FuncParamActions.fpAddNext is a tag selection.

TODO: Press space to add another param.
A problem here is that current Sugar actions don't expos...

github.com/lamdu/lamdu - 3f6e757e13ce874a99f119ab6a28a60f5faa97ec authored almost 7 years ago

workAreaTagNames modifies name type parameter

this makes sure we don't miss traversing and name

github.com/lamdu/lamdu - d58473cf0a36db960b5f569b5fb80de598332355 authored almost 7 years ago

Tag reform

Vars and nominal Tids have associated tags

BUGS:
* new let/def jump to wrong cursor
* recursive...

github.com/lamdu/lamdu - 001a67dba2d0f75f1abdb965a54a56e5b8f9380a authored almost 7 years ago

Data.MMap: Map wrapper with sane Semigroup/Monoid instance

github.com/lamdu/lamdu - 1e4285890c4842d2bbbd2f66e52d0434e38a004d authored almost 7 years ago

fix extract on let item name

was broken since 78345d62c16a38bcba6129c15514b389ab2c0ea1

github.com/lamdu/lamdu - ded6e41d2d821b9777ff0aec31528fade673c328 authored almost 7 years ago

makeBinderContentEdit adds actions only when whole is selected

github.com/lamdu/lamdu - 3f35a2885fda60a8ee758df18ec9cb89b28ac543 authored almost 7 years ago

extract maybeAddNodeActions

github.com/lamdu/lamdu - 36df4d21efc079ac08b285e595f3de1db31b81da authored almost 7 years ago

minor cleanup

github.com/lamdu/lamdu - 056dc3d9f31d321a7020890447ba7389f20becb3 authored almost 7 years ago

add an hlint rule

not sure how much more this one would catch :)

github.com/lamdu/lamdu - 8b8c81ee94ea78b6cd3f49c2638ed5b28366e96f authored almost 7 years ago

getSearchStringRemainder: Explain how wrong remainders returned have no effect

github.com/lamdu/lamdu - 7a0a2fafb0f091550314588a11cb9f1b71dfa970 authored almost 7 years ago

ValTerms.definitePart: Don't strip a suffix colon/dot from operators

* This fixes a bug where "..." would match ".."

github.com/lamdu/lamdu - 8c40fde7388dfc4e196c7ce973c40f33578ebfaf authored almost 7 years ago

HoleEdit.ValTerms: Extract definitePart, isHoleResultOK

github.com/lamdu/lamdu - e562e596276d5f07b117e9adc5a3069a95bdc587 authored almost 7 years ago

Merge HoleEdit.{AllowedSearchTerm -> ValTerms} because they are coupled

github.com/lamdu/lamdu - cf26b2729d64cce93e6286952df9d5bc7d7378ff authored almost 7 years ago

Move getSearchStringRemainder to HoleEdit.ValTerms

github.com/lamdu/lamdu - bfce871bdf68e4580c12d0a687104c60a7f920c2 authored almost 7 years ago

addFieldParam gets genNewTag parameter

towards adding it with pre-chosen tag from TagSelection

github.com/lamdu/lamdu - 9328a82d030edff76ca8dff9b64a9a41332bf1f7 authored almost 7 years ago

reuse existing functions

github.com/lamdu/lamdu - f310a3311a4bb25a6924203bd066efaaaaf11c1b authored almost 7 years ago

paramTagColor => argTagColor

more correct name

github.com/lamdu/lamdu - 1c89fcd405c1ce8ecd9637ca093d7c0a49a4c188 authored almost 7 years ago

Simplify and generalize Menu API.

Next entry can now depend on current menu selection,
for example if choosing item on the menu on...

github.com/lamdu/lamdu - fb2cfd9862f0967e9af31d31bf529997b375aaf4 authored almost 7 years ago

consistent import source

github.com/lamdu/lamdu - 3fefca4f19cc9f9ad3cdeee8ea746dd82757d0e0 authored almost 7 years ago

reuse ListUtils.insertAt

github.com/lamdu/lamdu - 391ed8464416c3f261700b1c320948e37b30a8d3 authored almost 7 years ago

Fix whole binder actions

Actions should apply only when whole binder selected, not on each lhs component

github.com/lamdu/lamdu - 78345d62c16a38bcba6129c15514b389ab2c0ea1 authored almost 7 years ago

Delete makeCaseTagView, inject-tag is a parent expr for a normal TagEdit

github.com/lamdu/lamdu - a8c0d377915b48be3482bebf990da4e7dc1de8db authored almost 7 years ago

Functor instance

github.com/lamdu/lamdu - 6bb16957af53a6c555985d8d1cdc5d772b453741 authored almost 7 years ago

Sugar.Lens.exprBodyTagNames bug in Case

github.com/lamdu/lamdu - 783145489890ab18acfdedd0628338fb2c9104a5 authored almost 7 years ago

Revert "manual instances to work around a GHC compilation performance bug"

This reverts commit 1d7efca888df7b8280bacb9632b8b298268b15d6.

github.com/lamdu/lamdu - 8164a8938fc5ffb4811de20019c64c831e122ea5 authored almost 7 years ago

style

github.com/lamdu/lamdu - 930863f55357fb83e6f9cd41d2c7ed6c14a0d6d0 authored almost 7 years ago

add TODO

github.com/lamdu/lamdu - 3d918d3a6dcc6562cf27c998b920102559100365 authored almost 7 years ago

Rename: newTag -> newRandomTag

github.com/lamdu/lamdu - a5d9f84b36c5a84fdbfef6d9613cc9931727e647 authored almost 7 years ago

Migration: Fix spacing in message

github.com/lamdu/lamdu - 3747120528064695140431fe3ea778bb94e5ab18 authored almost 7 years ago

Generalize some lens types

When all names have tags (in wip),
the type of workAreaTagNames can be generalized as well,
and ...

github.com/lamdu/lamdu - 0969ca0d24c3c94186ea95b377ef4c9bd678030d authored almost 7 years ago

add hlint rule

github.com/lamdu/lamdu - 0a88391bc766211a09595984b49d1a859b1f58dd authored almost 7 years ago

cleanup

github.com/lamdu/lamdu - 63b01b5c1e3ce192aae2aa44085b9d0802b9878e authored almost 7 years ago

Names.Add: Remove unused LANGUAGE KindSignatures

github.com/lamdu/lamdu - 2322e018e5495f4df18c9df46d0209438801b5e5 authored almost 7 years ago

Names.Add: Remove Lens.Ixed/Lens.At, not worth the boilerplate

github.com/lamdu/lamdu - 904f8702bf208fe968319c0ce15e648a1288b51d authored almost 7 years ago

Widget: Add comment about addPreEventWith

github.com/lamdu/lamdu - b0f2e87b41dd9d95dcf4057da5bcd55717974fbb authored almost 7 years ago

dot-ghci: flatten multi-line (seems ghci ignores multi-line)

github.com/lamdu/lamdu - c387f1419a9688a0425503064a53ce611036fcc9 authored almost 7 years ago

style cleanup

github.com/lamdu/lamdu - 71330906206fd60ddccc2e6a49ced5f62cd11085 authored almost 7 years ago

fix partiality

github.com/lamdu/lamdu - 76306dd5de869230607344536d089a19d9c1420f authored almost 7 years ago

Fix crashes when selecting existing tag in record.

(properly setting forbidden tags)
This problem existed since at least bc35f73cd904ef47bb235e0589...

github.com/lamdu/lamdu - e4e8b2376e7fe818d51fd49a7265c51bfc3a1951 authored almost 7 years ago

Fix publishing of tags added with adding records and case items.

(broken since 93bd9f059303bc74264a5762b813e523a38ee177)

github.com/lamdu/lamdu - f99237e33d384ca15a09864942be1e703c591811 authored almost 7 years ago

Remove dead code

(dead since 2bdd7cfb440026a5080232bebe41d31aeffedc2a)

github.com/lamdu/lamdu - 68a049cc1307b1daccddf0ac29ddb029157899b5 authored almost 7 years ago

fix indent style

github.com/lamdu/lamdu - cf980b08eb9ea416923a9743db951458368d4008 authored almost 7 years ago

Disallow existing tags and update tag order

+ some cleanups

github.com/lamdu/lamdu - e45519fa11cd68555614fcc1a9aaf97a2581da9c authored almost 7 years ago

DRY convertOpenCompositeActions

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

DRY: convertEmptyComposite

github.com/lamdu/lamdu - 869a1868f538228ea09ca45d281faf9deba27eb7 authored almost 7 years ago

cleanup: style

github.com/lamdu/lamdu - 2e6c3f7b0b45b8e9a6a061bb7e5a1f24c61b79c4 authored almost 7 years ago

Removed old Composite.cAddItem

cAddItemWithTag becomes cAddItem,
adding record-fields/case-alts now done with selecting tag fir...

github.com/lamdu/lamdu - 2bdd7cfb440026a5080232bebe41d31aeffedc2a authored almost 7 years ago

Case alternatives added after selecting tag.

github.com/lamdu/lamdu - 58a6c4629af466e653aa8d3abade454233783614 authored almost 7 years ago

Remove unneeded args to tag-hole

Add-field doesn't need to provide mNextEntry because the resulting field value will be the next ...

github.com/lamdu/lamdu - 95dc0a7b22bfa887cc88937d8a8854552ffd6246 authored almost 7 years ago

fix animations of selecting record tags

github.com/lamdu/lamdu - 66212015f5f155bd1b8431483f1fc1e953b6d12d authored almost 7 years ago

Fix #86 - stack install on Fedora

github.com/lamdu/lamdu - 4621936f33609818a344c80f40ecf9278afd5afb authored almost 7 years ago

RecordEdit: adding fields only when selecting tag

Doesn't produce intermediate red-holes etc.
Animation for tag selection needs to be fixed.

github.com/lamdu/lamdu - 93bd9f059303bc74264a5762b813e523a38ee177 authored almost 7 years ago

move fixed argument into function

github.com/lamdu/lamdu - dc1aaeb389cb1ddaa66db372f0560a44a7a41a75 authored almost 7 years ago

TagEdit: Contexts DRY with ConstraintKinds

Note this interferes with -Wredundant-constraints which won't trigger if over constraining this ...

github.com/lamdu/lamdu - 783163d820024facfbfce930238fc0816ce311f4 authored almost 7 years ago

makeTagHoleEdit gets TagSelection

github.com/lamdu/lamdu - ff591f36fcd64b347a1cfc71a4539473566e7c0d authored almost 7 years ago

use assertion instead of dead-code path

github.com/lamdu/lamdu - 4007d896b866bf16849ca63d6fdf8904ad87db86 authored almost 7 years ago

moved functionality out of makeRecord function and generalize its type

github.com/lamdu/lamdu - 919bb391120ceb43bc665ee28ac4e28663dd78af authored almost 7 years ago

fix warning when compiling with -DNO_CODE

github.com/lamdu/lamdu - e26d121c6952efe086ffb43a1b1643456c2c8bc4 authored almost 7 years ago

Oops: Remove implicitly imported Prelude

* redundant 'Prelude as Prelude'

github.com/lamdu/lamdu - 89a2d2d99fb7094f28a1149ec628a40ee2fa3597 authored almost 7 years ago

Add -Wimplicit-prelude

src/Data/* moved to ordinary Prelude

src/{GUI,Lamdu,Revision}/* use Lamdu.Prelude

github.com/lamdu/lamdu - 807e27f547449b8a4941e92eb6a67ffb6a9d603b authored almost 7 years ago