joshvera
984cda99d0
Fix tests
2018-04-19 13:35:45 -04:00
joshvera
fde2253fc5
pure?
2018-04-05 19:49:50 -04:00
Timothy Clem
7dd2c2b0c4
With print in prelude, fix up these specs
2018-04-03 15:50:18 -07:00
Timothy Clem
e54e61cea0
Python imports in the new world work again
2018-04-02 11:07:09 -07:00
Timothy Clem
a3d35ac9a0
WIP: Attempt to back out Identifiers as qualified names
2018-04-02 10:40:52 -07:00
Timothy Clem
a495716e09
Fix it so that the tests compile
2018-03-30 16:19:39 -07:00
joshvera
e8db080923
Merge remote-tracking branch 'origin/master' into less-fail
2018-03-28 13:12:20 -04:00
joshvera
af0793a7ad
Add Eq1 error instances and fix tests
2018-03-28 12:58:12 -04:00
Rob Rix
5ae24ddc89
Merge branch 'master' into combined-state-effects
2018-03-28 08:33:19 -04:00
Rob Rix
b8d714af28
Use the EvaluatingState fields directly.
2018-03-27 15:23:26 -04:00
joshvera
3fea455061
typo
2018-03-26 12:05:54 -04:00
joshvera
126cdc5285
Make typeapplications a default extension
2018-03-26 12:00:19 -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
Timothy Clem
7f71e27df4
Some helpers to query Final
2018-03-23 10:11:29 -07:00
joshvera
173781c501
Add Eq1 instances to exception types
2018-03-23 11:48:56 -04:00
joshvera
68ca81ad97
Merge branch 'module-resolution' into remove-fail
2018-03-23 11:01:13 -04:00
joshvera
5905c85052
Add join to tests
2018-03-23 10:29:01 -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
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
Patrick Thomson
56e7c25268
Move Exports to its own module.
2018-03-16 14:09:41 -04:00
Rob Rix
4bd7bc5427
Remove the location parameter from Value.
2018-03-15 16:04:36 -04: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
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
69b2c5c64d
Sort out spechelper again with new interfaces
2018-03-12 16:13:21 -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
d352c66227
Test out rest of python imports, move to new dir
2018-03-09 15:16:07 -08:00