Elm Tooling commits | Ecosyste.ms: OpenCollective

Properly handle constrained variables when converting from Src.Type to Type.Type

github.com/elm-tooling/elm-compiler-library - 642b1f7fccb3770f7ddbf675e82ec68400293405 authored about 11 years ago by Evan Czaplicki <[email protected]>

Unify any constrained variables with the same super-type

github.com/elm-tooling/elm-compiler-library - 609cc3df96825e59f17a11435f3ddea76a4020f1 authored about 11 years ago by Evan Czaplicki <[email protected]>

Mess with whitespace

github.com/elm-tooling/elm-compiler-library - a05c82f58b1c4926270ef63c99c5f5355f79af55 authored about 11 years ago by Evan Czaplicki <[email protected]>

Add pretty printing for record types

github.com/elm-tooling/elm-compiler-library - d9c1317a2579993b78522260c6af023e2cdd0527 authored about 11 years ago by Evan Czaplicki <[email protected]>

Update to use the "number" type variable

github.com/elm-tooling/elm-compiler-library - 11c1b76e9c5b349cadd544b777ad9c915a41dd0b authored about 11 years ago by Evan Czaplicki <[email protected]>

Update the List library to use the number, comparable, and appendable type variables

github.com/elm-tooling/elm-compiler-library - 067773d601859a717941e09f62766fe72ef1eb23 authored about 11 years ago by Evan Czaplicki <[email protected]>

Fix the type of String literals

github.com/elm-tooling/elm-compiler-library - d059c362d9634b048b678f83529da3d23e385080 authored about 11 years ago by Evan Czaplicki <[email protected]>

Prettier printing for infix functions like `div`

github.com/elm-tooling/elm-compiler-library - abb6dc19f62775a511e703f3b4be25c0cf4b497c authored about 11 years ago by Evan Czaplicki <[email protected]>

Properly unify constrained variables, serious changes here!!!

I also rewrote merge1 and merge2 which are dangerous functions to touch.

github.com/elm-tooling/elm-compiler-library - b6144aeb0750f85109df9154a71166611ca92893 authored about 11 years ago by Evan Czaplicki <[email protected]>

Get rid of unused part of the type error message

github.com/elm-tooling/elm-compiler-library - 856360bd9478aeda07ff0d4ccd2479c1128c08d9 authored about 11 years ago by Evan Czaplicki <[email protected]>

Add definitions for functions that act on numbers and comparables

This will get moved into Elm code eventually

github.com/elm-tooling/elm-compiler-library - 4e7ef5f1777e93f58f20a090db29793f22a145af authored about 11 years ago by Evan Czaplicki <[email protected]>

Overload literal numbers without a decimal point to be either Ints or Floats

github.com/elm-tooling/elm-compiler-library - d456cec5c80580ffc4bbd43cd2dd78a2022d7415 authored about 11 years ago by Evan Czaplicki <[email protected]>

Add support for "number" type which can be either an Int or Float

github.com/elm-tooling/elm-compiler-library - 82ca695dcab510376d2a58c1842a6c157071fdd9 authored about 11 years ago by Evan Czaplicki <[email protected]>

Assume all variables with the "Native." prefix exist and have type "a"

github.com/elm-tooling/elm-compiler-library - 666d9f8ca3c916f1e700b54712068840aa521e04 authored about 11 years ago by Evan Czaplicki <[email protected]>

Add support for `let (==>) = Lambda in …`

github.com/elm-tooling/elm-compiler-library - 2609f5dda7e7f2773225441ef75967445dd93225 authored about 11 years ago by Evan Czaplicki <[email protected]>

Simplify code to check for structural errors

github.com/elm-tooling/elm-compiler-library - 7b90975dadd0badcc3cf77a146aa3fa5231654dd authored about 11 years ago by Evan Czaplicki <[email protected]>

Prettier printing for infix operator definitions

github.com/elm-tooling/elm-compiler-library - 8ffcf9e80ebac239caaa75f7818cbc561b9af987 authored about 11 years ago by Evan Czaplicki <[email protected]>

Fix issue in which patterns could become too general

