3490 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Arya Irani	0962c2acf4	try bumping travis-ci environment to ubuntu-xenial ... for scala > 2.9 hopefully	2019-02-13 14:29:20 -05:00
Arya Irani	1e04b6e420	fix call to travis_wait	2019-02-13 12:05:47 -05:00
Arya Irani	ac0614e46a	build JVM runtime before running Haskell tests	2019-02-13 11:48:35 -05:00
Arya Irani	3c473079df	add add'l classpath for JVM RT in case of no bloop	2019-02-13 11:45:24 -05:00
Arya Irani	2f872f6377	add scala package to .travis.yml	2019-02-13 10:45:29 -05:00
Paul Chiusano	b1c2d120b9	progress	2019-02-13 10:01:28 -05:00
Paul Chiusano	e097de5d2c	fix logic for at	2019-02-13 00:20:30 -05:00
Paul Chiusano	5dcf5e5adf	move letrec impl into helper fn	2019-02-13 00:09:08 -05:00
Paul Chiusano	cd51f2644f	attempt at not using haskell laziness anywherere in interpreter	2019-02-13 00:01:30 -05:00
Paul Chiusano	48e42ee545	experiment	2019-02-12 21:04:21 -05:00
Runar Bjarnason	3c1995ce2f	Removed scala-side evaluation tests	2019-02-12 20:21:04 -05:00
Runar Bjarnason	3869c86834	Added .ur files	2019-02-12 20:08:08 -05:00
Paul Chiusano	4a13c7fe5f	fix .cabal file	2019-02-12 18:28:32 -05:00
Paul Chiusano	30b1924c9b	Merge branch 'topic/rt-integration' of https://github.com/unisonweb/unison into topic/rt-integration	2019-02-12 18:24:43 -05:00
Paul Chiusano	749b04f363	proper compilation of lazy vars	2019-02-12 18:24:30 -05:00
Runar Bjarnason	10359b2769	Haskell side typechecker tests	2019-02-12 17:19:26 -05:00
Runar Bjarnason	349cf0fdec	Fixed up tests	2019-02-12 14:10:33 -05:00
Paul Chiusano	e080d7f594	fix issue with Semi insertion by the lexer, down to 11 failures	2019-02-12 13:50:46 -05:00
Paul Chiusano	d817d60c7b	13 failures, added some debugging	2019-02-12 12:49:11 -05:00
Paul Chiusano	28a3f7806b	15 failures	2019-02-12 11:21:25 -05:00
Paul Chiusano	05ea87499a	down to 18 failures	2019-02-12 11:15:46 -05:00
Paul Chiusano	750d43ccdf	improved error message for case blah <unindent> of	2019-02-12 10:54:18 -05:00
Paul Chiusano	4544fb0fc4	fixed FileParser to parse and apply top-level imports, down to 70 failures	2019-02-12 10:06:05 -05:00
Paul Chiusano	e98844d586	Allow type application to contain {ability1, ability2} lists in non-head position, for example: Location {Remote, IO}	2019-02-12 09:16:18 -05:00
Paul Chiusano	1e27530a45	74 failures	2019-02-11 22:38:05 -05:00
Paul Chiusano	0f299fef3e	ctor arities now being serialized properly	2019-02-11 22:23:24 -05:00
Paul Chiusano	e3e1fb8c30	debugging one of the tests... why aren't ctor arities being written out?	2019-02-11 17:29:24 -05:00
Paul Chiusano	7c6064a753	okay, now makeSelfContained' is working and can successfully call into old runtime	2019-02-11 16:53:16 -05:00
Paul Chiusano	d5dc94c092	fix bug in makeSelfContained'	2019-02-11 13:23:40 -05:00
Paul Chiusano	99de0d8ce0	added note about how to fix bug in makeSelfContained'	2019-02-11 10:07:40 -05:00
Paul Chiusano	b100e26802	Added: Rt0.runtime : Var v => Runtime v and unison -haskell runs the command line using the haskell runtime (untested)	2019-02-08 16:37:26 -05:00
Paul Chiusano	d3f1fb361a	formatting	2019-02-08 16:27:42 -05:00
Paul Chiusano	8ece85caf6	filled in todo in FileParser	2019-02-08 16:09:23 -05:00
Paul Chiusano	9c5a2282ec	filled in Runtime.evaluateWatches and it ended up being simple	2019-02-08 15:55:54 -05:00
Paul Chiusano	a4eb75e798	factoring IR a bit better	2019-02-08 10:25:42 -05:00
Paul Chiusano	ecc9aea519	removing Rt1 for now	2019-02-08 10:25:12 -05:00
Paul Chiusano	376c52858c	Merge remote-tracking branch 'origin/topic/rt' into topic/rt-integration ... # Conflicts: # parser-typechecker/src/Unison/Term.hs	2019-02-08 09:50:41 -05:00
Paul Chiusano	076faf186e	compiles with no warnings, still gotta fill in a couple functions: ... Runtime.evaluateWatches, and FileParser todo for generrating a UnisonFile from the stanzas. Also need the implementation of Runtime interface for the Haskell runtime	2019-02-07 21:42:20 -05:00
Paul Chiusano	e96683981a	down to just a couple errors in the tests	2019-02-07 18:15:04 -05:00
Paul Chiusano	ec56bdb1f7	Merge remote-tracking branch 'origin/master' into topic/rt-integration	2019-02-07 15:00:35 -05:00
Paul Chiusano	b2bc510212	down to 3 compile errors	2019-02-07 14:59:27 -05:00
Arya Irani	55d608a21a	add post-runthru comments	2019-02-06 17:36:47 -05:00
Arya Irani	a010695dba	idk	2019-02-06 15:03:56 -05:00
Arya Irani	f2572c6566	tabs vs spaces	2019-02-06 15:00:22 -05:00
Arya Irani	72070d4984	formatting	2019-02-06 14:55:55 -05:00
Arya Irani	80ce7f6c1a	distributed api discussion v1	2019-02-06 14:54:03 -05:00
Paul Chiusano	ad0866c00e	moar progress, about to kill UnisonFile.TypecheckedUnisonFile' which seems not needed now	2019-02-06 12:55:33 -05:00
Paul Chiusano	04bb6e890a	add watch expressions to typechecked unison file	2019-02-06 11:55:34 -05:00
Arya Irani	1952299501	Merge pull request #322 from francisdb/patch-1 ... CommandLine2 => CommandLine	2019-02-06 07:45:27 -05:00
Francis De Brabandere	b59418945e	CommandLine2 => CommandLine	2019-02-06 12:49:17 +01:00