github.com/elm-tooling/elm-compiler-library commits

Fix problem where added type variable names were trashed

912d65220c15343ab8a3423f2f884e6422a6f1da authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1139 from elm-lang/dev

Print out tuple types without unnecessary parens

b70fc02747e46396070028a6917419a6a4bfe1f9 authored about 9 years ago by Evan Czaplicki <[email protected]>

Print out tuple types without unnecessary parens

c7355f8400ef101f2fb2ee0aa7d23adeea3c9b30 authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1138 from elm-lang/dev

merge in (+) hint and infinite type hint docs

7dfc7272494e108366480bac2b17a760831f0e0a authored about 9 years ago by Evan Czaplicki <[email protected]>

Fill out the hints for infinite types

6dc7ebdc77d1dbe9548fbb7e964e746872480ff2 authored about 9 years ago by Evan Czaplicki <[email protected]>

Add special hints for (+) on strings an (/) on ints

Addressing https://github.com/elm-lang/error-message-catalog/issues/38

c6ee452c2486ab4afcad77132d891be7117c835a authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1137 from elm-lang/dev

Provide nicer message when trying to use a non-function as a function

8bbb58000be8c3c8e6432caf89433c5323659950 authored about 9 years ago by Evan Czaplicki <[email protected]>

Provide nicer message when trying to use a non-function as a function

Fix https://github.com/elm-lang/error-message-catalog/issues/46

018d8a02e951330173307a0626c821349bd053de authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1136 from elm-lang/dev

Fix infinite type issues

086c50d7bdfbd3b135dcf0475428d1092878cd28 authored about 9 years ago by Evan Czaplicki <[email protected]>

Fix #832, compiler hangs on certain infinite types

It seems that all the type inference stuff was going fine, but when it
came time to actually pri...

4c2e9adb0912cbe670995cd83273a8c64a3d705d authored about 9 years ago by Evan Czaplicki <[email protected]>

Fix #1120, stop trying to guess how exactly the pattern came to be unhanded

Probably the case where someone adds a new tag is going to be less
common than forgetting one in...

b091dea75ab3a156d3f845f6f9892cbcdc326a3f authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1134 from elm-lang/pr/1126

Expected output tests for Debug.crash.

020604921911d5a8bcb599f82569258e64c38dfe authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge branch 'pr/1125' into pr/1126

83317c828840f433595b33cef7e1c2346d1784cd authored about 9 years ago by Evan Czaplicki <[email protected]>

Expected output tests for Debug.crash.

d7c2354b35f099853241100baa2c2352a4569560 authored about 9 years ago by Laszlo Pandy <[email protected]>

Merge pull request #1133 from elm-lang/pr/1129

Make error message more demanding

b748549f5bde6f0da42a7fbbe24cad28ad1dd296 authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge branch 'master' into pr/1129

3c71ce84dac17ffe7cdbcfc1123b45acbdb282a0 authored about 9 years ago by Evan Czaplicki <[email protected]>

Make the error message more demanding

5382c9db80aca4d917fcb6d4f68b131bbb27c295 authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1131 from elm-lang/dev

Add hints for incomplete pattern matches

30c4b9bf1cab35eee3d276b91714863b9c57b656 authored about 9 years ago by Evan Czaplicki <[email protected]>

Add hints for incomplete pattern matches

e6d02c5fe2e29d6689e08ebce71dc57361e238cb authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1130 from elm-lang/dev

Merge in online hints for annotations and recursive aliases

be1239a23a757d89420ec563d6b4e46a8ecedfdb authored about 9 years ago by Evan Czaplicki <[email protected]>

Add full hints for recursive type aliases

Show a typical example and a few ways to represent it.

44b86a1545a2392669d0750c343ff4df2c39e6dd authored about 9 years ago by Evan Czaplicki <[email protected]>

Improve hints for "rigid type variables"

Always call things “user-defined type variables” instead of “rigid type
variables”

Try to be mo...

90dc847a374a1d9f256594f9ce5a9ef38aadb32c authored about 9 years ago by Evan Czaplicki <[email protected]>

tell users which repo they should report an error to

095205a52b4d4e78efa06e20b64ea3da72f7fccc authored about 9 years ago by Janis Voigtländer <[email protected]>

Add good compiler test for issue #894.

bbf5471c4c5ec896b9a3c574b0b470976e072373 authored about 9 years ago by Laszlo Pandy <[email protected]>

Add good compiler test for issue #1115.

351ac4d0f6bc47b51a4bd76fd58a725eed22a8a9 authored about 9 years ago by Laszlo Pandy <[email protected]>

Flip some constraints around to match how they are displayed

