Lamdu commits | Ecosyste.ms: OpenCollective

Tags name-collide with defs/vars

* Due to nullary injects shown as simple tag names in expr context
defs/vars/field-vars need d...

github.com/lamdu/lamdu - 3ba9570515e9fd886af3e8dee727484735828170 authored over 7 years ago

CaseEdit: Grammar is 'case λ of' or 'case arg of'

github.com/lamdu/lamdu - e81888a889cbc5aa5e7762c9153da5be5f2378bd authored over 7 years ago

Sugar actions to close records/sums

github.com/lamdu/lamdu - 729946ebd15ed6c5c97cadf12bed77a8e9f385eb authored over 7 years ago

Can close records/sums with delete keys

github.com/lamdu/lamdu - 8b0f66257663897275bd89546087c5e3e27ef8d4 authored over 7 years ago

Extract ClosedCompositeActions

github.com/lamdu/lamdu - f8f418532d74ebb2c3700c72ee7647781b203d09 authored over 7 years ago

hlint police

github.com/lamdu/lamdu - c537c0e34175bf9abbce99e9d5e137bbcc9b8c97 authored over 7 years ago

Rename CompositeExtending=>OpenComposte

github.com/lamdu/lamdu - cb87b4966b40fc98a5c5409c4924b1ada832066a authored over 7 years ago

<return> extracts on REPL button itself only

Fixes https://trello.com/c/DLKWmyoX/280

github.com/lamdu/lamdu - 55bed5c5fc4b2e2f6348815a715db00b5af33206 authored over 7 years ago

Extract Lamdu.GUI.ReplEdit

github.com/lamdu/lamdu - 779b33543c84b6e7c133cfacb064db89f05238f0 authored over 7 years ago

Extract Lamdu.GUI.IOTrans

github.com/lamdu/lamdu - 8d3506c0c64d39633e7f532d709f005bae84531b authored over 7 years ago

Rename: CodeEdit.{M => IOTrans}

github.com/lamdu/lamdu - d4a4abdb93682c43d264ac0b40d4c76d5b652166 authored over 7 years ago

Fix bad cursor when wrapping with lambda creates a binder param

github.com/lamdu/lamdu - 2a685f315e839e5f460629ec49daebd1d2073fe3 authored over 7 years ago

Convert.Hole: Remove redundant indent

github.com/lamdu/lamdu - 34c48dfaab3a91afd69752171dd19b7afe5163e9 authored over 7 years ago

Remove uses of RecordWildCards

github.com/lamdu/lamdu - 23250e7a6e400bf4ca1c999546cc86a86546baa6 authored over 7 years ago

Names.Add: Remove dead code

github.com/lamdu/lamdu - 8ac1ad1bf395f39d42c128df4477058a35cd1ede authored over 7 years ago

Names.Add: locals/globals filter didn't filter keys with no names in them

github.com/lamdu/lamdu - 6c36c8018f7d76734444214c05a2e38d0f453fc9 authored over 7 years ago

Oops: local clash check was wrong

github.com/lamdu/lamdu - f346c1c2a164d7c34b3b3f4b8ff4f350669c4c6f authored over 7 years ago

Better comment about UnknownCollision

github.com/lamdu/lamdu - 68778003d3b17bc7fbf3b257cea894015a0fa601 authored over 7 years ago

isLocal/isGlobal always considers FieldParamName to be local

github.com/lamdu/lamdu - 6bbf84c3f88c71928d0ddf11ae2adb92bacc7bcd authored over 7 years ago

Sugar actions for field params

github.com/lamdu/lamdu - e1e7596b0574367ff049629c8631e757f5a8fcdc authored over 7 years ago

TagEdit: Disallows chars not fit for hole

github.com/lamdu/lamdu - a2bcaec3086b29af3fc353801aa7995fab732d72 authored over 7 years ago

CharClassification: Imported qualified

github.com/lamdu/lamdu - 18cad2f8578cd5eb0be8218330499bc533f85d4c authored over 7 years ago

Momentu.EventMap: Generalize types

github.com/lamdu/lamdu - c546aeb537f3b77db9cabe4da548b7023ec1f2eb authored over 7 years ago

InjectEdit: Generalize types

github.com/lamdu/lamdu - 5954b83ea15b816f59feac9a9dd465bcc65085a2 authored over 7 years ago

disallowCharsFromSearchTerm: Use monadic config

github.com/lamdu/lamdu - ae706e1a221a55e30e4b8770ab4f7844aba4daf3 authored over 7 years ago

LightLambda: Generalize types

