github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Code Issues Projects Releases Wiki Activity
32,593 Commits 19 Branches 16 Tags 46 MiB
34186bced7
Commit Graph

140 Commits

Author SHA1 Message Date
joshvera
34186bced7 Remove sketches 2020-02-05 21:00:11 -05:00
joshvera
e6460394e8 Create Import edge paths in Import statements 2020-01-30 17:06:34 -05:00
joshvera
4530d0c1d4 Stub import hole test 2020-01-29 14:14:08 -05:00
joshvera
c707d3e11f Merge remote-tracking branch 'origin/master' into function-scopes 2020-01-29 12:29:31 -05:00
joshvera
c9eb0cfa76 Add function arg test 2020-01-23 11:20:35 -05:00
joshvera
ff988e048c Define simple function test 2020-01-22 17:31:28 -05:00
Patrick Thomson
2cbc52804b Merge remote-tracking branch 'origin/master' into semantic-scope-graph 2020-01-15 16:30:42 -05:00
Patrick Thomson
fd494852fe
Merge pull request #407 from github/not-the-branch-you're-looking-for 
Compile `not` statements.
 2020-01-15 11:11:52 -05:00
joshvera
5ea07633d2 Failing reference test 2020-01-14 18:08:10 -05:00
Rob Rix
4022643c42
Don’t shout about the HLINT pragma. 2020-01-06 16:38:00 -05:00
Rob Rix
f5c8346740
Ignore hints in assertEvaluatesTo. 2020-01-06 16:37:49 -05:00
Rob Rix
55e573eb7f
Revert "Trick hlint." 
This reverts commit 29e09bea4d.
 2020-01-06 16:37:01 -05:00
Rob Rix
29e09bea4d
Trick hlint. 
This is goofy as hell but we don’t have maybeM here.
 2020-01-06 15:17:53 -05:00
Rob Rix
e34444eaf9
Revert "Placate hlint." 
This reverts commit d278a01122.
 2020-01-06 15:13:55 -05:00
Rob Rix
d278a01122
Placate hlint. 2020-01-06 13:59:29 -05:00
Rob Rix
f78d90aaae
Remove the CHECK-JQ directive. 2019-12-20 11:43:15 -05:00
Rob Rix
540b88c5a0
Evaluate closed terms. 2019-12-20 11:04:42 -05:00
Rob Rix
8894d73bbb
Correct a type signature. 2019-12-20 10:57:33 -05:00
Rob Rix
38215571c1
Fix a couple of instances. 2019-12-20 10:55:50 -05:00
Rob Rix
c04c59d772
Fix the semantic-python test build. 2019-12-20 10:47:17 -05:00
Patrick Thomson
74183dba8c Add a test. 2019-12-17 13:26:17 -05:00
Rob Rix
ae6b2849f2
Merge pull request #404 from github/none-is-the-loneliest-umber 
Compile Python None expressions.
 2019-12-16 09:34:05 -05:00
Patrick Thomson
e115f4ad59 Compile Python None expressions. 2019-12-13 12:51:23 -05:00
Patrick Thomson
e137f4c68b Compile Python lambdas. 
Lambdas are so hilariously crippled in Python that they're
significantly easier to compile than functions. Indeed, the resulting
core looks much like a function definition, without a `rec` binding.
 2019-12-13 12:14:04 -05:00
Patrick Thomson
862ee92eb8 Fix semantic-python tests. 2019-12-11 15:47:03 -05:00
Rob Rix
df43078a65
Merge branch 'master' into fused-effects-one-dot-zero 2019-12-10 14:48:48 -05:00
Patrick Thomson
91d0d8e019 Work around missing MonadFail instance for Either String. 2019-12-05 15:49:01 -05:00
Patrick Thomson
615931890b Restore the original location of eliminateFailures. 2019-12-05 15:10:10 -05:00
Patrick Thomson
37f70c8e28 Express eliminateFailures with Syntax.Term.handle. 2019-12-05 15:07:32 -05:00
Patrick Thomson
2e39e129cd Make semantic-python tests work. 2019-11-08 22:37:17 -05:00
Patrick Thomson
7db0a6e61c hlint 2019-10-31 14:17:45 -04:00
Patrick Thomson
c21828efc2 More unused imports. 2019-10-31 13:57:47 -04:00
Patrick Thomson
b91fbf065e Remove unused import and sort them. 2019-10-30 15:43:32 -04:00
Patrick Thomson
80587be6cc Adjust prelude definitions since we can't yet assign to slots. 2019-10-30 15:13:34 -04:00
Patrick Thomson
f4d70c0c21 Align some definitions. 2019-10-30 13:51:51 -04:00
Patrick Thomson
ebb74b30cb Parse result directive RHS values into Concrete values. 2019-10-30 13:49:54 -04:00
Patrick Thomson
45864480e0 clean up language, in a literal sense 2019-10-30 13:40:36 -04:00
Patrick Thomson
c2bce9d76a Give tree equality its own assertion function 2019-10-30 13:33:07 -04:00
Patrick Thomson
edaac52ebd extract readDirectivesFromFile into the Directives module 2019-10-30 13:29:18 -04:00
Patrick Thomson
3bf5c415f1 Clean up milestoneFixtures. 2019-10-30 13:20:26 -04:00
Patrick Thomson
630f2fcb3d Initial version of this before I go on a refactoring spree. 2019-10-30 13:13:53 -04:00
Patrick Thomson
edd83d466f Merge branch 'look-up-its-a-core' into compile-string-literals 2019-10-23 14:52:29 -04:00
Patrick Thomson
bd24ff7daf Merge remote-tracking branch 'origin/master' into hlint-in-ci-again 2019-10-21 15:28:27 -04:00
Patrick Thomson
a273f5881c Make it more accurate now that eval is not a special node. 2019-10-21 15:25:54 -04:00
Patrick Thomson
e607d9c011 Adjust the name of this test. 2019-10-21 15:25:28 -04:00
Patrick Thomson
b06b3338f8 Unused pragmas. 2019-10-21 14:59:42 -04:00
Patrick Thomson
386e8317dc lint semantic-python 2019-10-21 14:09:20 -04:00
Patrick Thomson
ff23c301fb don't worry about this since it's a known bug 2019-10-18 10:22:19 -04:00
Patrick Thomson
01b4a23b23 Use rec so functions can refer to themselves in their bodies. 
Code like the following kind is legal in Python:

```python
def recursive(a): return recursive
```

This implies that function and class definitions need to use the Core
`rec` construct so that their bodies have an appropriate entry in the scope.
 2019-10-16 17:34:43 -04:00
Patrick Thomson
daf12b5132 Integrate prelude into the test suite. 2019-10-15 13:10:18 -04:00