Rob Rix
a522efcb1e
Hide an ambiguous symbol.
2018-03-30 19:53:23 -04: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
Josh Vera
6bb737c18f
Merge branch 'master' into combined-state-effects
2018-03-28 11:56:17 -04:00
Josh Vera
c79f178fc1
Merge branch 'master' into matching
2018-03-28 11:45:57 -04:00
Rob Rix
5ae24ddc89
Merge branch 'master' into combined-state-effects
2018-03-28 08:33:19 -04:00
Timothy Clem
5c1e5514f7
Merge branch 'master' into you-get-a-namespace
2018-03-27 15:40:30 -07:00
Timothy Clem
3d56947e82
Fix typos
2018-03-27 15:18:38 -07:00
Patrick Thomson
85d064bf95
Merge remote-tracking branch 'origin/master' into matching
2018-03-27 16:34:31 -04:00
Patrick Thomson
034bb562d4
Introduce tree-automata DSL for filtering and matching ASTs.
...
This patch adds the `Matcher` monad, which is capable of filtering any
recursive data structure, bottom-up, yielding a list of (or an
optional) result. These functions are probably going to be used over
`Term` values, so API is provided to wrap common projection functions.
The API was more or less copied directly from that of Clang's AST
matching facilities.
There are a lot of things we can do in the future:
* Binding results yielded in matchers to associated names, for future
transformation stages to look up and modify.
* Actual transformation stages.
* Optimizations. This is not very fast.
A million thanks to @robrix , whose sage advice managed to turn my
kooky idea for an API into something really special and exciting.
2018-03-27 16:14:30 -04:00
Rob Rix
b8d714af28
Use the EvaluatingState fields directly.
2018-03-27 15:23:26 -04:00
Rob Rix
7a10eabfd7
🔥 an unused language pragma.
2018-03-27 15:14:25 -04:00
Timothy Clem
e770aaec35
Fix up Import graph output
2018-03-27 10:20:41 -07:00
Timothy Clem
e2d13b6cdc
Fix up specs
2018-03-27 10:20:28 -07:00
Timothy Clem
094432934f
Ruby class example
2018-03-26 15:30:11 -07:00
Timothy Clem
bea56e5bab
Demonstrate a little more detail of subclassing
2018-03-26 15:29:39 -07:00
Timothy Clem
e78740ef88
Add another layer to Ruby module fixture
2018-03-26 13:00:49 -07:00
Timothy Clem
3eece19234
Assert environment has module in it
2018-03-26 12:53:58 -07:00
Timothy Clem
f3ceab31b0
Cleanup
2018-03-26 12:53:49 -07:00
Timothy Clem
203042742b
Spec to asset eval of ruby modules
2018-03-26 12:50:06 -07:00
Timothy Clem
4c445c2fc1
Fix references to PackageDef in tests
2018-03-26 12:49:52 -07:00
Timothy Clem
365a592c03
Go assignment changed with new Package syntax
2018-03-26 11:09:22 -07:00
Josh Vera
4b22e851d3
Merge branch 'master' into disable-doctests
2018-03-26 13:28:03 -04:00
joshvera
e98dbf177f
Explicitly list out doctest modules
2018-03-26 13:03:25 -04:00
joshvera
e6fce8f67d
Add it to the doctest file
2018-03-26 12:20:22 -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
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