Unclear if these constraints ever do get displayed though.

55c10995cfe8e753edc09054230f4b84165df746 authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1118 from elm-lang/dev

Add Debug to default imports, fix #1107 and get Debug.crash working again

b1b8b2ee7d3534d0294691c8ee961bd31832c821 authored about 9 years ago by Evan Czaplicki <[email protected]>

Properly display the "problematic value" for case-branches with crashes

1c20cb31226991251ac83ad278af3169c92bef02 authored about 9 years ago by Evan Czaplicki <[email protected]>

Provide Debug.crash with module names

c64aa8ec9101957c454e23c1263846cf65ecb13a authored about 9 years ago by Evan Czaplicki <[email protected]>

Add Debug to default imports

bda1dc971ae23008ad95d647e1e010effba8377a authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1116 from elm-lang/dev

Get full region for lambda expressions

ae57b32f5f4085390ddca4989c43cd06218380b1 authored about 9 years ago by Evan Czaplicki <[email protected]>

Fix #1115, handle nested aliases in patterns

Though I hope folks don’t write code like this…

8e15f96ebfb35dd7df5ba15eac0394735dbdd7d6 authored about 9 years ago by Evan Czaplicki <[email protected]>

Get full region for lambda expressions

769faec44f107e53bf0a016776c4d9c7dd453223 authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1114 from elm-lang/type-fixes

Revamp unification and error messages

8bc9edd18b06eaead4e5acb805bd2e2e5d72bf2e authored about 9 years ago by Evan Czaplicki <[email protected]>

Error out the whole type on unification errors, avoiding cascading errors

b90883efac6f05f33ce29b2a19f4af425c2dd031 authored about 9 years ago by Evan Czaplicki <[email protected]>

Add hint about how 1st argument can mess up Nth argument in functions

4c43154858e2f4e4a388c316e4d7e320ddba87ed authored about 9 years ago by Evan Czaplicki <[email protected]>

Skip parens within tuples

e6b3f452a903f0f245d5cc1c86ec7da4ed380ed9 authored about 9 years ago by Evan Czaplicki <[email protected]>

Only merge if all the subparts match, otherwise type diff messes up

9c1239a7d81fb91c0a10d7e19b1a259a641b6c6c authored about 9 years ago by Evan Czaplicki <[email protected]>

get correct regions for infix ops and tuples

acedd9cd41d0248470fab8c3dd77cdeac3a5c5cb authored about 9 years ago by Evan Czaplicki <[email protected]>

Add hints for right binop problems

Provide a little hint about how the left and right sides of a binop can
mess with each other, so...

84fcd5bec4d37a3a89f72cd905e8abc15ae6699e authored about 9 years ago by Evan Czaplicki <[email protected]>

Fix bug in AST.Type.collectLambdas of dropping result type

3d9e219c5787f09b335e4b6a77fa6a77621f3cd4 authored about 9 years ago by Evan Czaplicki <[email protected]>

Track expected/actual for error reasons

ef59dd0cdda10cfa0c2558ff990333819f271bb3 authored about 9 years ago by Evan Czaplicki <[email protected]>

Fix typo vetting such that some typos must be detected

e83bdc38f419e5512e2a560db7e34a04bc265914 authored about 9 years ago by Evan Czaplicki <[email protected]>

Tag mismatches between ints and floats

8ad4c7081185214cbe7e662a02c0cef2888e0aaf authored about 9 years ago by Evan Czaplicki <[email protected]>

Get the correct region for infix ops as functions

c2b65bc3b4577b8f71887b55c3f0b03f1775c4ad authored about 9 years ago by Evan Czaplicki <[email protected]>

Move typo-finders & add parens in rendered types

8759d1693861107351bd23709fd8caf8a2547fff authored about 9 years ago by Evan Czaplicki <[email protected]>

Make error message a bit nicer when there is only one argument

Used to say “The 1st argument to `sort`” which implied there is a 2nd
or something. Now it says ...

780ee73c0f4502d231940f8aa76bf909c37a247c authored about 9 years ago by Evan Czaplicki <[email protected]>

Don't provide an "elide" option

407cbc83c75e1932201b634e59b59a5c7d9ff2b2 authored about 9 years ago by Evan Czaplicki <[email protected]>

Give hints for mismatches with rigid and super variables

20b254c2781620d6ac7efdfaed33b7a47cf42df5 authored about 9 years ago by Evan Czaplicki <[email protected]>

Actually draw a loop for mutually recursive type aliases

b0e91a488148ba2bbea53bf2be86053b76d83b9c authored about 9 years ago by Evan Czaplicki <[email protected]>

Update test for how tuple types print out in the latest version

