24785 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
joshvera	97f62715c4	Add Named1 instances for Python	2018-07-23 14:03:49 -04:00
Timothy Clem	ab8d6aa5bf	Make sure these new vertices are in the proto	2018-07-23 11:03:08 -07:00
joshvera	698851f4bf	Test qualified names roundtrip	2018-07-23 14:00:10 -04:00
joshvera	dbcf2638b0	Add Listable instances for QualifiedName and Import	2018-07-23 13:59:56 -04:00
joshvera	8296372c71	Define an instance for QualifiedName	2018-07-23 13:59:45 -04:00
Ayman Nadeem	7d468d4823	address ambiguous type variable f0 arising from a use of pure	2018-07-23 13:58:12 -04:00
Ayman Nadeem	913ba4c315	fix hlint errors and add java to integration spec	2018-07-23 13:49:10 -04:00
Ayman Nadeem	3ba39b9bc7	use newtype	2018-07-23 13:34:31 -04:00
Rob Rix	0bd0170c37	Merge branch 'bump-effects-for-pure-effect' into value-effects	2018-07-23 13:22:33 -04:00
Ayman Nadeem	d449218ea3	fix InterfaceDeclaration syntax	2018-07-23 13:21:28 -04:00
Rob Rix	1decd8ade1	Define a runFunction handler for Concrete semantics.	2018-07-23 13:20:26 -04:00
Rob Rix	570764c6bc	Define a runFunction handler for Type semantics.	2018-07-23 13:14:50 -04:00
Rob Rix	af577052f0	Define a runFunction handler for Abstract semantics.	2018-07-23 13:11:18 -04:00
Rob Rix	f4d538314d	Define a runPair handler for Concrete semantics.	2018-07-23 13:02:54 -04:00
Rob Rix	ea65f8859e	Define a runPair handler for Type semantics.	2018-07-23 12:59:54 -04:00
Rob Rix	19e82e39ee	Define a runPair handler for Abstract semantics.	2018-07-23 12:56:35 -04:00
Rob Rix	c1f220e5b0	Merge branch 'bump-effects-for-pure-effect' into value-effects	2018-07-23 12:54:54 -04:00
Rob Rix	0e4ac6bccb	Add the license for type-aligned.	2018-07-23 12:54:11 -04:00
Ayman Nadeem	b8317c8586	remove mergeable	2018-07-23 12:39:46 -04:00
Ayman Nadeem	6ba948f42b	remove strict type	2018-07-23 12:39:11 -04:00
Ayman Nadeem	f773cc7de0	turn LambdaBody into a newtype	2018-07-23 12:35:49 -04:00
Ayman Nadeem	ccd7883574	remove comment	2018-07-23 12:33:18 -04:00
Ayman Nadeem	6e0d69133e	remove mergeable from Java.Syntax	2018-07-23 12:16:05 -04:00
Ayman Nadeem	52d89b7a05	fix merge conflicts	2018-07-23 11:23:57 -04:00
Ayman Nadeem	cb032b8229	change to newtype	2018-07-23 11:09:46 -04:00
Ayman Nadeem	f9474e633c	cleanup comments in assignment	2018-07-23 11:09:19 -04:00
Ayman Nadeem	3139301e7b	add Named1 and Message1	2018-07-23 11:08:25 -04:00
Rob Rix	bf388b4f50	Generalizes providingLiveSet to PureEffects.	2018-07-23 11:07:55 -04:00
Rob Rix	16e0a43a77	Generalize the graphing handlers to PureEffects.	2018-07-23 11:07:30 -04:00
Timothy Clem	67c6c7eb83	Merge branch 'master' into control-flow-part2	2018-07-23 08:04:59 -07:00
Rob Rix	be526492ff	Generalize everything we can to PureEffects.	2018-07-23 11:02:54 -04:00
Rob Rix	182c539718	Bump effects for a generalization to bracket.	2018-07-23 11:02:19 -04:00
Rob Rix	d1a9775874	Bump effects.	2018-07-23 10:55:07 -04:00
Rob Rix	490bd54d1e	Define a runBoolean handler for Concrete semantics.	2018-07-23 10:53:59 -04:00
Rob Rix	28fb83dfcb	Define a runBoolean handler for Type semantics.	2018-07-23 10:50:50 -04:00
Rob Rix	73c8443a6b	Define a runBoolean handler for Abstract semantics.	2018-07-23 10:48:07 -04:00
Rob Rix	bdb1437e5c	Define a runUnit handler for Concrete semantics.	2018-07-23 10:45:22 -04:00
Rob Rix	0bf81660ed	Define a runUnit handler for Type semantics.	2018-07-23 10:44:28 -04:00
Rob Rix	d8f8f66594	Define a runUnit handler for Abstract semantics.	2018-07-23 10:43:15 -04:00
Rob Rix	33c6bc88f4	Correct the test.	2018-07-23 10:26:26 -04:00
Rob Rix	861a3fc80e	Rename closure to function.	2018-07-23 10:26:06 -04:00
Rob Rix	a6b3192be7	Specialize call to call-by-value.	2018-07-23 10:18:25 -04:00
Rob Rix	056177572c	Define a call' smart constructor.	2018-07-23 10:13:49 -04:00
Rob Rix	0b29c97b25	Define a function' smart constructor.	2018-07-23 10:12:12 -04:00
Rob Rix	48b4169dce	Define an asPair' smart constructor.	2018-07-23 10:05:43 -04:00
Rob Rix	4677961b85	Define a pair' smart constructor.	2018-07-23 10:04:58 -04:00
Rob Rix	ebe220b361	Define an asBool smart constructor.	2018-07-23 10:04:12 -04:00
Rob Rix	c675754b15	Define a boolean smart constructor.	2018-07-23 10:03:31 -04:00
Rob Rix	c023034df8	Define a unit' smart constructor.	2018-07-23 10:02:53 -04:00
Rob Rix	4fe4fc3e05	Export Unit, Boolean, and Pair.	2018-07-23 09:58:33 -04:00