github.com/lamdu/lamdu - f0a098112c75849c28fe148bd91950beba3e7758 authored over 7 years ago

LambdaEdit: Generalize types

github.com/lamdu/lamdu - 841ade98107177d96d578610383a83ea2b0bbd64 authored over 7 years ago

LiteralEdit: Generalize types

github.com/lamdu/lamdu - 1d77c25be1792192b81f56915c7ebd19c1f9b385 authored over 7 years ago

GuardEdit: Generalize types

github.com/lamdu/lamdu - b5ee1bb05dfc48ad0e8634a1f8e8e54c0ebaed23 authored over 7 years ago

GetVarEdit: Generalize types

github.com/lamdu/lamdu - 1f16922ab80d4f000fffa2cdec86dbab14a34f7d authored over 7 years ago

BuiltinEdit: Generalize types

github.com/lamdu/lamdu - 64fcd8f0a00825dccdf6db091fc8933b32ad91f6 authored over 7 years ago

fix ghcid based DevSetup

github.com/lamdu/lamdu - d151866fa5ab197ad169cb5fa7bd9fa04faaddb0 authored over 7 years ago

Theme: Aeson instances use TH instead of Generic

github.com/lamdu/lamdu - 81ad416aed5e6d31abe018c9d9be03a73c206fe0 authored over 7 years ago

Dockerfile: shallow clone

github.com/lamdu/lamdu - d97faa69b712de11803e753752fbcf056e40006f authored over 7 years ago

disable optimizations for Lamdu.Config.Theme for build speed

over here build time is reduced from 30 seconds to less than 10.
I'm also hoping this reduces me...

github.com/lamdu/lamdu - 62820b3ab954b7acaabffea5b919b325041c124e authored over 7 years ago

stack.yaml: update nodejs-exec for faster build

stack will no longer do a deep clone the of nodejs repository,
and will not clone it at all when...

github.com/lamdu/lamdu - b8be2857ee96cc4c2daee00a5e6283f08b767fed authored over 7 years ago

node no longer a submodule

stack does a deep clone of all submodules when nodejs-exec is used as a dependency,
which takes ...

github.com/lamdu/nodejs-exec - d98aba5326781f812195c18fadd4545bd7440845 authored over 7 years ago

split stuff from Lamdu.Config.Theme module

this module takes a looong time to compile and apparently its compilation also takes a lot of me...

github.com/lamdu/lamdu - e6d9a8719c371ae9411017cea49bd6368b966eb6 authored over 7 years ago

add Dockerfile for testing Lamdu's build on Arch Linux in Docker

github.com/lamdu/lamdu - d7e31562035ca4a4cb735b370f733aaee5539afd authored over 7 years ago

Oops: Score list was ignored

github.com/lamdu/lamdu - e85afb8d6f924115d5a8d01cb7f550192a2d42bf authored over 7 years ago

TagHole uses Menu

github.com/lamdu/lamdu - 58df24c81a17cd9cd889581fb65d0d641d55b3cf authored over 7 years ago

Oops: Fix good/bad results Ord instance for sorting

github.com/lamdu/lamdu - 33f07fad784c8a7ae1ec52c006d06860563c5da1 authored over 7 years ago

Clarifying comments/names in HoleEdit.collectResults

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

hoverBesideOptionsAxis takes two hover widgets for each direction

* Menu.Ordered is moved to Hover.Ordered

github.com/lamdu/lamdu - e6e29bec13a49e83b0886e8dfa974ee74167e282 authored over 7 years ago

Revert "HoleEdit.ResultsGroup: Clarify collectResults"

This reverts commit 5cbef680afab0e0b0cf982e46a45d3e3a5ab09c9.

github.com/lamdu/lamdu - 99d6d3d292dfce74953a919a5b7ec5c9382bff8d authored over 7 years ago

update nodejs version

see https://github.com/lamdu/lamdu/issues/79#issuecomment-330357230

When node isn't available o...

github.com/lamdu/lamdu - 07357010eeaa821624336c433cc4c67a64f696f5 authored over 7 years ago

Names.Walk: Oops: field params should not get auto-generated names

* Remove dead opWithTagName

github.com/lamdu/lamdu - 9dda2e0abfcade1f3d98d7276e207b571d1c6169 authored over 7 years ago

Update nodejs to v6.11.3

