Timothy Clem
15f7e57571
First pass at doing parse-examples in haskell and hspec
2018-09-17 15:49:18 -07:00
Patrick Thomson
1ba38e3e57
Merge remote-tracking branch 'origin/master' into term-rewriting-mk2
2018-09-17 18:31:44 -04:00
Patrick Thomson
1d61d40354
Merge branch 'master' into fix-benchmarks
2018-09-17 16:55:40 -04:00
Patrick Thomson
12ac402656
Merge pull request #2176 from github/bump-synopsis
...
Replace the "initial project from stack" synopsis.
2018-09-17 16:33:49 -04:00
Patrick Thomson
eac1876a9a
Bump licenses.
2018-09-17 16:33:26 -04:00
Patrick Thomson
7c35cb524a
Merge branch 'master' into bump-synopsis
2018-09-17 16:18:58 -04:00
Patrick Thomson
8c31747dc3
Merge branch 'master' into fix-benchmarks
2018-09-17 16:16:48 -04:00
Rob Rix
e2bd55950d
Widen the heap.
2018-09-17 15:38:21 -04:00
Timothy Clem
344873f0f7
Go corpus back the other way?
2018-09-17 11:26:47 -07:00
Timothy Clem
edf66f9b98
Go has a new Identifier''
2018-09-17 11:22:18 -07:00
Timothy Clem
b6e257c088
Pick up tree-sitter-go-bump
2018-09-17 11:22:12 -07:00
joshvera
82b6b7c52e
Don't construct new scopes for every local assignment
...
Only construct a new scope for a local assignment if its rhs has an associated scope.
2018-09-17 13:29:50 -04:00
joshvera
659c51305f
remove comment
2018-09-17 13:28:50 -04:00
joshvera
7e33afef4f
Remove comments
2018-09-17 13:15:20 -04:00
joshvera
2d071e5090
Remove Data.Abstract.Frame for now
2018-09-17 13:05:24 -04:00
Timothy Clem
64c9d20826
Error span changed
2018-09-17 09:56:39 -07:00
Timothy Clem
c97d43aaca
Refinement of types is Go
2018-09-17 09:56:31 -07:00
Timothy Clem
883d4586c0
TypeScript fixes for more type identifiers
2018-09-17 09:48:47 -07:00
Timothy Clem
e8298a6e1e
TypeScript Identifier''
2018-09-17 09:30:13 -07:00
Timothy Clem
80dfd75635
Ruby corpus changes
2018-09-17 09:30:03 -07:00
Timothy Clem
31f019cb65
Ruby assignment changes to support then
2018-09-17 09:29:37 -07:00
Timothy Clem
d38b0998a0
++tree-sitter with a few language grammar updates too
2018-09-17 09:29:27 -07:00
joshvera
5c96b3d6d7
Merge remote-tracking branch 'origin/master' into scopes-and-frames
2018-09-17 12:08:27 -04:00
Patrick Thomson
3c33b42031
fix lints, again
2018-09-17 11:33:48 -04:00
Patrick Thomson
1d93c913bb
Merge pull request #2173 from github/assignment-timeout
...
Assignment timeout
2018-09-17 11:26:24 -04:00
Patrick Thomson
06b44c4fc9
Replace the "initial project from stack" synopsis.
...
I figure that since we're starting to show this to other teams, it
behooves our documentation to have a more meaningful description.
Happy to change this if y'all can come up with a snappier synopsis.
2018-09-17 11:21:21 -04:00
Patrick Thomson
f6f2476641
fix tests
2018-09-17 11:17:10 -04:00
Patrick Thomson
d0d1350a42
add test code
2018-09-17 11:12:57 -04:00
Patrick Thomson
ec7ee9da62
improve JSON formatting so the diff doesn't whine
2018-09-17 10:52:28 -04:00
joshvera
68ca3b06bc
Remove type-combinators dep
2018-09-14 19:04:09 -04:00
joshvera
4e28c3aa0c
Cover all New cases
2018-09-14 18:50:22 -04:00
joshvera
7d287a8ca7
Remove declaration free variable
...
and clean up lints
2018-09-14 18:35:11 -04:00
joshvera
8bc8b196a2
docs
2018-09-14 18:25:24 -04:00
joshvera
8e1e9579da
lints
2018-09-14 18:16:54 -04:00
joshvera
a4f84f4371
Remove scratch Scope file
2018-09-14 18:14:34 -04:00
joshvera
b70dd31027
Fix Declarations1 MemberAccess instance
2018-09-14 18:14:02 -04:00
joshvera
eb71b512b3
Fix test type errors
2018-09-14 18:04:08 -04:00
joshvera
41881f3057
Add edges to superclasses
2018-09-14 17:06:26 -04:00
Timothy Clem
d2524e194d
Merge branch 'master' into assignment-timeout
2018-09-14 14:03:37 -07:00
Timothy Clem
aea6e81ad7
This can use our timeout effect now
2018-09-14 14:01:15 -07:00
Timothy Clem
d16c07dfc6
Refine our Duration api
2018-09-14 13:50:02 -07:00
joshvera
ce2263d5e5
Set a declaration's scope on assignment
2018-09-14 15:12:29 -04:00
Patrick Thomson
d1cc400dc0
add spec file
2018-09-14 13:10:22 -04:00
Patrick Thomson
b8b8fe01c9
port over Control.Rewriting
2018-09-14 12:47:21 -04:00
joshvera
d19b861cbe
Eval instance for New
2018-09-14 11:35:43 -04:00
joshvera
c61c592ef6
Prefer import edges over parent edges
2018-09-13 18:27:19 -04:00
Timothy Clem
a6ce4f672f
Docs and sort out a common Duration datatype
2018-09-13 14:51:32 -07:00
joshvera
0cdbd1e51d
Run a statements children within its scope
2018-09-13 17:46:59 -04:00
joshvera
442fe39725
Run the class's children in its scope
2018-09-13 17:46:46 -04:00
joshvera
8d89393e49
Add Ord constraint
2018-09-13 17:46:25 -04:00