github.com/elm-tooling/elm-compiler-library - 802be96e5765214f7a5ed1a4e4a9f02d757af734 authored about 11 years ago by Evan Czaplicki <[email protected]>

Fix type constraints for case-expressions

github.com/elm-tooling/elm-compiler-library - 175798f6d2419e2060d7dca6a7a91dc9c07e9ba2 authored about 11 years ago by Evan Czaplicki <[email protected]>

Fix type constraints for PData

Was generating functions based on free type variables, not on the kind
of the constructor.

github.com/elm-tooling/elm-compiler-library - f37e05af5e655e3dcc7b98974623f3ff159f6161 authored about 11 years ago by Evan Czaplicki <[email protected]>

Get patterns to type-check with the value in the case expression

github.com/elm-tooling/elm-compiler-library - d15d84deba93b69f2be24c4a8de6cd561155b965 authored about 11 years ago by Evan Czaplicki <[email protected]>

Make pretty printing for types prettier

github.com/elm-tooling/elm-compiler-library - eaa751d9871c1746ad829f78e768401a6d2071f6 authored about 11 years ago by Evan Czaplicki <[email protected]>

Begin to canonicalize imported values and types

github.com/elm-tooling/elm-compiler-library - 138e99cc810dfef7b84c407b2d6f1d307b24277a authored about 11 years ago by Evan Czaplicki <[email protected]>

Make a type less general

github.com/elm-tooling/elm-compiler-library - eb722a20dc1d7045e18065d415aad3127c5aea1e authored about 11 years ago by Evan Czaplicki <[email protected]>

Add flexible variables for type annotated values

Without this, things are not generalized properly.

github.com/elm-tooling/elm-compiler-library - d9471f6c62611ef2db72b1eb48a7627c3a8ec5a2 authored about 11 years ago by Evan Czaplicki <[email protected]>

Begin parsing types and patterns such as A.B.C

github.com/elm-tooling/elm-compiler-library - 6f94400f2dde92f61f20efc85b3f71c8b5517f66 authored about 11 years ago by Evan Czaplicki <[email protected]>

Make parse errors print more nicely

github.com/elm-tooling/elm-compiler-library - 97bd68a796d4abc7c7604ba1ef0bf0f7ba72a0e9 authored about 11 years ago by Evan Czaplicki <[email protected]>

Make cross-module types aware of user-specified aliases

github.com/elm-tooling/elm-compiler-library - 81522b306a1f44ef94aae67c61eeec5e5934bb52 authored about 11 years ago by Evan Czaplicki <[email protected]>

First draft of cross-module type checking

Currently, all top-level types are imported. No alias resolution
happens so you need to use "imp...

github.com/elm-tooling/elm-compiler-library - c140d690fcde3f511ddc62743531116c2acdb215 authored about 11 years ago by Evan Czaplicki <[email protected]>

Add flag for printing a whole program

github.com/elm-tooling/elm-compiler-library - 4bcde7e7994dcf970aac97e309b863fe9eb90e25 authored about 11 years ago by Evan Czaplicki <[email protected]>

Introduce TypeLibrary alias, a minor cosmetic change

github.com/elm-tooling/elm-compiler-library - 1f8b7bbc985b80fb064c54580608a66d01ea6446 authored about 11 years ago by Evan Czaplicki <[email protected]>

Get things in place to pass Prelude interfaces

github.com/elm-tooling/elm-compiler-library - 0fd1f677a5d99d4479ddef1948b25f37c362ab35 authored about 11 years ago by Evan Czaplicki <[email protected]>

Begin passing module interfaces when compiling dependencies

github.com/elm-tooling/elm-compiler-library - b1dd1574a8af0ccab50ef7b54f2bfd1dcee2638e authored about 11 years ago by Evan Czaplicki <[email protected]>

Create a serializable interface for a module's type information

Also add a flag to print out top-level types

github.com/elm-tooling/elm-compiler-library - 22f7f8a43a969ec8d1d05774a72b3c2fd18098ea authored about 11 years ago by Evan Czaplicki <[email protected]>

add note about (,,) in types

