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

Add back redundancy check

Also make the error message for redundant patterns a bit nicer

626b319244841b7699270e543b15177469213967 authored about 8 years ago by Evan Czaplicki <[email protected]>

Introduce faster exhaustiveness checker

It is not totally finished, but it is significantly faster for now.

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

Add cost centers for canonicalization and nitpicking

Though it seems these are pretty cheap!

6d518a627def1813c0ebf1c1990a24806a21c7cd authored about 8 years ago by Evan Czaplicki <[email protected]>

Restore parsers for string and char literals

Nicer error messages when using single quotes for strings.

6a13d3e074d8948bc62029a8c2b127bb33605446 authored about 8 years ago by Evan Czaplicki <[email protected]>

Attempt to speed up the parsing phase

- Remove dependency on indents package. Track state in ParsecT directly.
- Create separate ASTs ...

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

Clean up Parse/ code a little bit

- Make exports from Parse.Helpers explicit
- Move str, chr, and shader to Parse.Literal
- Prefer...

0d7f3049ae4267965b017bee36530a9af601e38d authored about 8 years ago by Evan Czaplicki <[email protected]>

Remove dead code in Reporting.Error.Canonicalize

0fb09782b9965c0c9f13918a31d55a85121d7de6 authored about 8 years ago by Evan Czaplicki <[email protected]>

Switch to SCC names that are easier to filter

As discussed in #1447

02032d860767d12cccc1cdf9c14ea31eeff841e1 authored about 8 years ago by Evan Czaplicki <[email protected]>

Add SCC annotations for compiler profiling / benchmarking.

91f35471e4c33121e8e3e597aa279064b822e707 authored about 8 years ago by Justin Manley <[email protected]>

Stop removing primes from variable names

We do not have those anymore

0685df09bd0b97934d4c487c9269df74bd8f24b4 authored about 8 years ago by Evan Czaplicki <[email protected]>

Add String and Tuple as default imports

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

Fix #1517, make it read smoother without comment

It actually was intended, but I agree that it wasn’t so smooth to read.

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

Fix two typos in bad-recursion.md hints

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

Improve the "bad recursion" error messages

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

Check in hints for bad recursion error

1832e701a5f2d0f06675ecea2ce8c49c8e0cd7c3 authored about 8 years ago by Evan Czaplicki <[email protected]>

Say the operator name in RHS type errors

Doing the suggestion from
https://github.com/elm-lang/error-message-catalog/issues/155

704f7265b86f20180cb95e61344dc74f929b88cb authored about 8 years ago by Evan Czaplicki <[email protected]>

Show nice name when there's a problem with tuple patterns

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

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

Merge pull request #1513 from benansell/typo_fix

Fixes typo in fail message: singe -> single

1ed20ac82fbc87b5dc65413b974af8949179956e authored about 8 years ago by Evan Czaplicki <[email protected]>

Merge branch 'master' into typo_fix

30321eb9afcd83912ec86a21a4a95cb53bcfe8d3 authored about 8 years ago by Ben Ansell <[email protected]>

Fixes typo in fail message: singe -> single

4586dfea7acfea17f2c633dca98b0e94e873b135 authored about 8 years ago by bja <[email protected]>

Fix https://github.com/elm-lang/elm-reactor/issues/209

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

Merge pull request #1511 from elm-lang/fix-typo

Fix typo

5c20935869e39d933924ecc3967ca9fa0033a19e authored about 8 years ago by Evan Czaplicki <[email protected]>

Fix typo.

8a2628dcc41ec8d9d2bf71187e27064376a4c817 authored about 8 years ago by Richard Feldman <[email protected]>

Merge pull request #1508 from elm-lang/ports-url

Link directly to #ports section for ports hint

323f3680919e09eabfeb3c58b1077ad0d4efc8ce authored about 8 years ago by Evan Czaplicki <[email protected]>

Link directly to #ports section for ports format.

11697e2015df216b0e837b56030c4fcc01b405e7 authored about 8 years ago by Richard Feldman <[email protected]>

Fix #1506, inlining bit shifts with arguments in the wrong order

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

Remove unused Generate.JavaScript.BuiltIn.nativeList

9635eff62a6416fa4ba56e6c7ab50c7a69da64d2 authored about 8 years ago by Evan Czaplicki <[email protected]>

Inline (::)

02a9c48a984c72da550af9008f9d0aff09d32b48 authored about 8 years ago by Evan Czaplicki <[email protected]>

Generate lists directly, do not go through Native.List.fromArray

Fix https://github.com/elm-lang/elm-make/issues/119

3564de7dc021ce072cd4042ba743050bf8256f85 authored about 8 years ago by Evan Czaplicki <[email protected]>

