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

Change functions for creating type variables, distinguish names of different constraint type variables

9fe6c9a564d090e4d639b6e5c0436cd3acd56ee3 authored over 11 years ago

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

642b1f7fccb3770f7ddbf675e82ec68400293405 authored over 11 years ago

Unify any constrained variables with the same super-type

609cc3df96825e59f17a11435f3ddea76a4020f1 authored over 11 years ago

Mess with whitespace

a05c82f58b1c4926270ef63c99c5f5355f79af55 authored over 11 years ago

Add pretty printing for record types

d9c1317a2579993b78522260c6af023e2cdd0527 authored over 11 years ago

Update to use the "number" type variable

11c1b76e9c5b349cadd544b777ad9c915a41dd0b authored over 11 years ago

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

067773d601859a717941e09f62766fe72ef1eb23 authored over 11 years ago

Fix the type of String literals

d059c362d9634b048b678f83529da3d23e385080 authored over 11 years ago

Prettier printing for infix functions like `div`

abb6dc19f62775a511e703f3b4be25c0cf4b497c authored over 11 years ago

Properly unify constrained variables, serious changes here!!!

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

b6144aeb0750f85109df9154a71166611ca92893 authored over 11 years ago

Get rid of unused part of the type error message

856360bd9478aeda07ff0d4ccd2479c1128c08d9 authored over 11 years ago

Add definitions for functions that act on numbers and comparables

This will get moved into Elm code eventually

4e7ef5f1777e93f58f20a090db29793f22a145af authored over 11 years ago

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

d456cec5c80580ffc4bbd43cd2dd78a2022d7415 authored over 11 years ago

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

82ca695dcab510376d2a58c1842a6c157071fdd9 authored over 11 years ago

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

666d9f8ca3c916f1e700b54712068840aa521e04 authored over 11 years ago

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

2609f5dda7e7f2773225441ef75967445dd93225 authored over 11 years ago

Simplify code to check for structural errors

7b90975dadd0badcc3cf77a146aa3fa5231654dd authored over 11 years ago

Prettier printing for infix operator definitions

8ffcf9e80ebac239caaa75f7818cbc561b9af987 authored over 11 years ago

Fix issue in which patterns could become too general

802be96e5765214f7a5ed1a4e4a9f02d757af734 authored over 11 years ago

Fix type constraints for case-expressions

175798f6d2419e2060d7dca6a7a91dc9c07e9ba2 authored over 11 years ago

Fix type constraints for PData

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

f37e05af5e655e3dcc7b98974623f3ff159f6161 authored over 11 years ago

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

d15d84deba93b69f2be24c4a8de6cd561155b965 authored over 11 years ago

Make pretty printing for types prettier

eaa751d9871c1746ad829f78e768401a6d2071f6 authored over 11 years ago

Begin to canonicalize imported values and types

138e99cc810dfef7b84c407b2d6f1d307b24277a authored over 11 years ago

Make a type less general

eb722a20dc1d7045e18065d415aad3127c5aea1e authored over 11 years ago

Add flexible variables for type annotated values

Without this, things are not generalized properly.

d9471f6c62611ef2db72b1eb48a7627c3a8ec5a2 authored over 11 years ago

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

6f94400f2dde92f61f20efc85b3f71c8b5517f66 authored over 11 years ago

Make parse errors print more nicely

97bd68a796d4abc7c7604ba1ef0bf0f7ba72a0e9 authored over 11 years ago

Make cross-module types aware of user-specified aliases

81522b306a1f44ef94aae67c61eeec5e5934bb52 authored over 11 years ago

First draft of cross-module type checking

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

c140d690fcde3f511ddc62743531116c2acdb215 authored over 11 years ago

Add flag for printing a whole program

4bcde7e7994dcf970aac97e309b863fe9eb90e25 authored over 11 years ago

Introduce TypeLibrary alias, a minor cosmetic change

1f8b7bbc985b80fb064c54580608a66d01ea6446 authored over 11 years ago

Get things in place to pass Prelude interfaces