github.com/elm-tooling/elm-compiler-library - 0c14f6e8ecaac395c49cbb7d9c9ec383dc576f49 authored about 11 years ago by Evan Czaplicki <[email protected]>

get rid of unused imports

github.com/elm-tooling/elm-compiler-library - fa11f8e39094731e1d854a80cabc5c9819e27fdc authored about 11 years ago by Evan Czaplicki <[email protected]>

Add support for "(,,) a b c" as a valid type annotation

github.com/elm-tooling/elm-compiler-library - 5cb82c6891b9e3d1a46549fb68dba9ee8d5adde3 authored about 11 years ago by Evan Czaplicki <[email protected]>

Start building a .elmi file that contains the types of all top-level functions

github.com/elm-tooling/elm-compiler-library - 1a4732a43606587ba48e125322d8c6e85d2a27c3 authored about 11 years ago by Evan Czaplicki <[email protected]>

Minor reformatting and removing unused dependencies

github.com/elm-tooling/elm-compiler-library - c9a1cc96f694c13945761ade247fc8ea15d2f486 authored about 11 years ago by Evan Czaplicki <[email protected]>

Improve pretty printing for types

github.com/elm-tooling/elm-compiler-library - 23758290d93f20641f74a948aadda25da407814a authored over 11 years ago by Evan Czaplicki <[email protected]>

Start using Data.Graph to work out dependency problems and other minor tweaks

Print out the saved type environment, and get things working with the
program field in MetadataM...

github.com/elm-tooling/elm-compiler-library - 9592d286bbf4689033054d6b0e0ada89b1e6daff authored over 11 years ago by Evan Czaplicki <[email protected]>

Save the current environment on CSaveEnv

github.com/elm-tooling/elm-compiler-library - ca4502b70a059480ec4057460631641ef08836f3 authored over 11 years ago by Evan Czaplicki <[email protected]>

Switch from [Def t v] to (LExpr t v) for program representation

github.com/elm-tooling/elm-compiler-library - b0f96a2eabce2b0a946676fc567acaf31bf474b8 authored over 11 years ago by Evan Czaplicki <[email protected]>

Stop creating types for ADT's, use Constant and Flexible in the right place

github.com/elm-tooling/elm-compiler-library - 4dc68acd60484caec350905206f8c666462a8df3 authored over 11 years ago by Evan Czaplicki <[email protected]>

Change the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variable

github.com/elm-tooling/elm-compiler-library - 4c0f716aef4006f285c97e460fca4817fbb277af authored over 11 years ago by Evan Czaplicki <[email protected]>

Add CSaveEnv, optimize CAnd, make it prettier

CSaveEnv is a special constraint that indicates that the current
environment should be saved for...

github.com/elm-tooling/elm-compiler-library - 807076ad575ce99f58b163773ec6b7e8b293dd3a authored over 11 years ago by Evan Czaplicki <[email protected]>

Use letters for arguments in adt constructors

github.com/elm-tooling/elm-compiler-library - 648cbd49dd1bb098e0affa9ad3f2500ef59119be authored over 11 years ago by Evan Czaplicki <[email protected]>

Nicer pretty printing and a special variable to "Save the Environment"

github.com/elm-tooling/elm-compiler-library - c942afea6a61aaf2506e417c95da969b5c72bc91 authored over 11 years ago by Evan Czaplicki <[email protected]>

Flatten lets only during JavaScript generation

github.com/elm-tooling/elm-compiler-library - c1aef789ee0e95ad97213e0835b505d75dfc3b6c authored over 11 years ago by Evan Czaplicki <[email protected]>

Print errors more nicely

github.com/elm-tooling/elm-compiler-library - ce652d9a352a9535cb37e5474c8af198398f2793 authored over 11 years ago by Evan Czaplicki <[email protected]>

When creating a named var, allow it to be flexible.

github.com/elm-tooling/elm-compiler-library - 45b43e8757b88dd28ab4ea8371f358e679251cef authored over 11 years ago by Evan Czaplicki <[email protected]>

Make error message in solver slightly more specific

