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

Get all of the Haskell files compiling with the new type checker.

Does not actually work, undefined is used in some places as a
stopgap measure.

cb914d91ffcd2612c321b9c33864ceb8dfb7ab24 authored over 11 years ago

Add Max's server changes to the changelog.

abaa76943e4c52e52278da41160f8810eaf1c5d0 authored over 11 years ago

Improve quality of error messages.

ca77056fc93b54db7be5c5b932c93b81f711e41b authored over 11 years ago

Add dependency on ansi-terminal for colorful results.

d3bd23866345d81c4756bf477495e0b8ded3e58e authored over 11 years ago

Get type inference working in the basic case. Begin working on

printing errors in a prettier way.

b5887f41c963aa3ea4689f20c7d3eb29fd163ae7 authored over 11 years ago

Make pretty printing properly parenthesize higher order functions.

Not the best implementation, but it is simple and works well.

f87e316847077d1689e023283431aad901645a15 authored over 11 years ago

Get the solver working on basic programs. It outputs pretty types for the

variables in the program. Need to test further and start doing some benchmarking.

497d478d26993908503fd42f9406ed6ed4c8c08a authored over 11 years ago

Create type pools, have an organized model of state to flow through

the State Transformer during constraint solving and variable unification.

ca62ee64a9fb827953b3a8affd5d56e33b47834f authored over 11 years ago

Update changelog for pretty printing

0b2b98db65a4e4d194ddc5a907634388e651f849 authored over 11 years ago

Create a Type.Pool module specifically for variable pools. Start using

a state transformer to thread the pool and errors through.

4c51159f2ad24ab411f465de32b686082b48eb11 authored over 11 years ago

Start adding constraint generation for declarations.

2ef18826dedf19a258895c30e9a2360bba389fb1 authored over 11 years ago

Remove the old type-checker code.

5cc99f5542eb2acfec03210b8e27da406ccb4281 authored over 11 years ago

Add pretty printing for type constraints.

Convert source-syntax types into type-checker types and print them
with pretty type variables.

...

0ed72056b6de32d62a03ca6ca192dffba500fb4f authored over 11 years ago

Update program parser to use Parse.Declarations

96fd5bfd78156b498d81b8277e2621f6d9111505 authored over 11 years ago

Create a Parse.Declaration file for all declarations. Get rid of special

purpose Parse.Foreign library.

d29ca3beeb1854ae879637e91b93516b05ed2b8b authored over 11 years ago

Create a source syntax for types that will get converted into the internal type representation during type checking.

e4ca96731d5d852cd62d65438330a9aaba3429ee authored over 11 years ago

Start using the PrettyPrint library to show expressions, literals, and patterns.

f2b3ed7027422b479821124cca22bd18479d3740 authored over 11 years ago

Get Optimize.hs updated for the newer AST.

078692ad8cc73e7df282f7811e7743972123642e authored over 11 years ago

Move the Environment.hs and Fragment.hs files down a directory.

b87b84556c3be0f62473140ba0b20eae1564c0b0 authored over 11 years ago

Continue getting the new type-checker in order.

ca8441ff2f15339b663932d85e932a2b66a4f23e authored over 11 years ago

Switch more files over to new Expressions

947b82ed095afac4ac7a393a693b5c3b5b8a0ac0 authored over 11 years ago

Convert more files to the new Expression format that relies more on

patterns. Seems to clean things up so far.

Also, begin adding a module that resorts definitions ...

5c68f6bb7301182265b7d6f53ceaac51308d06ba authored over 11 years ago

Start switching over to an AST that uses patterns in lambdas and

pulls the arguments out of Definitions (placing them in lambdas).

69ed7631fed88b356db92ebd866052c892fcfcbb authored over 11 years ago

Start generating constraints for let-expressions. Account for mutual recursion,

but will throw a runtime error if a user has given type annotations.

