yogsototh/elm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
1015 commits 1 branch 8 tags 4.1 MiB
Commit graph

145 commits

Author SHA1 Message Date
Evan Czaplicki
fe23c0e66d fix pretty printer for chars 2013-07-13 01:05:48 +02:00
Evan Czaplicki
7f433922ed Create module to sort let-blocks into "strongly connected components". 
This does two things:

  * makes it possible to automatically generalize functions without
    bothering the programmer about managing dependencies.

  * sorts values such that they'll be defined in the appropriate order
    when they are mapped down to JavaScript.
 2013-07-12 22:24:12 +02:00
Evan Czaplicki
4d7562f317 Begin generating constraints for whole programs. Need to perform 
dependency sort within let-expressions for things to work properly though.
 2013-07-12 16:21:07 +02:00
Evan Czaplicki
4208b5c9de 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 performed was not optional.
 2013-07-12 11:05:03 +02:00
Evan Czaplicki
b0387821b4 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 soundness issue described in the post on
"How OCaml type checker works".
 2013-07-12 11:00:35 +02:00
Evan Czaplicki
dabada1d98 Make constraint pretty printing prettier. 2013-07-11 23:30:18 +02:00
Evan Czaplicki
cb914d91ff 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.
 2013-07-11 12:48:37 +02:00
Evan Czaplicki
ca77056fc9 Improve quality of error messages. 2013-07-11 00:31:56 +02:00
Evan Czaplicki
b5887f41c9 Get type inference working in the basic case. Begin working on 
printing errors in a prettier way.
 2013-07-10 14:31:57 +02:00
Evan Czaplicki
f87e316847 Make pretty printing properly parenthesize higher order functions. 
Not the best implementation, but it is simple and works well.
 2013-07-09 21:59:58 +02:00
Evan Czaplicki
497d478d26 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.
 2013-07-09 21:52:05 +02:00
Evan Czaplicki
ca62ee64a9 Create type pools, have an organized model of state to flow through 
the State Transformer during constraint solving and variable unification.
 2013-07-09 10:25:50 +02:00
Evan Czaplicki
4c51159f2a Create a Type.Pool module specifically for variable pools. Start using 
a state transformer to thread the pool and errors through.
 2013-07-08 20:03:08 +02:00
Evan Czaplicki
2ef18826de Start adding constraint generation for declarations. 2013-07-08 18:23:18 +02:00
Evan Czaplicki
5cc99f5542 Remove the old type-checker code. 2013-07-08 16:58:09 +02:00
Evan Czaplicki
0ed72056b6 Add pretty printing for type constraints. 
Convert source-syntax types into type-checker types and print them
with pretty type variables.

Generate constraints for let-expressions using type annotations.

Build test function to turn strings into type constraints.
 2013-07-08 16:47:44 +02:00
Evan Czaplicki
96fd5bfd78 Update program parser to use Parse.Declarations 2013-07-07 22:11:16 +02:00
Evan Czaplicki
d29ca3beeb Create a Parse.Declaration file for all declarations. Get rid of special 
purpose Parse.Foreign library.
 2013-07-07 22:06:56 +02:00
Evan Czaplicki
e4ca96731d Create a source syntax for types that will get converted into the internal type representation during type checking. 2013-07-07 18:13:40 +02:00
Evan Czaplicki
f2b3ed7027 Start using the PrettyPrint library to show expressions, literals, and patterns. 2013-07-07 12:56:34 +02:00
Evan Czaplicki
078692ad8c Get Optimize.hs updated for the newer AST. 2013-07-07 12:55:08 +02:00
Evan Czaplicki
b87b84556c Move the Environment.hs and Fragment.hs files down a directory. 2013-07-07 12:54:05 +02:00
Evan Czaplicki
ca8441ff2f Continue getting the new type-checker in order. 2013-07-07 12:52:48 +02:00
Evan Czaplicki
947b82ed09 Switch more files over to new Expressions 2013-07-04 17:31:22 +02:00
Evan Czaplicki
5c68f6bb73 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 to make sure
that each definition comes after the ones it depends on. This will
also make it possible to disallow recursive values statically.
 2013-07-04 17:24:04 +02:00