I’m not sure how to conditionally get the leading comma style otherwise
unfortunately

262a29386b5932631379f73ac1822822878e4c0b authored about 9 years ago by Evan Czaplicki <[email protected]>

cosmetic: change whitespace a bit

95b4c4ddf4ee77090900542ca9de73f780c51bf7 authored about 9 years ago by Evan Czaplicki <[email protected]>

Add some additional whitespace to output

32856942778927fcbef98cf6ea43cb92e4584587 authored about 9 years ago by Evan Czaplicki <[email protected]>

Detect record field typos and make hints prettier

66fb7ee4db99a38ad5719a46bebb169023300f03 authored about 9 years ago by Evan Czaplicki <[email protected]>

Switch Reports to use Docs for pre and post hints

This means we can put all sorts of visual helpers (like colors)
anywhere we want in a hint.

Thi...

656bfb74c40c7b29b749a0c2da39e2083a1d5226 authored about 9 years ago by Evan Czaplicki <[email protected]>

cosmetic: add whitespace restrict imports

55ba05f3525537c2020dd6c61c4bd35aa6029013 authored about 9 years ago by Evan Czaplicki <[email protected]>

cosmetic: remove unnecessary imports

cde2b4aef5bfb6f951ebda658ff4f3de54f77611 authored about 9 years ago by Evan Czaplicki <[email protected]>

Implement a type renderer with diffing and colors

e828e6efd42c6704421cce8f4f3eefc317471088 authored about 9 years ago by Evan Czaplicki <[email protected]>

Remove dead code, only collect canonical lambdas

037bd143a1e227340fd43f45120b8c9a30109b11 authored about 9 years ago by Evan Czaplicki <[email protected]>

cosmetic: add some whitespace

2b52f51d83ea7a4755013b32767246f8d226f784 authored about 9 years ago by Evan Czaplicki <[email protected]>

Get rid of Show and Pretty instances for AST types

The only visualization that is necessary for users is of types, and
that is moving to Reporting....

74db13f2dddfc9a5b9c0a228137b1f96b2447445 authored about 9 years ago by Evan Czaplicki <[email protected]>

Improve error message when there are unhanded literals in a pattern

cd62e8100482d99d0b087d113dac3293058e972b authored about 9 years ago by Evan Czaplicki <[email protected]>

Begin improving error messages

- Display entire types, not just the parts that do not match
- Start towards displaying type dif...

829e07fc12b071286ed74d91e4f4f1579d68508d authored about 9 years ago by Evan Czaplicki <[email protected]>

Better model of types in Type.Type

- Get rid of pretty printing for Type.Type
- Stop modeling records with overlapping fields in Ty...

a28acb21900535f3229e7ef924856b70298870c5 authored about 9 years ago by Evan Czaplicki <[email protected]>

Add AST.Type.iteratedDealias

3821d9adcfd9af6a35756d18bf8e1aca7a578f4d authored about 9 years ago by Evan Czaplicki <[email protected]>

cosmetic: stop using `go` intermediary

54dfb21a3c82fb7ad1281e62762524f6862696ad authored about 9 years ago by Evan Czaplicki <[email protected]>

cosmetic: break up Type.Unify.combinedDescriptors

0a16ca828bb0f817a7e3069d2857e243c7ce0ba3 authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1108 from elm-lang/fix-comparable-appendable-unification

Fix #880, unify comparable and appendable types

5a1caab9edd49f600c48d59b4db96322a3eb9a79 authored about 9 years ago by Evan Czaplicki <[email protected]>

Fix #880, unify comparable and appendable types

8aec0743c47cec87292f50d72a6abf3317ec78ac authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1105 from elm-lang/fix-tco-labels

Fix tco labels

822e1643132fb42b56042394891f6b7f92eafc99 authored about 9 years ago by Evan Czaplicki <[email protected]>

Add test for bad labels as reported in #1104

5df07213889cbab0e07d8ba6c1b4e05850e41f47 authored about 9 years ago by Evan Czaplicki <[email protected]>

Fix #1104, escape labels in tail recursive functions properly

f2a40cccfacd38cb13faef537aed0ce985b9b767 authored about 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1102 from elm-lang/dev

Use lower case in dummyName to match elm-package

ec82140328481a7cda4b05af8c924bb69f01703c authored about 9 years ago by Evan Czaplicki <[email protected]>

Use lower case in dummyName to match elm-package

d17243ba242768f693772042aba1789a55ee174b authored over 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1101 from elm-lang/whitespace-fixes

Whitespace fixes

c8fe5c5b7437fe207d85e50fb9dff06212cc94b1 authored over 9 years ago by Evan Czaplicki <[email protected]>

