John Ericson
47b2ab9731
Add cabal-install to the shell
2015-07-14 14:52:45 -07:00
John Ericson
7789867605
Copy project subdirs to nix-store seperately
...
This will prevent changes to one project from forcing all projects to be rebuilt
2015-07-14 14:48:00 -07:00
Paul Chiusano
cd384cb9d0
Added rendering functions to Doc module
2015-07-14 16:59:20 -04:00
Paul Chiusano
f3fe6ed4d9
moving Unison.Layout into Unison.Doc module
2015-07-14 11:24:55 -04:00
Paul Chiusano
da18c0accd
Some test cleanup, WIP on Doc tests
2015-07-13 20:28:58 -04:00
Paul Chiusano
210d858724
Initial implementation of annotated prettyprinting library (not yet tested)
2015-07-13 17:41:49 -04:00
Paul Chiusano
35e947dc4c
Added WIP Vagrantfile
2015-07-07 22:58:56 -04:00
Paul Chiusano
e9213a8b7f
remove outdated stuff from README, move elm-editor related stuff to elm-editor/README rather than polluting main
2015-07-07 22:12:25 -04:00
Paul Chiusano
e304522ad4
WIP on updating README with build instructions
2015-07-07 17:59:10 -04:00
Paul Chiusano
6fcdc581a5
Cleanup build, get rid of old shared sandboxes junk
2015-07-07 17:36:22 -04:00
Paul Chiusano
bec8e3b90c
renamed try-reflex variable in env.nix to unison-dependencies
2015-07-07 16:57:38 -04:00
John Ericson
d9b9c53f6c
Again remove unneeded Applicative imports
2015-07-06 21:28:33 -07:00
Paul Chiusano
2bb29bd131
refreshed nix dependencies
2015-07-06 20:31:59 -04:00
Paul Chiusano
0e689ee509
code changes to get compiling against prelude-extras
2015-07-06 19:58:57 -04:00
Paul Chiusano
6c52920d39
Node subproject itself now builds
2015-07-06 14:54:55 -04:00
John Ericson
19cb1b73f8
Update to latest try-reflex
...
Can now build all deps for node on mac
2015-06-27 16:46:18 -07:00
John Ericson
7d554a8611
Update try-reflex
2015-06-26 09:34:56 -07:00
Paul Chiusano
512214e237
Merge pull request #17 from unisonweb/topic/nix
...
Cleaned up build system
2015-06-19 10:20:05 -04:00
John Ericson
0368ea995e
Add nix-shell support
2015-06-19 00:39:42 -07:00
John Ericson
4714dcfd0e
Update try-reflex, works!
2015-06-18 23:25:30 -07:00
John Ericson
df1ae0ccb0
Merge branch 'master' into topic/nix
2015-06-18 18:42:32 -07:00
John Ericson
3cc58b3176
Work around problem in haskell packaging
...
On master, overriding haskellPackages repeatedly work, but on
pure-darwin it doesn't. It is unclear when pure-darwin will be
brought up to date, if ever, so I am commiting this fix in the
meantine. Please revert once upstream is fixed.
2015-06-18 18:40:02 -07:00
Paul Chiusano
3f4e901f12
adding applicative import to satisfy ghcjs build of shared
2015-06-18 20:59:46 -04:00
John Ericson
5d37118c7d
.gitignore nix-build result symlinks
2015-06-18 17:50:51 -07:00
John Ericson
fa876d2347
Get try-reflex from github.com/unisonweb since I moved the repo
2015-06-18 10:11:21 -07:00
Paul Chiusano
2baa404d7a
Moving typechecker to shared; editor should be able to do typechecking, adds no extra reps, and makes development of typechecker easier
2015-06-17 09:48:24 -04:00
Paul Chiusano
5c0167a920
Merge pull request #16 from joneshf/patch-1
...
Update for latest structure
2015-06-17 09:21:56 -04:00
Hardy Jones
1ab73bafea
Update for latest structure
2015-06-16 12:37:49 -07:00
John Ericson
2f99fdb8ea
Don't attempt to build docs with unison-node for now so build completes
2015-06-04 00:10:12 -07:00
John Ericson
3319ad70d5
Just callPackage src instead of making a non-filtered version
2015-06-03 23:59:05 -07:00
John Ericson
1b772f0cc1
Build the package environment
2015-06-03 00:39:20 -07:00
John Ericson
72211b22d0
Use stock cabal2nix default.nix
2015-06-02 07:07:50 +00:00
John Ericson
e761000523
Remove try-reflex stuff
2015-06-02 06:35:24 +00:00
John Ericson
c70a09b26b
Beef up .gitignore
2015-06-02 06:34:12 +00:00
Paul Chiusano
80e5cd6f4d
src does not include git or dist directories, which was resulting in stale build info
2015-05-29 13:02:23 -04:00
Paul Chiusano
e0fe20edf0
Merge pull request #14 from unisonweb/topic/reflex
...
Adding build setup for using Reflex and Reflex DOM and GHCJS for new Unison editor
2015-05-22 17:01:15 -04:00
Paul Chiusano
c4c785c608
Some cleanup, and added base to dependencies, so hello world now compiling to JS using reflex
2015-05-22 16:45:05 -04:00
Paul Chiusano
af90027460
build seemingly working
2015-05-21 21:47:39 -04:00
Paul Chiusano
d8edf2fc81
added known good submodules for building reflex code, based off hashes in try-reflex repo
2015-05-21 17:58:47 -04:00
Paul Chiusano
6faec4143d
nix builds
2015-05-20 15:56:13 -04:00
Paul Chiusano
7c4f6b487f
Delete README.md
2015-05-17 21:52:19 -04:00
Paul Chiusano
93dd62448f
pingpong example improvement
2015-05-16 11:13:51 -04:00
Paul Chiusano
d3cefe646d
readme updates
2015-05-15 16:42:01 -04:00
Paul Chiusano
0ca11d42e6
remove unused file
2015-05-15 16:41:38 -04:00
Paul Chiusano
55486f477a
Merge pull request #13 from unisonweb/topic/let-bindings
...
Added support for let / let rec blocks to typechecker and added tests
2015-05-15 12:16:38 -04:00
Paul Chiusano
a7934f7fdf
cleaned up tests, and added test for hashing of let rec
2015-05-15 12:05:49 -04:00
Paul Chiusano
ed4ad2c81d
Now generalizing body of let (non-rec) and added test for this
2015-05-15 11:26:57 -04:00
Paul Chiusano
c4806da573
let rec tests passing, thanks to Dan Doel for much help and discussion
...
I am not positive that some of the scoping/generalization over existentials is being done correctly, will be examining this a bit more before merging
2015-05-15 11:05:14 -04:00
Paul Chiusano
d52e799c50
added some more diagnostics in the event of failure
2015-05-14 23:12:50 -04:00
Paul Chiusano
6ee5bffe42
added tests for let rec checking / inference
2015-05-14 23:04:16 -04:00