Generate proper code for (main : Html msg)

36dbf23f9ee63068922500c5853c59d9e7f6d93b authored over 8 years ago by Evan Czaplicki <[email protected]>

Fix decoders for bringing tuples through ports

215251f61aa6d8849f5424fdb948f81779a04d91 authored over 8 years ago by Evan Czaplicki <[email protected]>

Merge branch 'dev'

e9cfb680b1cddc80268ae15262b2389a2a852fc6 authored over 8 years ago by Evan Czaplicki <[email protected]>

Hack to parse old JSON docs with primes

eebfe6a44bba686d4de0a10bf60dd2679f983c26 authored over 8 years ago by Evan Czaplicki <[email protected]>

Suggest that people choose descriptive names

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

Be more aggressive in committing to args in definitions

6de79b8bce49c44716b97600ed0afa91e6697063 authored over 8 years ago by Evan Czaplicki <[email protected]>

Make errors for primes in variables much more precise

cf107f9244f33eb0017a46cc9d4c0c80f71d1f60 authored over 8 years ago by Evan Czaplicki <[email protected]>

Make the definition parser commit more aggressively

0d71129b27685d3d70393bc488cc368b9279e155 authored over 8 years ago by Evan Czaplicki <[email protected]>

Disallow primes in variable names

84711ec0f49370ed7912048ee60d875fda2d4c86 authored over 8 years ago by Evan Czaplicki <[email protected]>

Flip the arguments to Json.Decode.andThen in generated JS

7e6941920ff53abe0113b8061913bf0effdf061f authored over 8 years ago by Evan Czaplicki <[email protected]>

Stop using (:=) in generated JS

849668aa26abf046aa3a6c7bcd740d119de4c27a authored over 8 years ago by Evan Czaplicki <[email protected]>

Bump version to 0.18

524ea0a4567d821091abeabda1e8cd51191b400f authored over 8 years ago by Evan Czaplicki <[email protected]>

Make Bitwise shift names match elm-lang/core

ba244b6173a2a507be6e0ddb4ee14234dcfe469a authored over 8 years ago by Evan Czaplicki <[email protected]>

Update the bitwise op inlining for new names

f71c9d40f0a4e7e53c10b193a58b1f8cd00aae00 authored over 8 years ago by Evan Czaplicki <[email protected]>

Stop exposing defaultImports and do all import adding internally

237243391ccb550e40145b8f74f1318bb91c8871 authored over 8 years ago by Evan Czaplicki <[email protected]>

Fix #873, detect bad recursive values

This will detect any values defined in terms of themselves without any
lambda in the way to dela...

8b484abfb313f2877403b168e4d7229863f20ba1 authored over 8 years ago by Evan Czaplicki <[email protected]>

Inline bitwise operations and Basics.not

Fix #1438 so @mgold and @Skinney can continue their work without doing
a bunch of stuff by hand.

dbc1665a74f8f9a923fef21b462b85355068bf0b authored over 8 years ago by Evan Czaplicki <[email protected]>

Resolve -Wall errors from Type.Solve

c77af538835a28f849631f047c718369db2bdd55 authored over 8 years ago by Evan Czaplicki <[email protected]>

Enable -Wall on Type.Solve

db0d6cdc99532b9941e9386b0052cdc380bc7fc5 authored over 8 years ago by Evan Czaplicki <[email protected]>

Better error messages for bad record accesses

Add Hint specifically about record access. Instead of showing a type
diff, only show the type of...

b17a4f051af5780950b790eb50ecb4093c699ab0 authored over 8 years ago by Evan Czaplicki <[email protected]>

Track region information in canonical defs

This way we can show the whole def and underline the bad return value
in type errors where the a...

a2a2fc0c4cd4e77920449439aa760ea4f4419435 authored over 8 years ago by Evan Czaplicki <[email protected]>

Improve error messages for bad return types (annotation /= def)

dcce9516f2b195bde85a985fd8b7c6b8af73ec1a authored over 8 years ago by Evan Czaplicki <[email protected]>

Make error messages nicer for rigid type variables

e481f004729492fe08e87399ef504bd7b397259e authored over 8 years ago by Evan Czaplicki <[email protected]>

Remove Type.Solve.allDistinct for rigid var uniqueness check

In previous versions this was dead code because rigidQuantifiers was
always an empty list. This ...

4bec0ecfa2e006498277300d38e3cbf0b61e5f73 authored over 8 years ago by Evan Czaplicki <[email protected]>

cosmetic: remove stray newline

a5b21a1e411e23d0d814c91349e76d098d8fb2a0 authored over 8 years ago by Evan Czaplicki <[email protected]>