(see https://github.com/lamdu/lamdu/issues/79)

github.com/lamdu/nodejs-exec - b8d49be229b7a95ff96ca8084c84c38bcc094dc9 authored over 7 years ago

stack.yaml: update to lts-9.5

github.com/lamdu/nodejs-exec - 266cafd92a70f84c7b2dc664100da356a67ac232 authored over 7 years ago

HoleEdit.ResultsGroup: Clarify collectResults

github.com/lamdu/lamdu - 5cbef680afab0e0b0cf982e46a45d3e3a5ab09c9 authored over 7 years ago

HoleEdit.ResultsGroup: GoodAndBad data type for clarity

github.com/lamdu/lamdu - 39c282d312c3920bd733696e27f040a2cf45b14f authored over 7 years ago

Lamdu.Prelude: Add traceShowM

github.com/lamdu/lamdu - 7baf67e7d086acbf0b2763c2f84638ae0ae9ba15 authored over 7 years ago

hlint police

github.com/lamdu/lamdu - 20d0022754852b96d457535ffb25798215477347 authored over 7 years ago

picking tag goes to its new id (towards tag holes for field params)

github.com/lamdu/lamdu - 6029b01f95e7da9ec5bdc6d2493dfe33a0e4288f authored over 7 years ago

Extract Lamdu.GUI.NameEdit

github.com/lamdu/lamdu - 645bf4e41a882427412b0a0ef863a2bbb28d462c authored over 7 years ago

TagEdit: Use holeResultCount

github.com/lamdu/lamdu - 3f38f409f5743e30c18cca775d454bb5d9edb51e authored over 7 years ago

TagEdit: Generalize monad types

github.com/lamdu/lamdu - 98061bd4a714d388c1f023c4f549bbc097337f83 authored over 7 years ago

Generalize ExprGuiM types

github.com/lamdu/lamdu - 259745702336c6c4090633b0b7ff34f175a7e01e authored over 7 years ago

MonadTransaction carries Monad instance of underlying monad

github.com/lamdu/lamdu - b99c1c13dfb2f3471ad63929e265411d2b328f29 authored over 7 years ago

Menu: OrderedOptions=>Ordered

github.com/lamdu/lamdu - 959ce94e6e7ff46cb2a7a93efb956c5a7a220cf4 authored over 7 years ago

resultsHoverOptions: clarify the options a bit

github.com/lamdu/lamdu - c94c06c6aae9f4ba731742a513eb92b466639055 authored over 7 years ago

TagEdit: Split into functions

github.com/lamdu/lamdu - bd48a55a50ac08034e3c4f792e96c5f8e126d609 authored over 7 years ago

Sugar exports a HoleResultScore data-type that strictly prefers results not in wrapper-holes

Fixes https://trello.com/c/70QvxvZa/278-hole-does-not-offer-absurd-as-result-unless-typed

github.com/lamdu/lamdu - 9d55fac9420e7b3689ac5314ca9f3a4b1eae88cc authored over 7 years ago

Hole results for lambda, empty record, absurd, are each in their own group

github.com/lamdu/lamdu - 746e3d1eaf982c877aa5f8126b73ad799027b02b authored over 7 years ago

taChangeTag returns TagInfo

Function's field params tags are based on the tag and
so to know where the cursor should go when...

github.com/lamdu/lamdu - a3d38a025eafa230546c56101f71b2375bca605f authored over 7 years ago

FieldParams tag actions except for setTag

github.com/lamdu/lamdu - 8f5bff08952ed2e8fba7d91823bc945ecf70c07f authored over 7 years ago

Extract Convert.Tag

github.com/lamdu/lamdu - cec93a0975bbe39e9b0a8f4eaac7b3609df56e12 authored over 7 years ago

cleanup and hlint police

github.com/lamdu/lamdu - 6e577f0170f3754565eeba7189a1fda1c21e28f1 authored over 7 years ago

simplify ParamEdit interface towards tag edit in fields

github.com/lamdu/lamdu - 9bb8cef8774d867888822b16cd047452ae244bf4 authored over 7 years ago

More reserved words

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

rename misleading makeParamTag to makeArgTag

github.com/lamdu/lamdu - 53ee8620c6d767c73acc3af3edc6d6c607731f69 authored over 7 years ago

BinderEdit: namedParamEditInfo gets the nameEdit

Towards using tag edits for field params

github.com/lamdu/lamdu - cd2097aefd76739bf637af5284a28e915ff9c0e6 authored over 7 years ago

Names.Add: Reserved words always collide

github.com/lamdu/lamdu - 21b6e339bc284ab470569fdf5b21d79be49749e0 authored over 7 years ago

extract Sugar.Types.GetVar

github.com/lamdu/lamdu - ad0d950945329fd1b605d980e44bfb3b631a36e6 authored over 7 years ago

Oops remove unused language pragmas

github.com/lamdu/lamdu - 05625a79dbe12d4d16247dac1e97d247c777a7e0 authored over 7 years ago

extract Sugar.Types.Hole

github.com/lamdu/lamdu - 735907f0e7919073db0d077292c626967de008f4 authored over 7 years ago

Sugar.Hole is parameterised on resultExpr, towards extracting to a module

This could also potenitally add type safety to traversals into results.
Also using a resulting F...

github.com/lamdu/lamdu - 8de3b4a585a404259321852078171179fd498f70 authored over 7 years ago

Names.Add: Split Names.Clash

github.com/lamdu/lamdu - 45f73e9312dc633519e9f0e8a28db4269e1ca05e authored over 7 years ago

Names.Add: Collision outside suffix map is UnknownCollision

github.com/lamdu/lamdu - de6998aa596db5eceb93fdd2aae0e5c1926e6ad3 authored over 7 years ago

Names.Add: p2NamesAbove has IsClash for each name

github.com/lamdu/lamdu - 8a2c55925ddd645946baadac7944df0c832e8c83 authored over 7 years ago

Extract getCollisionEnv

github.com/lamdu/lamdu - bdcf7934a4fe3ba7dcdf896aaf183db84fae8b97 authored over 7 years ago

Names.Add: P1Name has NameInstance

github.com/lamdu/lamdu - 3b0ffb4df9884c61a8cdeaa532869a80c96f579a authored over 7 years ago

Local collision checked in the same way

github.com/lamdu/lamdu - d907b4aee585b4ecbd2ba4ae13a3c011301a95cd authored over 7 years ago

Data.Map.Utils: Add unionWithM

github.com/lamdu/lamdu - 31c965b6650deb38fbb0f67012d62d0ee544ee7d authored over 7 years ago

Names.Add: Extract NameContext

Replace ClashDetector with NameContext

github.com/lamdu/lamdu - 2e06302c61e204fb48a1dd619c61e0631bb20cb6 authored over 7 years ago

Names.Add: p1NameUUIDMap => p1NamesBelow

github.com/lamdu/lamdu - e038ea9ec32b0c5e27fc808cf8479c023bf2bc32 authored over 7 years ago

Names.Add: p2Names => p2NamesAbove

github.com/lamdu/lamdu - bef04c88c1dc4c1f79e8c568be7b6f468aa2d79f authored over 7 years ago

Remove stale TODO

github.com/lamdu/lamdu - e1a92ea0f310a024d70fdba117ed499922a7b490 authored over 7 years ago

Names.Walk: Distinguish FieldParams

github.com/lamdu/lamdu - 34803c824dfdad1102f1a830880ed4542085763b authored over 7 years ago

Names.Add: Remove local/global names split, filter as needed instead

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

Names.Add: Remove pass2 collision handling

github.com/lamdu/lamdu - 923840272de9f3a540e95e951000e757df926d19 authored over 7 years ago

OrderedSet: Export filter, Traversable instance

github.com/lamdu/lamdu - 6dc139c22dc4f7b661ebba74d51e036b3d646bd6 authored over 7 years ago

Names.Add: Flip collision suffix ordering

github.com/lamdu/lamdu - fa07c0de01041de8342511081c87b4cf931a6e38 authored over 7 years ago

initial tag hole gui

works with record fields and case alts, still missing for field params.

github.com/lamdu/lamdu - f1baa08331e4af2f59cc631d978090b37ab68d33 authored over 7 years ago

Names.Add: Oops: fix global / autoname collisions

github.com/lamdu/lamdu - 4719dfce81be133a7420bc4efab3965954e708c8 authored over 7 years ago

Add Collision.README

github.com/lamdu/lamdu - e770b6ae43be24d17e3387725186489bdf66173c authored over 7 years ago

Names.Add: Conflicts -> Collides

github.com/lamdu/lamdu - f4ea9ddf9332320b5414784ef544df14b14359af authored over 7 years ago

Add todo with warning

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

Names.Add: Rewrite the name clash algorithm

* Pass 1 decides what text names collide
* Pass 2 merely assigns UUID suffixes for all colliding...

github.com/lamdu/lamdu - 7ab633da00e404c56f8039c5d9c72bcba98c26c6 authored over 7 years ago

Names.Add: P1Out is a newtype for Writer env for pass1

github.com/lamdu/lamdu - 8bf83700bfe608d493e604bdf68574d2e23296b3 authored over 7 years ago