0fd1f677a5d99d4479ddef1948b25f37c362ab35 authored over 11 years ago

Begin passing module interfaces when compiling dependencies

b1dd1574a8af0ccab50ef7b54f2bfd1dcee2638e authored over 11 years ago

Create a serializable interface for a module's type information

Also add a flag to print out top-level types

22f7f8a43a969ec8d1d05774a72b3c2fd18098ea authored over 11 years ago

add note about (,,) in types

0c14f6e8ecaac395c49cbb7d9c9ec383dc576f49 authored over 11 years ago

get rid of unused imports

fa11f8e39094731e1d854a80cabc5c9819e27fdc authored over 11 years ago

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

5cb82c6891b9e3d1a46549fb68dba9ee8d5adde3 authored over 11 years ago

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

1a4732a43606587ba48e125322d8c6e85d2a27c3 authored over 11 years ago

Minor reformatting and removing unused dependencies

c9a1cc96f694c13945761ade247fc8ea15d2f486 authored over 11 years ago

Improve pretty printing for types

23758290d93f20641f74a948aadda25da407814a authored over 11 years ago

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...

9592d286bbf4689033054d6b0e0ada89b1e6daff authored over 11 years ago

Save the current environment on CSaveEnv

ca4502b70a059480ec4057460631641ef08836f3 authored over 11 years ago

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

b0f96a2eabce2b0a946676fc567acaf31bf474b8 authored over 11 years ago

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

4dc68acd60484caec350905206f8c666462a8df3 authored over 11 years ago

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

4c0f716aef4006f285c97e460fca4817fbb277af authored over 11 years ago

Add CSaveEnv, optimize CAnd, make it prettier

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

807076ad575ce99f58b163773ec6b7e8b293dd3a authored over 11 years ago

Use letters for arguments in adt constructors

648cbd49dd1bb098e0affa9ad3f2500ef59119be authored over 11 years ago

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

c942afea6a61aaf2506e417c95da969b5c72bc91 authored over 11 years ago

Flatten lets only during JavaScript generation

c1aef789ee0e95ad97213e0835b505d75dfc3b6c authored over 11 years ago

Print errors more nicely

ce652d9a352a9535cb37e5474c8af198398f2793 authored over 11 years ago

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

45b43e8757b88dd28ab4ea8371f358e679251cef authored over 11 years ago

Make error message in solver slightly more specific

26738907c6571cba14f7bde0bbf2881833cd90c5 authored over 11 years ago

Fix bug in generating Def for ADT constructors

Accidentally used the type name instead of the constructor name.

b540fb43b0d44bcab4c44f7092dbcf253b00a1b5 authored over 11 years ago

Change module prefixes for some values

b87e45a27da02665ee0c120aacf1f514619ca74e authored over 11 years ago

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

Also get rid of some print statements.

c881bd8ef25f507b76c01134dc8e5d27779d191c authored over 11 years ago

Marginally better errors when a variable is undefined.

901179c10f25f0e362a9acbfc015a9dbcafdb88d authored over 11 years ago

Refactor type environment

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

a3a7b3ef622da1b22c049a614059c7fa1f280022 authored over 11 years ago

Add terse way to do type application

90c5c7d21c71243064b0c46bb93964f4091e5053 authored over 11 years ago

Manual dead code elimination ;)

334d39c6448e823b26372e0d8fc6e2ce01d31a26 authored over 11 years ago

Fix naming bug for List type

1d1083600f6887fe79d3502c3c1fc817f5380853 authored over 11 years ago

Add field to MetadataModule for datatypes

e852ae25e3a37c11e6a54033688f6488a631c67d authored over 11 years ago

Try to support polymorphic pattern matching

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

fceb46dd4ecab3097f0311534ab3f01bec160f9a authored over 11 years ago

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

3bb618bcdede33dc091d39ae52779920cbe8de22 authored over 11 years ago

Update more modules to use the MetadataModule data structure

82983a6f243e4921064d1e335e7892da22ecd833 authored over 11 years ago

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...

8145e600fc591339bb14e14a4f76f89c23016293 authored over 11 years ago