Evan Czaplicki
69ed7631fe Start switching over to an AST that uses patterns in lambdas and 
pulls the arguments out of Definitions (placing them in lambdas).
 2013-07-04 11:36:08 +02:00
Evan Czaplicki
351c33c486 Start generating constraints for let-expressions. Account for mutual recursion, 
but will throw a runtime error if a user has given type annotations.
 2013-07-03 19:51:38 +02:00
Evan Czaplicki
cdb63bd8d1 Start writing a new type checker based on the ATAPL chapter on efficient type-inference. 2013-07-03 14:35:51 +02:00
Evan Czaplicki
74d3c35131 Fix optimization bug with > sign. 2013-07-02 16:58:19 +02:00
Evan Czaplicki
60de915824 Merge branch 'dev' of https://github.com/evancz/Elm into dev 2013-07-01 20:05:49 +02:00
Evan Czaplicki
d700acfeac Fix substitutions for ExplicitList. 2013-07-01 20:00:37 +02:00
Andrew Miller
1b4aca9685 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 warnings buried in all the debug
output.
 2013-07-01 08:43:00 +12:00
Evan Czaplicki
9d68c10683 Add support for triple-quoted multi-line strings 2013-06-27 18:55:01 +02:00
Evan Czaplicki
da9c49338a Fix pattern matching aliases so that it works in all cases. Previously it was totally broken. 2013-06-23 04:18:27 -07:00
Evan Czaplicki
cee9f6a9d9 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.
 2013-06-23 02:43:58 -07:00
Evan Czaplicki
e80ea9e430 Add support for pattern matching on literals. 2013-06-23 01:36:23 -07:00
Evan Czaplicki
c158155bdf Switch to using (Map String String) instead of (String -> String) as the environment. 2013-06-23 01:35:04 -07:00
Evan Czaplicki
98eceb5496 Clean up Transform/Replace.hs. Switch the environment from a (String -> String) to a (Map String String). 2013-06-23 01:33:33 -07:00
Evan Czaplicki
cd83c4c8ed Allow full expressions as the last member of binary expressions (t + t + e) 2013-06-23 01:31:34 -07:00
evancz
9a40249e05 Fix the confusion with "Cons" and "Nil" in issue #176. 
Also add the ExplicitList expression.
 2013-06-20 21:25:10 -07:00
evancz
4a6032f239 Add file 2013-06-18 16:00:51 -07:00
evancz
afacd1b858 Add hoverable and hoverables 2013-06-15 00:49:22 -07:00
evancz
316cd1d0ee Add an experimental API for dev tools. 2013-06-14 21:06:54 -07:00
evancz
a9de2342dc Solve a "non-exhaustive pattern match" 2013-06-14 19:38:03 -07:00
evancz
35981eb42f Finish parameterizing the AST and properly check errors in let expressions. 2013-06-14 19:23:58 -07:00
evancz
d7dcf5a9e8 Get the whole compiler building again. 2013-06-13 22:59:14 -07:00
evancz
721ce4f192 Continue reorganizing the code-base. 
Remove uses of uniplate, introduces a regression in testing the ordering of Defs in let-expressions.
 2013-06-13 22:45:08 -07:00
evancz
272ecc67fd Rename Model/ to Metadata/ because it now only holds info about the types of library functions. 2013-06-13 20:45:12 -07:00
evancz
c7dce08193 Parameterized the AST for type annotations and variable types. Also rename Guid.hs to Unique.hs which reads a lot nicer. 2013-06-13 20:25:00 -07:00
evancz
459cf8ec73 Switch parsers over to new AST 2013-06-13 19:15:40 -07:00