351c33c4861331a79222c50425602a2b2fae1b90 authored over 11 years ago

Start writing a new type checker based on the ATAPL chapter on efficient type-inference.

cdb63bd8d15b9e5f980b395853818edfeea1d123 authored over 11 years ago

Fix optimization bug with > sign.

74d3c35131d5fcfc7a51dabad04eedf7e6bb8a41 authored over 11 years ago

Merge branch 'dev' of https://github.com/evancz/Elm into dev

60de9158242fbc9f8c16a9c4c7ec0af08093e570 authored over 11 years ago

Fix substitutions for ExplicitList.

d700acfeac04a4185f2acc9c82fed4f5be524ec0 authored over 11 years ago

Merge pull request #184 from A1kmm/dont-print-constraints-during-unify

Don't print constraints during unify

f32390c2993f2575d896f25baf7d56b0a24a768d authored over 11 years ago

Also fix merge to remove extra newline

89cecdbe5445eb6a7708a631e6d1023f970290b8 authored over 11 years ago

Fix up previous merge

57d108421dcc70bc7669a19b6bc320bdf504b5e9 authored over 11 years ago

Turn off debug code that printed all constraints during unify.

This debug code is very noisy and makes it hard to test the dev
branch because you can't see war...

1b4aca9685aa47749b06fbd944a6358d3e65f708 authored over 11 years ago

Merge branch 'dev' of github.com:/A1kmm/Elm into dev

a2e9bef5fb1b8a396620c046fb53ed3d1b2ab011 authored over 11 years ago

update changelog

25671f524df6fbd839a4f50b0c6e2ba9fcc00200 authored over 11 years ago

Add support for triple-quoted multi-line strings

9d68c10683b3dfa394637fd390d7a50e5ceb8be6 authored over 11 years ago

Add missing dependencies to Elm.cabal.

d91419d4f5d229e97c7f35dbe285e5b633005870 authored over 11 years ago

Merge branch 'dev' of git+ssh://github.com/A1kmm/Elm into dev

8705c28e6cfb1114d7a843ac27fb240ba2cdf37a authored over 11 years ago

Fix some style weirdness in Setup.hs

e63b12d0360047b46a32475f159113b0058e22f8 authored over 11 years ago

Add Parse.Literal to the Elm.cabal file

88e8f8102a3a0093eb31e9eb6335ff57491642a6 authored over 11 years ago

Add missing other-modules entry Parse.Literal

d3b88f8b1ae658d08dbcd0a7b27e81f0d0408435 authored over 11 years ago

Fix bugs in Automaton discovered by Jeff

5c1089a77bcb74e0527365f412d32cba110fae7e authored over 11 years ago

Update changelog

0d41af842120eb89230c1623c751050098375165 authored over 11 years ago

Switch to using px to set text height instead of em.

340c2e7efa583238fb0b0fa39b626343ae1ca8ab authored over 11 years ago

Fix pattern matching aliases so that it works in all cases. Previously it was totally broken.

da9c49338a42ebd36cf1252a2bc13e9104e316bf authored over 11 years ago

Add two dummy files to make it possible to build the compiler from

within emacs. This makes it faster to type-check things and start
testing functions.

cee9f6a9d99585e257855c3ad093ee83d4d43ad9 authored over 11 years ago

Update the change log

48e7584e950a2c9277c614b7a2d00222fe3f3a9e authored over 11 years ago

Add support for pattern matching on literals.

e80ea9e43025e4fdfa09ed778b693c6f1fdc39e8 authored over 11 years ago

Switch to using (Map String String) instead of (String -> String) as the environment.

c158155bdf182e68411b004105d6824f93d46d5c authored over 11 years ago

Clean up Transform/Replace.hs. Switch the environment from a (String -> String) to a (Map String String).

98eceb5496381531e9006ff6e66caa53a3ea3bb7 authored over 11 years ago

Allow full expressions as the last member of binary expressions (t + t + e)