github.com/elm-tooling/elm-compiler-library - 26738907c6571cba14f7bde0bbf2881833cd90c5 authored over 11 years ago by Evan Czaplicki <[email protected]>

Fix bug in generating Def for ADT constructors

Accidentally used the type name instead of the constructor name.

github.com/elm-tooling/elm-compiler-library - b540fb43b0d44bcab4c44f7092dbcf253b00a1b5 authored over 11 years ago by Evan Czaplicki <[email protected]>

Change module prefixes for some values

github.com/elm-tooling/elm-compiler-library - b87e45a27da02665ee0c120aacf1f514619ca74e authored over 11 years ago by Evan Czaplicki <[email protected]>

Fix bug in type application when converting SourceSyntax.Type to Type.Type

Also get rid of some print statements.

github.com/elm-tooling/elm-compiler-library - c881bd8ef25f507b76c01134dc8e5d27779d191c authored over 11 years ago by Evan Czaplicki <[email protected]>

Marginally better errors when a variable is undefined.

github.com/elm-tooling/elm-compiler-library - 901179c10f25f0e362a9acbfc015a9dbcafdb88d authored over 11 years ago by Evan Czaplicki <[email protected]>

Refactor type environment

Migrate some functions to Environment.hs, add built-in types like _List
and _Tuple2.

github.com/elm-tooling/elm-compiler-library - a3a7b3ef622da1b22c049a614059c7fa1f280022 authored over 11 years ago by Evan Czaplicki <[email protected]>

Add terse way to do type application

github.com/elm-tooling/elm-compiler-library - 90c5c7d21c71243064b0c46bb93964f4091e5053 authored over 11 years ago by Evan Czaplicki <[email protected]>

Manual dead code elimination ;)

github.com/elm-tooling/elm-compiler-library - 334d39c6448e823b26372e0d8fc6e2ce01d31a26 authored over 11 years ago by Evan Czaplicki <[email protected]>

Fix naming bug for List type

github.com/elm-tooling/elm-compiler-library - 1d1083600f6887fe79d3502c3c1fc817f5380853 authored over 11 years ago by Evan Czaplicki <[email protected]>

Add field to MetadataModule for datatypes

github.com/elm-tooling/elm-compiler-library - e852ae25e3a37c11e6a54033688f6488a631c67d authored over 11 years ago by Evan Czaplicki <[email protected]>

Try to support polymorphic pattern matching

Expands each pattern into basic PVars to attempt to recover polymorphis
through the same mechani...

github.com/elm-tooling/elm-compiler-library - fceb46dd4ecab3097f0311534ab3f01bec160f9a authored over 11 years ago by Evan Czaplicki <[email protected]>

Provide the type *and definition* for data constructurs during type checking

github.com/elm-tooling/elm-compiler-library - 3bb618bcdede33dc091d39ae52779920cbe8de22 authored over 11 years ago by Evan Czaplicki <[email protected]>

Update more modules to use the MetadataModule data structure

github.com/elm-tooling/elm-compiler-library - 82983a6f243e4921064d1e335e7892da22ecd833 authored over 11 years ago by Evan Czaplicki <[email protected]>

Create MetadataModule for more refined information about modules

Used in most places to break a module into more orthogonal components.
Some of this data needs t...

github.com/elm-tooling/elm-compiler-library - 8145e600fc591339bb14e14a4f76f89c23016293 authored over 11 years ago by Evan Czaplicki <[email protected]>

Add a way to flatten lets that have become nested

github.com/elm-tooling/elm-compiler-library - 621a9c2d2ec4c930ac0871c783a43470a74cefb0 authored over 11 years ago by Evan Czaplicki <[email protected]>

More specific imports

github.com/elm-tooling/elm-compiler-library - 0cfae2e43b049f2df6fe5e4545994f263b43553d authored over 11 years ago by Evan Czaplicki <[email protected]>

Rename functions and modules

github.com/elm-tooling/elm-compiler-library - 640f98e7d56dcd31308eba665c704e1b566f0e3f authored over 11 years ago by Evan Czaplicki <[email protected]>

Create an `isOp` function for strings.

