Evan Czaplicki
|
e677f27bc5
|
add a type signature
|
2013-07-31 07:42:31 -07:00 |
|
Evan Czaplicki
|
f8fe8e4495
|
Properly convert Type.Type to SourceSyntax.Type
|
2013-07-29 20:23:42 +02:00 |
|
Evan Czaplicki
|
f8182740bc
|
Prettify code to print program
|
2013-07-29 13:21:34 +02:00 |
|
Evan Czaplicki
|
2f5639c4fb
|
Introduce Transform.Canonicalize
Run this to create a properly formatted ModuleInterface
|
2013-07-29 11:59:55 +02:00 |
|
Evan Czaplicki
|
0a6bd8bd96
|
Generate and use interfaces.data so standard library types are available
|
2013-07-28 02:24:17 +02:00 |
|
Evan Czaplicki
|
272557d785
|
Fix for "trying to write to a file in a non-existant directory"
|
2013-07-27 00:39:40 +02:00 |
|
Evan Czaplicki
|
637c7e0da0
|
Put type aliases in ModuleInterface
|
2013-07-26 15:06:35 +02:00 |
|
Evan Czaplicki
|
016a199b50
|
Start using Metadata.Prelude
|
2013-07-25 20:53:22 +02:00 |
|
Evan Czaplicki
|
8ffcf9e80e
|
Prettier printing for infix operator definitions
|
2013-07-23 15:43:21 +02:00 |
|
Evan Czaplicki
|
eb722a20dc
|
Make a type less general
|
2013-07-22 14:41:55 +02:00 |
|
Evan Czaplicki
|
4bcde7e799
|
Add flag for printing a whole program
|
2013-07-21 22:49:42 +02:00 |
|
Evan Czaplicki
|
1f8b7bbc98
|
Introduce TypeLibrary alias, a minor cosmetic change
|
2013-07-21 09:23:01 +02:00 |
|
Evan Czaplicki
|
0fd1f677a5
|
Get things in place to pass Prelude interfaces
|
2013-07-21 07:17:01 +02:00 |
|
Evan Czaplicki
|
b1dd1574a8
|
Begin passing module interfaces when compiling dependencies
|
2013-07-21 07:14:13 +02:00 |
|
Evan Czaplicki
|
22f7f8a43a
|
Create a serializable interface for a module's type information
Also add a flag to print out top-level types
|
2013-07-21 06:08:08 +02:00 |
|
Evan Czaplicki
|
1a4732a436
|
Start building a .elmi file that contains the types of all top-level functions
|
2013-07-20 18:53:15 +02:00 |
|
Evan Czaplicki
|
ce652d9a35
|
Print errors more nicely
|
2013-07-19 15:40:37 +02:00 |
|
Evan Czaplicki
|
82983a6f24
|
Update more modules to use the MetadataModule data structure
|
2013-07-16 21:43:56 +02: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
|
6e56df59a5
|
Switch to only generating elmo files. Turn off the CPP flags in .cabal and remove all generated JS files on each build for now.
|
2013-06-07 09:38:29 -07:00 |
|
evancz
|
951df07b79
|
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.
|
2013-06-06 22:28:24 -07:00 |
|
evancz
|
212d19c3e8
|
Start using the given output-directory
|
2013-06-05 14:22:30 -07:00 |
|
evancz
|
2d1e06b17b
|
Start generating elmi and elmo files to permit sharing of types, values, and infix info between modules.
|
2013-06-05 00:44:04 -07:00 |
|
evancz
|
ce6467266f
|
Clean up imports in many files.
|
2013-05-28 06:47:36 -07:00 |
|
evancz
|
5d536d129a
|
Get prelude added in all cases.
|
2013-04-08 01:48:30 -07:00 |
|
evancz
|
1af2ff9a01
|
Get the API for Language.Elm in better shape. Trying to get elm-lang.org working again.
|
2013-04-04 10:37:43 -07:00 |
|
evancz
|
82f888cb3d
|
Get the type-checker running based on docs.json information. Also add rules for Nil and Tuple0 , Tuple2 , etc.
|
2013-04-04 01:09:35 -07:00 |
|
evancz
|
294fdfdaa5
|
Add prelude in compiler with flag. Re-add the hiding option for modules internally.
|
2013-04-03 00:32:21 -07:00 |
|
evancz
|
22bfcb83cf
|
Add the --no-prelude flag for compiling the standard libraries. Clean up code to handle flags. Change name of --generate-noscript to --noscript (this flag can probably be taken out actually)
|
2013-04-01 01:05:41 -07:00 |
|
evancz
|
1822ebc160
|
Move the compiler down a directory, mostly.
|
2013-03-16 12:04:05 -07:00 |
|