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,439 Commits 19 Branches 16 Tags 46 MiB
16aa229442
Commit Graph

282 Commits

Author SHA1 Message Date
Patrick Thomson
16aa229442 Lints. 2019-12-05 17:12:21 -05:00
Patrick Thomson
91d0d8e019 Work around missing MonadFail instance for Either String. 2019-12-05 15:49:01 -05:00
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