Add a way to flatten lets that have become nested

621a9c2d2ec4c930ac0871c783a43470a74cefb0 authored over 11 years ago

More specific imports

0cfae2e43b049f2df6fe5e4545994f263b43553d authored over 11 years ago

Rename functions and modules

640f98e7d56dcd31308eba665c704e1b566f0e3f authored over 11 years ago

Create an `isOp` function for strings.

1ffaad1f5c59437f469d1f854cf80fa67faca39d authored over 11 years ago

Rename the parser.

91be5a0c03bcd7296702379cc96a55b6e24656be authored over 11 years ago

Update changelog with latest parser improvements.

025b7a1ea4dd77f20aea6f55820f0e624aa9b54a authored over 11 years ago

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

ce357b3d0dcaca94ed85f4721b7a39893440a498 authored over 11 years ago

Force whitespace between number and operator in infix declarations.

1c9da4bf9c8280bd49ce49d8e8e92d8e4157232a authored over 11 years ago

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

information though.

8590c6bd18bf4d0059146f6668bbae1010d14fac authored over 11 years ago

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

72bd5cb8eb7fc935c4839326a72b660e7c3cbee7 authored over 11 years ago

Minor cosmetic changes

a5bc960067c3ab98229b6d51c91a2547b784fbab authored over 11 years ago

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.

67ef1ec77b34cfed92df53c2e7a674b2522da86e authored over 11 years ago

Turn unary negation back on.

18adffc06dc89245d925b0bf20e5999881784136 authored over 11 years ago

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...

90d50dbb13013efa965366dcfd915dec26cde759 authored over 11 years ago

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

2b9886336f526f0b223a792fa20d7d8652153ea3 authored over 11 years ago

Fix a typo bug in the onblur handler for Touch.

1f3ba5ca3521b4815d07226c542d134c1e3dc25c authored over 11 years ago

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

93a948cd6766f44d87aa3a0ab674053602ff8d4a authored over 11 years ago

Finish switching over to '_Tuple' format for tuples.

1fcb01f74335c709c3f83067c80ca7310affb85c authored over 11 years ago

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...

0070a844d05e2ee64241efc7c8fd03d90a97c830 authored over 11 years ago

Begin adding testing framework to .cabal file.

e7b949df9b7cf4a27cb2fc21df3ea0f81c96ed59 authored over 11 years ago

Add new syntax to the changelog

003ebfd30994e0acbcb42d5d311fd9788bb3a38e authored over 11 years ago

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 -...

343dcf22500071ff5bac577419394cb28408f734 authored over 11 years ago

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

08ff9391748d32d4de4ae8433526d0377a66aac0 authored over 11 years ago

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

fe7357a0b5501654c5d7dadd784cd0bba8d20152 authored over 11 years ago

Get declarations parsing properly. The definition parser needs to be

the last option.

87d2f8d57d8e7c3c2e0c35a5ac51c42ba66ef814 authored over 11 years ago

Get variable reordering working for Declarations.

2b9853ce9b7b6892164484bb35dce1197f36ae43 authored over 11 years ago

fix pretty printer for chars

fe23c0e66dc808c2f96d7f5870cd88636cd64338 authored over 11 years ago

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

This does two things:

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

7f433922ede28440b9864bc5d92b0890a4bf79e4 authored over 11 years ago

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

stays the same.

433b533f4d198947febca7c441b6f73f5652b48d authored over 11 years ago

Add some basic test files for the type checker.

a6bfa5f2611a7d75777c19ffe84f6ca3db33e516 authored over 11 years ago

Begin generating constraints for whole programs. Need to perform

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

4d7562f31790f2728b5c359ac6760518ae562ced authored over 11 years ago

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...

4208b5c9de84f2c9a367459aa3381fdb1402bd51 authored over 11 years ago

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...

b0387821b463ba6518e5fc26355788146e5874c0 authored over 11 years ago

Make constraint pretty printing prettier.

dabada1d98d070d1ea315f6abebededd6056ba02 authored over 11 years ago

Ecosyste.ms: OpenCollective

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