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

1130 commits

This branch
This branch
All branches
Author SHA1 Message Date
Evan Czaplicki
a5bc960067 Minor cosmetic changes 2013-07-16 00:40:11 +02:00
Evan Czaplicki
67ef1ec77b 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.
 2013-07-16 00:38:31 +02:00
Evan Czaplicki
18adffc06d Turn unary negation back on. 2013-07-16 00:36:34 +02:00
Evan Czaplicki
90d50dbb13 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 negate function
  -(sqrt 9)    -- this works
  - (sqrt 9)   -- parse error
  - sqrt 9     -- parse error
 2013-07-15 12:22:04 +02:00
Evan Czaplicki
2b9886336f Fix parsing of unary negation when it is the first thing in parentheses. 2013-07-15 11:53:53 +02:00
Evan Czaplicki
93a948cd67 Add back in checks for duplicate and out-of-order definitions. 2013-07-15 01:06:00 +02:00
Evan Czaplicki
1fcb01f743 Finish switching over to '_Tuple' format for tuples. 2013-07-15 01:05:14 +02:00
Evan Czaplicki
0070a844d0 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 "_Tuple0" to make it impossible to overlap
with user defined ASTs.
 2013-07-14 19:52:50 +02:00
Evan Czaplicki
e7b949df9b Begin adding testing framework to .cabal file. 2013-07-14 19:51:52 +02:00
Evan Czaplicki
003ebfd309 Add new syntax to the changelog 2013-07-14 19:41:09 +02:00
Evan Czaplicki
343dcf2250 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 - 1 == (x-1)
x-1   == (x-1)
 2013-07-14 17:55:38 +02:00
Evan Czaplicki
08ff939174 Be more flexible with the position of the closing bracket of a record type. 2013-07-14 14:55:29 +02:00
Evan Czaplicki
fe7357a0b5 Export boundVars function, which is currently reeded to generate JS. 2013-07-14 01:41:52 +02:00
Evan Czaplicki
87d2f8d57d Get declarations parsing properly. The definition parser needs to be 
the last option.
 2013-07-14 01:41:03 +02:00
Evan Czaplicki
2b9853ce9b Get variable reordering working for Declarations. 2013-07-13 13:44:40 +02:00
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
433b533f4d Update tests to be actual programs, not just expressions. Content 
stays the same.
 2013-07-12 16:32:53 +02:00
Evan Czaplicki
a6bfa5f261 Add some basic test files for the type checker. 2013-07-12 16:32:02 +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
abaa76943e Add Max's server changes to the changelog. 2013-07-11 12:17:49 +02:00
Evan Czaplicki
ca77056fc9 Improve quality of error messages. 2013-07-11 00:31:56 +02:00
Evan Czaplicki
d3bd238663 Add dependency on ansi-terminal for colorful results. 2013-07-10 14:33:54 +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
0b2b98db65 Update changelog for pretty printing 2013-07-09 00:07:54 +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