github.com/elm-tooling/elm-compiler-library - 1ffaad1f5c59437f469d1f854cf80fa67faca39d authored over 11 years ago by Evan Czaplicki <[email protected]>

Rename the parser.

github.com/elm-tooling/elm-compiler-library - 91be5a0c03bcd7296702379cc96a55b6e24656be authored over 11 years ago by Evan Czaplicki <[email protected]>

Update changelog with latest parser improvements.

github.com/elm-tooling/elm-compiler-library - 025b7a1ea4dd77f20aea6f55820f0e624aa9b54a authored over 11 years ago by Evan Czaplicki <[email protected]>

Switch to reporting errors with [Doc] for prettier layout.

github.com/elm-tooling/elm-compiler-library - ce357b3d0dcaca94ed85f4721b7a39893440a498 authored over 11 years ago by Evan Czaplicki <[email protected]>

Force whitespace between number and operator in infix declarations.

github.com/elm-tooling/elm-compiler-library - 1c9da4bf9c8280bd49ce49d8e8e92d8e4157232a authored over 11 years ago by Evan Czaplicki <[email protected]>

Add parsing for infix declarations. No support for actually using this

information though.

github.com/elm-tooling/elm-compiler-library - 8590c6bd18bf4d0059146f6668bbae1010d14fac authored over 11 years ago by Evan Czaplicki <[email protected]>

Clean out this file, getting rid of dead code and adding some types.

github.com/elm-tooling/elm-compiler-library - 72bd5cb8eb7fc935c4839326a72b660e7c3cbee7 authored over 11 years ago by Evan Czaplicki <[email protected]>

Minor cosmetic changes

github.com/elm-tooling/elm-compiler-library - a5bc960067c3ab98229b6d51c91a2547b784fbab authored over 11 years ago by Evan Czaplicki <[email protected]>

Create the Type.Inference module which handles type inference from

start to finish. Give it a Module and it returns a dictionary mapping
top-level values to types.

github.com/elm-tooling/elm-compiler-library - 67ef1ec77b34cfed92df53c2e7a674b2522da86e authored over 11 years ago by Evan Czaplicki <[email protected]>

Turn unary negation back on.

github.com/elm-tooling/elm-compiler-library - 18adffc06dc89245d925b0bf20e5999881784136 authored over 11 years ago by Evan Czaplicki <[email protected]>

Turn off unary negation parsing for now. It has weird behavior when

paired with function calls:

(- sqrt 9) -- parse error
(-sqrt 9) -- type error, cannot n...

github.com/elm-tooling/elm-compiler-library - 90d50dbb13013efa965366dcfd915dec26cde759 authored over 11 years ago by Evan Czaplicki <[email protected]>

Fix parsing of unary negation when it is the first thing in parentheses.

github.com/elm-tooling/elm-compiler-library - 2b9886336f526f0b223a792fa20d7d8652153ea3 authored over 11 years ago by Evan Czaplicki <[email protected]>

Fix a typo bug in the onblur handler for Touch.

github.com/elm-tooling/elm-compiler-library - 1f3ba5ca3521b4815d07226c542d134c1e3dc25c authored over 11 years ago by Andrew Miller <[email protected]>

Add back in checks for duplicate and out-of-order definitions.

github.com/elm-tooling/elm-compiler-library - 93a948cd6766f44d87aa3a0ab674053602ff8d4a authored over 11 years ago by Evan Czaplicki <[email protected]>

Finish switching over to '_Tuple' format for tuples.

github.com/elm-tooling/elm-compiler-library - 1fcb01f74335c709c3f83067c80ca7310affb85c authored over 11 years ago by Evan Czaplicki <[email protected]>

Switch the internal data constructor name for tuples. Before tuple

constructors could be shadowed by user defined ADT's such as "Tuple0",
"Tuple2", etc. Now it uses...

github.com/elm-tooling/elm-compiler-library - 0070a844d05e2ee64241efc7c8fd03d90a97c830 authored over 11 years ago by Evan Czaplicki <[email protected]>

Begin adding testing framework to .cabal file.

