33 Commits

Author	SHA1	Message	Date
joshvera	37d7eb8b9f	Remove unused lang extension	2018-03-22 13:06:22 -04:00
joshvera	a8c9c815ef	Rename NonDetEff to NonDet	2018-03-22 10:35:25 -04:00
Patrick Thomson	6a5c3084ad	merge folderol	2018-03-16 16:58:15 -04:00
Patrick Thomson	5df347eb3e	Merge remote-tracking branch 'origin/master' into classes	2018-03-16 16:51:59 -04:00
Patrick Thomson	56e7c25268	Move Exports to its own module.	2018-03-16 14:09:41 -04:00
Timothy Clem	38fb63f660	TypeApplications no longer necessary here	2018-03-16 09:03:37 -07:00
Timothy Clem	a580e1d65b	One more piece of state now	2018-03-15 15:37:17 -07:00
Timothy Clem	d6036f4165	Merge remote-tracking branch 'origin/export-wrapper' into ruby-imports	2018-03-15 15:34:06 -07:00
Timothy Clem	a40dc8825e	One more fst	2018-03-15 15:28:41 -07:00
Timothy Clem	7e2557b396	Merge remote-tracking branch 'origin/master' into export-wrapper	2018-03-15 15:25:54 -07:00
Timothy Clem	e5e72b36e9	Some ruby load specs and fixtures	2018-03-15 15:09:07 -07:00
Timothy Clem	572f057037	Different spec name	2018-03-15 15:08:03 -07:00
Rob Rix	4bd7bc5427	Remove the location parameter from Value.	2018-03-15 16:04:36 -04:00
Timothy Clem	92b383cf45	Extract some comment path to qualified name helpers	2018-03-15 12:29:08 -07:00
Timothy Clem	1e276dddef	TDD FTW	2018-03-15 11:34:34 -07:00
Timothy Clem	c46000c74d	Fail if trying to re-export something not defined in the imported module	2018-03-15 10:33:08 -07:00
Rob Rix	300af7ebde	Correct the paths to the global env.	2018-03-15 10:23:50 -04:00
Rob Rix	3c6d4f9976	🔥 mentions of the obsolete *Value synonyms.	2018-03-15 10:14:22 -04:00
Timothy Clem	7204debb07	Merge remote-tracking branch 'origin/master' into import-language-tour	2018-03-14 11:38:49 -07:00
Timothy Clem	f3b2e0cd2a	Store a list of terms in the unevaluted module table to allow multi file module imports	2018-03-13 13:09:04 -07:00
Timothy Clem	740d092271	Whitespace	2018-03-13 10:59:06 -07:00
Timothy Clem	1687c63d64	Reduce imports by relying on SpecHelpers (and Util)	2018-03-13 10:26:28 -07:00
Timothy Clem	ae05ff7313	Not ready for this just yet	2018-03-13 10:13:56 -07:00
Timothy Clem	69b2c5c64d	Sort out spechelper again with new interfaces	2018-03-12 16:13:21 -07:00
Timothy Clem	296fc5d4b5	Load up multiple files in the same package (Go)	2018-03-12 15:01:19 -07:00
Timothy Clem	5b1829e474	Some nice Go eval import specs	2018-03-12 13:52:50 -07:00
Timothy Clem	48acfa70df	Test out side effect imports in TypeScript	2018-03-12 10:45:34 -07:00
Timothy Clem	9795613239	Just assert the environment	2018-03-12 09:25:04 -07:00
Timothy Clem	f015a1f027	Cleanup these specs and extract some common helpers	2018-03-09 16:24:23 -08:00
Timothy Clem	d8767f285f	Capital P Python	2018-03-09 15:55:04 -08:00
Timothy Clem	dc96cde7cd	Test out some TypeScript imports	2018-03-09 15:54:52 -08:00
Timothy Clem	d352c66227	Test out rest of python imports, move to new dir	2018-03-09 15:16:07 -08:00
Timothy Clem	3fc7f644b2	Try my hand at a spec for analysis - test out python imports	2018-03-09 15:01:29 -08:00