cosmetic: remove stray newline

f5214d62f917e1596e4102c7f9da92b198b462f6 authored over 8 years ago by Evan Czaplicki <[email protected]>

Do not drop aliases in Reporting.Render.Type

This means (VirtualDom.Node msg) becomes (Html msg) in type error
messages. May have unintended ...

2de786d7ed4283ba50a34d29f66e6cd844a44ec4 authored over 8 years ago by Evan Czaplicki <[email protected]>

Use user-defined type variables whenever possible

942ee24bf8f5c2c3bded2c10bed34c2a6896bef3 authored over 8 years ago by Evan Czaplicki <[email protected]>

Assume arguments match the type annotations

8506ed8361f65d0ed8758a34b475a1ba05175940 authored over 8 years ago by Evan Czaplicki <[email protected]>

Rename Environment to Env in type inferencer

3b23d862387723998dd4351b44894e59654876c1 authored over 8 years ago by Evan Czaplicki <[email protected]>

Move Type.Fragment into Type.Constrain.Pattern

afb08b804d8a2022c66a1e7fa5094be1e293641a authored over 8 years ago by Evan Czaplicki <[email protected]>

cosmetic: move constrainAnnotatedDef below other def code

c3ee8ca9be43ed1a41e38c7828ebef07df35ba03 authored over 8 years ago by Evan Czaplicki <[email protected]>

Revert "Merge pull request #1470 from brianhempel/faster_builds"

This reverts commit 96a4695e4d311e0addd1619db63062c445a55f4b, reversing
changes made to ee39e7ec...

4f5db922692099010a1cc5c987ce3cc536cf0140 authored over 8 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1470 from brianhempel/faster_builds

Speed up exhaustiveness checker

96a4695e4d311e0addd1619db63062c445a55f4b authored over 8 years ago by Evan Czaplicki <[email protected]>

Speed up exhaustiveness checker.

Results in 5x faster builds on our app.

Successive patterns on data constructors like tuples ca...

a3ef05f4970db808dc61b506b5ff12581c83ac8b authored over 8 years ago by Brian Hempel <[email protected]>

Only generate message types for now

Also fix a field typo in JSON representing union types

7894dacd8cd6e5cf4398325a1627e003a449334a authored over 8 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1463 from jvoigtlaender/patch-2

Fix wrong link in port type error

ee39e7ecdb4fcec4878c875b31bebd1550e78c8c authored over 8 years ago by Evan Czaplicki <[email protected]>

fix wrong link in port type error

24e4c84834f5987b9f9e539995a505d63c633838 authored over 8 years ago by Janis Voigtländer <[email protected]>

Filter out BuiltIn types from transitive program type dependencies

20ab198f8ad63546fcd946b6d70e819de6d9b113 authored over 8 years ago by Evan Czaplicki <[email protected]>

Transitive type deps of program Model and Msg

014d6403aa0e3fee6c139bb7610d7de92952ed58 authored over 8 years ago by Evan Czaplicki <[email protected]>

Do a better job with missing fields

Fixes https://github.com/elm-lang/error-message-catalog/issues/63

8c8e70a5f6937416a750c52232c396fb30a604d7 authored over 8 years ago by Evan Czaplicki <[email protected]>

Improve missing args type diff

Try to unify the arguments after the missing args. This way, if they
match, the type diff will n...

4d800cd4e1a540ba4d9e2b639e05c333c6c71a64 authored over 8 years ago by Evan Czaplicki <[email protected]>

Improve type error for mismatched entries in list literal

Fixes https://github.com/elm-lang/error-message-catalog/issues/90 in
combination with the
https:...

267f708a435724fabe531ff116250d08033da5b1 authored over 8 years ago by Evan Czaplicki <[email protected]>

Make hinting aware of position in record

See https://github.com/elm-lang/error-message-catalog/issues/131 for
examples of the results. Th...

d5f706f831b447da94608f2f5b118a62e4a987e3 authored over 8 years ago by Evan Czaplicki <[email protected]>

Better errors for large record types

Before, we just went until any field caused a problem. If it was an
early field, there may be 10...

dd084ff95777191db4079ccb5921f829fc007948 authored over 8 years ago by Evan Czaplicki <[email protected]>

Emphasize missing arguments better in type diffs

ecd68b332019f0e8c29aab89ddf9e835ca07e721 authored over 8 years ago by Evan Czaplicki <[email protected]>

Do not use the term "arguments" in binary operator errors

5bf3d0cba6f31b4084b87473f229fd3244b3ac1c authored over 8 years ago by Evan Czaplicki <[email protected]>

Provide hint for "not enough args"

