Rob Rix
b7f7ff3e68
Merge branch 'master' into remove-fail
2018-03-26 10:08:54 -04:00
joshvera
cf4a87068e
Merge remote-tracking branch 'origin/master' into preludes-and-subclassing
2018-03-23 17:56:26 -04:00
joshvera
a149c76a05
Merge remote-tracking branch 'origin/master' into remove-fail
2018-03-23 17:40:22 -04:00
joshvera
ba3969c4b0
Merge remote-tracking branch 'origin/master' into query-final-helpers
2018-03-23 17:03:25 -04:00
joshvera
b1efc533cf
fix test
2018-03-23 15:37:06 -04:00
joshvera
dbaf374d3a
Merge remote-tracking branch 'origin/master' into remove-fail
2018-03-23 15:29:47 -04:00
Josh Vera
745eb85ee7
Merge branch 'master' into preludes-and-subclassing
2018-03-23 15:26:41 -04:00
Josh Vera
140ccb02c1
Merge branch 'master' into no-really-php-namespaces
2018-03-23 15:04:59 -04:00
Timothy Clem
465feebb39
Remove a few extra parens
2018-03-23 11:25:02 -07:00
Timothy Clem
7f71e27df4
Some helpers to query Final
2018-03-23 10:11:29 -07:00
Timothy Clem
8c90975a48
Write a test, fix a bug
2018-03-23 08:57:02 -07:00
Patrick Thomson
dce0f5c277
fix the specs
2018-03-23 11:50:53 -04:00
joshvera
173781c501
Add Eq1 instances to exception types
2018-03-23 11:48:56 -04:00
Patrick Thomson
3e3ad4f078
very bad, no good hack to fix a lot of the tests
2018-03-23 11:25:05 -04:00
joshvera
68ca81ad97
Merge branch 'module-resolution' into remove-fail
2018-03-23 11:01:13 -04:00
Patrick Thomson
15cc860ad1
Merge remote-tracking branch 'origin/master' into preludes-and-subclassing
2018-03-23 10:31:51 -04:00
joshvera
9b2524cc81
Merge branch 'module-resolution' into default-extensions
2018-03-23 10:31:07 -04:00
joshvera
5905c85052
Add join to tests
2018-03-23 10:29:01 -04:00
Josh Vera
5c5dedfeda
Merge branch 'master' into module-resolution
2018-03-22 19:32:33 -04:00
joshvera
54c11bf629
join fst
2018-03-22 19:31:51 -04:00
joshvera
3b40f0af96
Add a Resumable1 exception
2018-03-22 19:08:05 -04:00
joshvera
901cd319a2
fix ruby test
2018-03-22 16:39:53 -04:00
Patrick Thomson
178da2959e
Implement multiple inheritance.
...
Python is the only language that we support that permits multiple
inheritance, which is probably good, since MI is generally considered
a sign of a poorly-designed object hierarchy. But there's no reason
not to support it. This algorithm is more simplistic than Python's
actual method-resolution lookup, but it's fine for now, and the
behavior for simple cases matches that of Python.
2018-03-22 15:54:21 -04:00
Josh Vera
7792356012
Merge branch 'master' into default-extensions
2018-03-22 15:43:31 -04:00
Josh Vera
a2e73afd45
Merge branch 'master' into module-resolution
2018-03-22 15:42:44 -04:00
Patrick Thomson
bd939d2579
Fix Python method calls.
...
`identifier` in the Python assignment module was too eager to reduce a
nested Attribute into a dotted identifier. Removing it fixes method
calls, which now have a unit test.
2018-03-22 15:35:08 -04:00
joshvera
bfee652f14
redundant lang extension
2018-03-22 13:07:42 -04:00
joshvera
fdfca338f5
unused constraint
2018-03-22 13:07:32 -04:00
joshvera
37d7eb8b9f
Remove unused lang extension
2018-03-22 13:06:22 -04:00
Patrick Thomson
693045439a
Add test suite.
2018-03-22 13:02:39 -04:00
Patrick Thomson
089403d25f
Merge branch 'master' into subclassing
2018-03-22 12:40:29 -04:00
Patrick Thomson
9d97b8f6c7
Add a spec for subclassing
2018-03-22 12:31:53 -04:00
joshvera
f2169e09a9
Move MultiParamTypeClasses, StandaloneDeriving, and DataKinds to default-extensions
2018-03-22 12:23:11 -04:00
joshvera
a8c9c815ef
Rename NonDetEff to NonDet
2018-03-22 10:35:25 -04:00
Timothy Clem
69e2eda8db
Couple more tests
2018-03-20 16:46:32 -07:00
Timothy Clem
1a7f0e4b77
TypeApplications not necessary anymore
2018-03-19 14:53:55 -07:00
Timothy Clem
8522af6492
Use OverloadedLists here
2018-03-19 14:53:47 -07:00
Timothy Clem
7fdc5e2fda
Write a small spec for evaluating PHP includes
2018-03-19 14:42:31 -07:00
Timothy Clem
811370a767
First PHP fixtures to work with
2018-03-19 14:42:31 -07:00
Patrick Thomson
dd1e1c555d
Merge remote-tracking branch 'origin/master' into classes
2018-03-19 15:45:43 -04:00
Patrick Thomson
d053da814b
Merge branch 'master' into ruby-match-syntax
2018-03-19 15:35:38 -04:00
Patrick Thomson
5664bcdede
fix unit tests
2018-03-19 12:17:44 -04:00
Rob Rix
e293814424
Pass --fast to try to speed up the doctests.
2018-03-19 10:09:59 -04:00
Rob Rix
5cb387836d
Don’t include the args twice.
2018-03-19 09:53:58 -04:00
Rob Rix
f67a2a1dc3
Allow the arguments to override src.
2018-03-19 09:40:19 -04:00
Rob Rix
e5821ffec5
Run all doctests found in src.
2018-03-19 09:23:46 -04:00
Rob Rix
bbb51588e5
Add a doctest component.
2018-03-19 09:23:11 -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
17bf4150e3
implement Evaluatable for member access, add doctests, and fix Latest
2018-03-16 15:41:15 -04:00
Rob Rix
863d6aa428
Add a doctest component.
2018-03-16 14:34:54 -04:00
Patrick Thomson
a44d5ed861
Use the Environment functions qualified.
2018-03-16 14:33:55 -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
55c79cb8df
Slight change to ruby require parse trees
2018-03-15 15:09:53 -07:00
Timothy Clem
f70ef24015
Assign and eval ruby's load syntax
2018-03-15 15:09:28 -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
9e118aac51
Some example ruby code for requires
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
Rob Rix
fcf44b5a37
Rename Store to Heap.
2018-03-14 20:42:59 -04:00
Timothy Clem
aeb49477a1
Update integration fixtures for changes to assignment
2018-03-14 16:13:41 -07: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
6a8cee384e
Organize SpecHelper, remove unused imports
2018-03-13 11:18:05 -07:00
Timothy Clem
579a447961
Test out go import evaling
2018-03-13 11:14:55 -07:00
Timothy Clem
bbff8d45ed
More spec import cleanup
2018-03-13 11:10:50 -07:00
Timothy Clem
993ae92a75
Clean up IntegrationSpec imports
2018-03-13 11:04:58 -07:00
Timothy Clem
1b79ed205e
TOCSpec import cleanup
2018-03-13 10:59:20 -07:00
Timothy Clem
740d092271
Whitespace
2018-03-13 10:59:06 -07:00
Timothy Clem
68ec7adef3
Refine import spec imports
2018-03-13 10:32:25 -07:00
Timothy Clem
1687c63d64
Reduce imports by relying on SpecHelpers (and Util)
2018-03-13 10:26:28 -07:00
Timothy Clem
b74ee2c12b
SpecHelpers as a bit of a prologue for specs
2018-03-13 10:26:09 -07:00
Timothy Clem
ae05ff7313
Not ready for this just yet
2018-03-13 10:13:56 -07:00
Timothy Clem
1b57a59ee5
This is Rab
2018-03-13 10:13:42 -07:00
Timothy Clem
69b2c5c64d
Sort out spechelper again with new interfaces
2018-03-12 16:13:21 -07:00
Timothy Clem
cc4fd12428
Merge remote-tracking branch 'origin/more-typescript-imports' into typescript-exports
2018-03-12 15:37:12 -07:00
Timothy Clem
08c59a43d2
Merge remote-tracking branch 'origin/master' into typescript-exports
2018-03-12 15:30:28 -07:00
Timothy Clem
296fc5d4b5
Load up multiple files in the same package (Go)
2018-03-12 15:01:19 -07:00
Timothy Clem
612298cb9d
Test updates from assignment changes
2018-03-12 13:53:19 -07:00
Timothy Clem
cb9004804f
Run go fmt
on this fixture
2018-03-12 13:53:06 -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
8ebcd5a864
Merge remote-tracking branch 'origin/master' into import-language-tour
2018-03-12 10:03:25 -07:00
Timothy Clem
9795613239
Just assert the environment
2018-03-12 09:25:04 -07:00
Timothy Clem
38b7607fa3
Turn on the TypeScript analysis spec
2018-03-09 16:24:32 -08: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
a6bb1452dc
Fix up TypeScript fromClause to support relatives paths hack
2018-03-09 15:54:29 -08:00
Timothy Clem
d352c66227
Test out rest of python imports, move to new dir
2018-03-09 15:16:07 -08:00