cd83c4c8edc505fc5fd641276e62ea0200ec94d1 authored over 11 years ago

Fix the confusion with "Cons" and "Nil" in issue #176.

Also add the ExplicitList expression.

9a40249e05f076a75f99603d07e88de475d45b61 authored over 11 years ago

Add file

4a6032f2395b8cd4e2c5299cf54f44b5c4dd3189 authored over 11 years ago

Merge pull request #175 from madscoaducom/master

Found to '$' replace with '<|'

ec12925eada022ec8d2371f548e7ba99ba16f239 authored over 11 years ago

Replace two '$' with '<|'

df667ca0227e2043817e8fd4408575b8e1cf4e23 authored over 11 years ago

Allow collages to get property updates, such as opacity and links.

d0c634f16f04177d63c8721a4f37472393d97e64 authored over 11 years ago

Stop a bunch of keyboard signals from firing too many events.

13dacfd8f9d379073395098cac583afd6e9987cd authored over 11 years ago

Add `hoverable` and `hoverables`

afacd1b8584866a920a74300621587c0647ff34e authored over 11 years ago

Add an experimental API for dev tools.

316cd1d0ee7178b997e0d6968f10e3080d039f40 authored over 11 years ago

Solve a "non-exhaustive pattern match"

a9de2342dcf43050823d65838712e74af08d899b authored over 11 years ago

Finish parameterizing the AST and properly check errors in let expressions.

35981eb42fd34111af4d2eed00d455a45dda1118 authored over 11 years ago

add filepath to docs dependencies

5e7be20d6de600b5c12a38d205f5c855270fd2e1 authored over 11 years ago

Get the whole compiler building again.

d7dcf5a9e804156feda9294e317ac070ba129da5 authored over 11 years ago

Continue reorganizing the code-base.

Remove uses of uniplate, introduces a regression in testing the ordering of Defs in let-expressi...

721ce4f1921d4d0fd04156790adbed87662b8f98 authored over 11 years ago

Rename Model/ to Metadata/ because it now only holds info about the types of library functions.

272ecc67fd6ec0b78e1c3be67d245ae4b2a4d8cf authored over 11 years ago

Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer.

c7dce081939216151d08e4d2b170afc03fcc59c8 authored over 11 years ago

Switch parsers over to new AST

459cf8ec7359e02c913a7014f014cf84d311c0b3 authored over 11 years ago

Begin getting the parser to match the new SourceSyntax modules.

339ad77c46c94f2fc28cd2ab2ebe4500d70a15d9 authored over 11 years ago

Begin migrating the AST to its own branch for the source syntax of the language.

bbb2b2a14ffe6947a7142221b9d8aba85867da18 authored over 11 years ago

Switch to using MultiIf for all if expressions. Simplifies AST.

73317ed123a557165ff286157c08a1fadfe4372e authored over 11 years ago

Add some notes about changes so far.

0758ebf27cb1b39b23917b20d745139032168d14 authored over 11 years ago

Merge branch 'dev' of https://github.com/evancz/Elm into dev

0bee2057d9274a7026ffff2184240257793e9a67 authored over 11 years ago

Ensure that alphas compose when used on groups.

a3801ac6a86a07e7f3cb75627a83f1d533323211 authored over 11 years ago

Properly read alpha value.

85110bb625d6be3f7a31a6654e7c17deab728527 authored over 11 years ago

Add opacity to the collage API

d2a0a0305a3275588941cd760f2efe66a4bb6820 authored over 11 years ago

Merge pull request #171 from madscoaducom/dev

fromRecord (toJS): convert recursively and string handling

955b1fe69b2842c81c0ba4a4d772a7f2f3a75c37 authored over 11 years ago

Fix broken build.

569541e72a3d24afd0b783e27eb9b9c218cd060c authored over 11 years ago

fromRecord (toJS): convert recursively and string handling