22bbeaefc56567ca6a66cb7dc03e4f25eacc2151 authored over 8 years ago by Evan Czaplicki <[email protected]>

Capture result of guardedUnify more clearly

d00bed91b0adb5d29ec80888bc58dee5dd62b4bf authored over 8 years ago by Evan Czaplicki <[email protected]>

Don't track exactly the part that is mismatched

This is unneeded as of type-diffs

1038b753127f909838cb8309fc5b947bdce85b38 authored over 8 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1458 from jvoigtlaender/patch-2

Add #1240 to issue template

4b032e5e36ecf79606ce348c4c3fb700fccd00a0 authored over 8 years ago by Evan Czaplicki <[email protected]>

add #1240 to issue template

c8eeb8dad2b2ae2cfcc58d0d4ce841bc3d8f29a6 authored over 8 years ago by Janis Voigtländer <[email protected]>

Add message on = and : for when you indented a definition wrong

094830d89a20f2084d0169c8d835cacb2accd5a7 authored over 8 years ago by Evan Czaplicki <[email protected]>

Make error messages nicer for single-quoted strings

707bea1152d1a632b7f654cbafa385f9b13a370c authored over 8 years ago by Evan Czaplicki <[email protected]>

Nicer error when using = | : -> as infix ops

816a476e3b9c5cb30d200192b8f3f01009608524 authored over 8 years ago by Evan Czaplicki <[email protected]>

cosmetic: switch from <|> to choice [...]

e212b9701b7d485f80f5e5d1c3e61779f360332f authored over 8 years ago by Evan Czaplicki <[email protected]>

Rule out backtick as a symbol in AST.Helpers

It should never count as a symbol under any circumstances. No reason to
special case.

a41b661242b0a749543e783331e002def40afb37 authored over 8 years ago by Evan Czaplicki <[email protected]>

Remove [1..5] syntax in favor of List.range

The theory is, if you want a range, what do you search for? If you see
[1..5] in the wild, how d...

0d2c5a2233e9c11db0384d8fc096036767eb3b9b authored over 8 years ago by Evan Czaplicki <[email protected]>

Move operator parser infixOp into Parser.Binop

bb54ad6fd16e693087cc227e4a093806b0ba6f02 authored over 8 years ago by Evan Czaplicki <[email protected]>

Remove backtick-infix syntax

As of 0.17.1 you can write things like (this `andThen` that) where the
backticks allow you to ma...

7a2e15fdfd346630fe84add117b4ef521471cd93 authored over 8 years ago by Evan Czaplicki <[email protected]>

cosmetic: switch from `fmap` to <$>

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

cosmetic: add vertical whitespace

aae0428f3e897dea0d532dd81397121507c10128 authored over 8 years ago by Evan Czaplicki <[email protected]>

Nitpick new Program type

59307fa701536467b7e9a536c279286c5fa9b6f4 authored over 8 years ago by Evan Czaplicki <[email protected]>

Use fewer words

a778069725126bf6f2ec64344b891f9fc2cb1f79 authored over 8 years ago by Evan Czaplicki <[email protected]>

Merge pull request #1448 from rafikdraoui/missing-patterns-update

Remove references to `(?)` and `unsafe` in missing patterns hints

bdf73514bdec469b0d736f11cff340fd5dd397b4 authored over 8 years ago by Evan Czaplicki <[email protected]>

Remove references to `(?)` and `unsafe` in missing patterns hints

The corresponding issues (elm-lang/core#216 and elm-lang/core#215) have been
closed.

5b5230c24d1bbf10a67a15a16ecd9fdb90b0d88a authored over 8 years ago by Rafik Draoui <[email protected]>

Rephrase 'bad type annotation' error message to focus on the implementation.

505bafcb6a73d7ba26ef5ab84e67b0ef7ff92a58 authored over 8 years ago by Richard Feldman <[email protected]>

Merge pull request #1442 from rtfeldman/qualifier-error-message

Express unknown qualifier in terms of modules

49eed34f81095dbe24cdfb9ac4bbbdd5af39c78f authored over 8 years ago by Evan Czaplicki <[email protected]>

Rephrased per @jvoiglaender's comment.

7469b1820048b40555b970cfdc80194f2b954da8 authored over 8 years ago by Richard Feldman <[email protected]>

Express unknown qualifier in terms of modules.

a26722e08272832cf16ff343a60e518608364fbe authored over 8 years ago by Richard Feldman <[email protected]>

Merge pull request #1441 from elm-lang/evancz-patch-1

Trim down text in issue_template

98f3d695288d9b05954b25c9e8439a9907a8e4ef authored over 8 years ago by Evan Czaplicki <[email protected]>

Ecosyste.ms: OpenCollective

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