github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity
31,437 Commits 19 Branches 16 Tags 46 MiB
923664b811
Commit Graph

280 Commits

Author SHA1 Message Date
Patrick Thomson
923664b811 Forgot to insert this nice new type variable. 2019-12-05 15:46:10 -05:00
Patrick Thomson
7978318d6b Generalize eliminateFailures to MonadFail. 2019-12-05 15:15:15 -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
1c735d46d0 Establish HTraversable instances for Core, Ann, and Failure. 2019-12-05 15:06:54 -05:00
Patrick Thomson
609ddb989c Add eliminateFailures, even though it doesn't do what I want. 2019-11-14 15:26:04 -05:00
Patrick Thomson
99ae60a184 Remove all MonadFail occurrences from the Python compiler. 2019-11-13 14:34:18 -05:00
Patrick Thomson
14d7ba5b0b Add failure syntax. 2019-11-13 14:33:39 -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
3421824b19 new comment style 2019-10-25 13:47:58 -04:00
Patrick Thomson
fde167a236 Better prelude. 2019-10-23 15:10:54 -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
21dd102e61 Implement member lookup in a way that doesn't crash the scope graph 2019-10-23 14:30:45 -04:00
Patrick Thomson
9b46692cbd Don't try to implement this yet. 2019-10-23 13:15:42 -04:00
Patrick Thomson
cb783e6646 Make this a boolean operator pending resolution of #358. 2019-10-23 11:59:23 -04:00
Patrick Thomson
559958d9cf Define new :? type for checked lookups and try implementing it. 2019-10-22 17:27:54 -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
c6779b7fb2 Fix bug in the prelude. 2019-10-21 15:26:06 -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
61ee51952b Merge remote-tracking branch 'origin/master' into compile-string-literals 2019-10-21 15:16:32 -04:00
Patrick Thomson
5f35d1ab35
Merge pull request #345 from github/function-define-thyself 
Use `rec` so functions can refer to themselves in their bodies.
 2019-10-21 15:15:21 -04:00
Patrick Thomson
b06b3338f8 Unused pragmas. 2019-10-21 14:59:42 -04:00
Patrick Thomson
a767642ab9 Merge remote-tracking branch 'origin/cache-cow' into hlint-in-ci-again 2019-10-21 14:12:46 -04:00
Patrick Thomson
386e8317dc lint semantic-python 2019-10-21 14:09:20 -04:00
Rob Rix
32c1c79022
Bump the tested-with version to 8.6.5 for semantic & semantic-python. 2019-10-21 13:31:06 -04:00
Patrick Thomson
ecaa5a1671 Combine lets. 2019-10-21 12:41:45 -04:00
Patrick Thomson
cbda7cf344 Merge remote-tracking branch 'origin/master' into function-define-thyself 2019-10-21 12:35:35 -04:00
Patrick Thomson
ff23c301fb don't worry about this since it's a known bug 2019-10-18 10:22:19 -04:00
Rob Rix
b22d86b55b
Tags hold a Loc. 2019-10-17 12:28:32 -04:00
Patrick Thomson
b0752f0a96 forgot some semicolons 2019-10-17 00:10:31 -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
b5d6e7186f First attempt at compiling string literals. 2019-10-16 17:22:18 -04:00
Patrick Thomson
cd69e8aab5 Stylish. 2019-10-15 13:11:22 -04:00
Patrick Thomson
daf12b5132 Integrate prelude into the test suite. 2019-10-15 13:10:18 -04:00
Patrick Thomson
5578e42989 Call the type function inside the __semantic_prelude global. 2019-10-15 12:46:32 -04:00
Patrick Thomson
2b1b2f6223 Semantic files are .score according to @robrix. 2019-10-15 11:28:01 -04:00
Patrick Thomson
a866007d56 Define object in the Prelude. 2019-10-14 16:37:59 -04:00
Patrick Thomson
64015c23ae Cleanup. 2019-10-14 12:03:53 -04:00
Patrick Thomson
863691a6ac stray debug 2019-10-14 11:53:21 -04:00