f8c6a93ad35ec0d77556fa2bbe0db9dd594cdd33 authored over 11 years ago

Fix bug in setting headers.

776ef7c3f91b3e6b913dbb0fb5810c741cfeae8b authored over 11 years ago

Print out a bunch of extra information about type checking.

6fc30322ce906959b0b7df7aa3abd2a7b77d50cf authored over 11 years ago

Fix bug in setting headers.

3e45d8e9ce001bdb9d48a6e1ba9649665a42df80 authored over 11 years ago

Add type constructor for extensible records.

0d96f822089e90e033b3e69bc2b4a3e51367c784 authored over 11 years ago

Fix issue causing build error.

d629db79c23ea0e87be3f9055e1a1d1e9de7e83e authored over 11 years ago

Switch to only generating elmo files. Turn off the CPP flags in .cabal and remove all generated JS files on each build for now.

6e56df59a59b686bce9774eea3845fd445024b64 authored over 11 years ago

Fix parsing bug in `as` patterns that would fully commit if any spaces were seen.

Also add `as` variables to reported variables in patterns.

28db3846914f04319e01822b5e7f398afbc0ac1d authored over 11 years ago

Merge branch 'master' into dev

Conflicts:
compiler/Model/Ast.hs
compiler/Types/Constrain.hs

989d878ac58089c972d15615c8167c09d2ecf776 authored over 11 years ago

Merge branch 'master' of https://github.com/evancz/Elm

ba5cd880d476b9d2bc6975acba0f3b63d6a3db7f authored over 11 years ago

Only produce elmo files. The aim is to use a layout for object files similar to Go, which has thought very hard about how to make compilation really fast.

951df07b794754ce762da7ad041fa3f9ddc8bc22 authored over 11 years ago

Merge pull request #167 from A1kmm/Support-at-patterns

Support @ patterns as in Haskell

152ad77ebc64ec92ca8940d45cb2a89ccc188485 authored over 11 years ago

Switch from sets of constraints to lists of constraints. This should have a positive performance impact, in that list insertion should be asymptotically faster than set insertion.

ad0f1f1fedf7d3480aceb3a980ffb11b80b5fa54 authored over 11 years ago

Update 'at patterns' to use the as notation per mailing list discussion

f8547cf4bed85d0bda7b6fde89e76be42bb3a22d authored over 11 years ago

Change the Haskell API for compilation to make it easier to see error messages.

1c80966ace3e6ae29f2f13d86264a163659c433c authored over 11 years ago

Support @ patterns as in Haskell

3c71ee1c4d598b33b01661d5ad43afc566080ae9 authored over 11 years ago

Merge branch 'master' of https://github.com/evancz/Elm

44fecefde6c186037da1241c4634b1bb9dc19e88 authored over 11 years ago

Start using the given output-directory

212d19c3e8b4dd924a688e0e305c119f74c25ca0 authored over 11 years ago

Minor code changes to help allow custom infix precedence and associativity.

f5bdb2ca7e3f269d366876558078b3f29dfbfb78 authored over 11 years ago

Merge pull request #165 from A1kmm/let-type-annotations

Support type annotations in let

8d13b0b586b1b23f3e5b1aded919308852d9f6f5 authored over 11 years ago

Start generating elmi and elmo files to permit sharing of types, values, and infix info between modules.

2d1e06b17bbf17021f37a454491e235ee4f792d7 authored over 11 years ago

Merge pull request #166 from laszlopandy/master

Allow elm-server to use a different port than 8000.

40fdee5a85fe6dd6c7aa48aa64a86efa8a6be15d authored over 11 years ago

[elm-server] add --port=... command line option.

c24f04b2432f7e08b3a7c6d7ca336c8ca77f894f authored over 11 years ago

Update README.md

5c6425a840d2ef2b3a89882e1bfe037c9672d9fd authored over 11 years ago

Ecosyste.ms: OpenCollective

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