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
Paul Chiusano
4b157c27db
fixed issue with subtype function, forall (R) and forall (L) were being done in flipped order, if both rules matched
2015-05-14 22:29:40 -04:00
Paul Chiusano
dfa00eb49e
Added (currently failing) unit tests for typechecker
2015-05-14 21:32:46 -04:00
Paul Chiusano
f2afd04d33
README and build instruction updates
2015-05-14 16:25:06 -04:00
Paul Chiusano
50cb8b5e93
redo project structure so that can actually test stuff in node
2015-05-14 16:17:27 -04:00
Paul Chiusano
ed74840cc2
fixed to let rec handling (still untested), thanks to Dan Does for spotting issues
2015-05-14 11:12:08 -04:00
Paul Chiusano
18bc12d9d3
compiling implementation of let rec synthesis and checking (untested)
2015-05-13 22:44:05 -04:00
Paul Chiusano
2654a61d50
Merge remote-tracking branch 'origin/master' into topic/let-bindings
2015-05-13 16:42:27 -04:00
Paul Chiusano
701ba4fc39
WIP on let / let rec bindings
2015-05-13 16:42:17 -04:00
Paul Chiusano
d609e1ff51
Added some more links to README
2015-05-13 14:17:43 -04:00
Paul Chiusano
7b162a6d03
Merge branch 'master' into topic/let-bindings
2015-05-13 13:56:06 -04:00
Paul Chiusano
63806f8acc
Merge pull request #11 from unisonweb/topic/folder-structure
...
Revamped folder structure to facilitate development of Haskell-based Unison editor
2015-05-13 13:54:44 -04:00
Paul Chiusano
b219dbc0de
Updated README with info about folder structure
2015-05-13 13:48:14 -04:00
Paul Chiusano
bf23ebbc8f
Moved more stuff into shared, which now has minimal dependencies
2015-05-13 12:46:51 -04:00
Paul Chiusano
55e7261bed
Added let (non recursive) bindings
2015-05-12 22:17:29 -04:00