github.com/elm-tooling/elm-compiler-library - e7b949df9b7cf4a27cb2fc21df3ea0f81c96ed59 authored over 11 years ago by Evan Czaplicki <[email protected]>

Add new syntax to the changelog

github.com/elm-tooling/elm-compiler-library - 003ebfd30994e0acbcb42d5d311fd9788bb3a38e authored over 11 years ago by Evan Czaplicki <[email protected]>

Add support for unary negation with the '-' symbol. Makes the use of

'-' whitespace sensitive, as in the unary negation proposal in
elm-discuss.

f -1 == f (0-1)
x -...

github.com/elm-tooling/elm-compiler-library - 343dcf22500071ff5bac577419394cb28408f734 authored over 11 years ago by Evan Czaplicki <[email protected]>

Be more flexible with the position of the closing bracket of a record type.

github.com/elm-tooling/elm-compiler-library - 08ff9391748d32d4de4ae8433526d0377a66aac0 authored over 11 years ago by Evan Czaplicki <[email protected]>

Export boundVars function, which is currently reeded to generate JS.

github.com/elm-tooling/elm-compiler-library - fe7357a0b5501654c5d7dadd784cd0bba8d20152 authored over 11 years ago by Evan Czaplicki <[email protected]>

Get declarations parsing properly. The definition parser needs to be

the last option.

github.com/elm-tooling/elm-compiler-library - 87d2f8d57d8e7c3c2e0c35a5ac51c42ba66ef814 authored over 11 years ago by Evan Czaplicki <[email protected]>

Get variable reordering working for Declarations.

github.com/elm-tooling/elm-compiler-library - 2b9853ce9b7b6892164484bb35dce1197f36ae43 authored over 11 years ago by Evan Czaplicki <[email protected]>

fix pretty printer for chars

github.com/elm-tooling/elm-compiler-library - fe23c0e66dc808c2f96d7f5870cd88636cd64338 authored over 11 years ago by Evan Czaplicki <[email protected]>

Create module to sort let-blocks into "strongly connected components".

This does two things:

* makes it possible to automatically generalize functions without
bo...

github.com/elm-tooling/elm-compiler-library - 7f433922ede28440b9864bc5d92b0890a4bf79e4 authored over 11 years ago by Evan Czaplicki <[email protected]>

Update tests to be actual programs, not just expressions. Content

stays the same.

github.com/elm-tooling/elm-compiler-library - 433b533f4d198947febca7c441b6f73f5652b48d authored over 11 years ago by Evan Czaplicki <[email protected]>

Add some basic test files for the type checker.

github.com/elm-tooling/elm-compiler-library - a6bfa5f2611a7d75777c19ffe84f6ca3db33e516 authored over 11 years ago by Evan Czaplicki <[email protected]>

Begin generating constraints for whole programs. Need to perform

dependency sort within let-expressions for things to work properly though.

github.com/elm-tooling/elm-compiler-library - 4d7562f31790f2728b5c359ac6760518ae562ced authored over 11 years ago by Evan Czaplicki <[email protected]>

Remove some debugging stuff and generally clean up the code.

There was one potential error in which a debug needed to be a liftIO,
the computation it performe...

github.com/elm-tooling/elm-compiler-library - 4208b5c9de84f2c9a367459aa3381fdb1402bd51 authored over 11 years ago by Evan Czaplicki <[email protected]>

Fix error in generalization in which some variables would escape their

rank. Problem was that young variables were not all being marked as
young.

This resolved a sound...

github.com/elm-tooling/elm-compiler-library - b0387821b463ba6518e5fc26355788146e5874c0 authored over 11 years ago by Evan Czaplicki <[email protected]>

Make constraint pretty printing prettier.

github.com/elm-tooling/elm-compiler-library - dabada1d98d070d1ea315f6abebededd6056ba02 authored over 11 years ago by Evan Czaplicki <[email protected]>

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.

github.com/elm-tooling/elm-compiler-library - cb914d91ffcd2612c321b9c33864ceb8dfb7ab24 authored over 11 years ago by Evan Czaplicki <[email protected]>