Get rid of warnings

f45e2610dea103065f142830d14a6a20444ba33b authored over 9 years ago by Evan Czaplicki <[email protected]>

Handle whitespace before EOF properly

e721f2fccbfdcd296c4db56e56dbe6090bb0dfc9 authored over 9 years ago by Evan Czaplicki <[email protected]>

less backtracking and better errors for `freshLine`

c376ed6a66c5f620d8ba04a3d84fbdb5805f14f5 authored over 9 years ago by Evan Czaplicki <[email protected]>

Fix #1099, less backtracking and better errors for forcedWS

27e0add22faf53b2287407dc5b532313dc9c9f8b authored over 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1098 from elm-lang/old-benchmarks

Check in old benchmark files so we can race 0.15 and 0.16

2521c5e9c03c89354bb0773bdd0bfb3e197b9d32 authored over 9 years ago by Evan Czaplicki <[email protected]>

Merge branch 'master' into old-benchmarks

beca44732ee069a94ccbf7500373a39a34842eff authored over 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1097 from elm-lang/dev

minor renaming, make decision tree builder simpler

7ac6c56240b287bb8a4de0bd7946509ecfbaf3b0 authored over 9 years ago by Evan Czaplicki <[email protected]>

Check in old benchmark files so we can race 0.15 and 0.16

2654c5e0099c0716e57fa01919a41d24b9d7d519 authored over 9 years ago by Evan Czaplicki <[email protected]>

Get rid of unneeded import

045942df3f6e07e45650118500a0120c16b14a2a authored over 9 years ago by Evan Czaplicki <[email protected]>

No fallback if the decision tree tests are complete

Because we know these decision trees do not have any fall through, the
last test is always skipp...

831e1ad88618ddfd366251594c3e0396fe035200 authored over 9 years ago by Evan Czaplicki <[email protected]>

Rename Optimize modules about cases and decision trees

e303fba1f71b5d2c82976823436c8b4c0430600b authored over 9 years ago by Evan Czaplicki <[email protected]>

Merge branch 'master' into dev

317d3b876e564d7b6b37558112b8b5d521b6eb16 authored over 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1095 from elm-lang/pr/1093

add tests for recent inlining fixes

943b78719fddffaa2672069f09b369738205462c authored over 9 years ago by Evan Czaplicki <[email protected]>

Add test for #1090

bc71d832e7d49e6268c5d63bfdcdf175b7d63701 authored over 9 years ago by Evan Czaplicki <[email protected]>

Add some more explanation to @laszlopandy's addition from #1086

05a0c164c93e080e0172e8c27eb05a48d5c7964e authored over 9 years ago by Evan Czaplicki <[email protected]>

Reorganize test files so it is easier to find stuff

176fac8378bdbda7cfab3245eb8b71d27d639d97 authored over 9 years ago by Evan Czaplicki <[email protected]>

Add expected output test for variable shadowing.

7a3a4474f67ea28cee28d2f3a3ed1435b422c700 authored over 9 years ago by Laszlo Pandy <[email protected]>

Merge pull request #1092 from elm-lang/inline-to-fix-shadowing

Inline to fix shadowing

24e16db1eabebb411229083b80cf9f242535abc2 authored over 9 years ago by Evan Czaplicki <[email protected]>

Update tests for new pattern matching code gen

ebcab43aa7501201fcf968a3009df93819b29f38 authored over 9 years ago by Evan Czaplicki <[email protected]>

Use unique names for all pattern vars, inline when there's only 1 occurrence

Fix #1086 and fix #1090

81566e2f5bba2177e4caf94fa6f42334cbadce78 authored over 9 years ago by Evan Czaplicki <[email protected]>

Do not bother tracking substitutions in decision tree

This is only really necessary if you have “shared” patterns like in
OCaml

ac43b4c5b841f2c3ed4f34545d28a57cacfb3d4d authored over 9 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1089 from elm-lang/dev

update benchmarks, fix a bug

59087d94b798db6ae8a44ae47cb798eb37fba9ab authored over 9 years ago by Evan Czaplicki <[email protected]>

Fix #1088, record constructors only exist for closed records

2667e18214a66f7ba2795d49499c616e90285dea authored over 9 years ago by Evan Czaplicki <[email protected]>

Add checkboxes example

84bfb4ea9ae2407a1915737599dd9ca20d9a8f4a authored over 9 years ago by Evan Czaplicki <[email protected]>

Add benchmarks for let and case expressions

d814a8a41cb3721a1009f57128ec02ac2e428128 authored over 9 years ago by Evan Czaplicki <[email protected]>

Ecosyste.ms: OpenCollective

github.com/elm-tooling/elm-compiler-library