github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00
Code Issues Projects Releases Wiki Activity
31,684 Commits 19 Branches 16 Tags 46 MiB
e13e4c46a4
Commit Graph

31684 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
2a4f9a230a
Merge pull request #397 from changlinli/in-the-lingua-franca-redux 
Minor style fix for all languages in CLI
 2019-12-10 12:10:21 -05:00
Changlin Li
46b9dfc9cf Minor style fix for all languages in CLI 
Makes retrieving all languages insensitive to the ordering of languages
inside the `Language` datatype declaration and removes a couple of
unneeded function calls.
 2019-12-10 11:24:03 -05:00
Patrick Thomson
48db5aa13a
Merge pull request #395 from github/re-writedown 
Remove Control.Rewriting.
 2019-12-10 10:47:38 -05:00
Patrick Thomson
ff3389adfb Remove Control.Rewriting. 
We no longer use this anywhere, nice though it is.
 2019-12-09 15:18:00 -05:00
Timothy Clem
0930c7c7d9 One new pieces of syntax here 2019-12-09 09:57:05 -08:00
Timothy Clem
45147d910d Fix python assignment 2019-12-09 09:52:55 -08:00
Timothy Clem
285ba19b2b Bump to latest tree-sitters 2019-12-09 09:52:42 -08:00
Patrick Thomson
770268fbdb
Merge pull request #380 from github/failure-is-just-success-rounded-down 
Remove MonadFail from Core compiler.
 2019-12-06 16:25:27 -05:00
Patrick Thomson
7266ab0ce2 No LambdaCase here. 2019-12-06 15:09:47 -05:00
Patrick Thomson
d258677dd8 And the rest of them 2019-12-06 14:54:06 -05:00
Patrick Thomson
c2685b81c3 Revert whitespace changes. 2019-12-06 14:52:49 -05:00
Patrick Thomson
dd5cf213d6 Derive HFoldable instances for syntax types. 2019-12-06 14:51:09 -05:00
Patrick Thomson
cb0e0eae0c Make Unimplemented store a String. 2019-12-06 14:49:38 -05:00
Patrick Thomson
17d0b57f85 Preserve whitespace. 2019-12-06 14:05:20 -05:00
Patrick Thomson
1691304731 Track fused-syntax@master. 2019-12-06 14:04:23 -05:00
Patrick Thomson
bb72bb76d4 List all languages as a metavar in semantic graph. 
Fixes #390.
 2019-12-06 13:57:32 -05:00
Patrick Thomson
a9fbf1c335
Merge pull request #389 from RasmusWL/update-examples 
Add --language to examples
 2019-12-06 13:52:30 -05:00
Rasmus Wriedt Larsen
9df8ece4b3 Add --language to examples 
otherwise they don't work with current version of the code
 2019-12-06 09:17:44 +00:00
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
7484625a78 Bump to a fused-syntax with HTraversable. 2019-12-05 15:06:38 -05:00
Patrick Thomson
e938c56ff6 Merge remote-tracking branch 'origin/master' into failure-is-just-success-rounded-down 2019-12-05 10:36:42 -05:00
Ayman Nadeem
9764d4f79d
Merge pull request #386 from github/warnings 
warnings
 2019-11-19 18:17:16 -05:00
Ayman Nadeem
09b49637bf get rid of redundant imports 2019-11-19 15:39:45 -05:00
Ayman Nadeem
0bc12df5a3 stop warning on unused top binds 2019-11-19 15:39:37 -05:00
Ayman Nadeem
0c7e8f232d add -Werror for semantic-ast package 2019-11-19 15:39:07 -05:00
Ayman Nadeem
94432be85f add warnings to semantic-ast.cabal 2019-11-19 15:38:55 -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
3e3f1da0a9 Merge remote-tracking branch 'origin/master' into fused-effects-one-dot-zero 2019-11-13 11:15:05 -05:00
Patrick Thomson
0507db6a50 Second pass. Got a couple failures. 2019-11-08 22:50:16 -05:00
Patrick Thomson
d26ff76a9f First pass over the specs. 2019-11-08 22:48:26 -05:00
Patrick Thomson
b9388d1d20 Fix SpecHelpers. 
Man, this is a monster of a file.
 2019-11-08 22:43:09 -05:00
Patrick Thomson
2e39e129cd Make semantic-python tests work. 2019-11-08 22:37:17 -05:00
Patrick Thomson
9c9e9db80f Main semantic library is done! 2019-11-08 22:10:06 -05:00
Patrick Thomson
7bdfd1e0dd Port Tags.Tagging to FE1. 2019-11-08 22:07:51 -05:00
Patrick Thomson
7fc41d0ef1 And the Terms API. 2019-11-08 22:06:43 -05:00
Patrick Thomson
3c9301e63e And TOCSummaries. 2019-11-08 22:05:13 -05:00
Patrick Thomson
442ab1cc82 Spruce up Api.Diffs for FE1. 2019-11-08 22:04:22 -05:00
Patrick Thomson
efa4b0be61 Spruce up Measured carrier for FE1. 2019-11-08 22:02:20 -05:00
Patrick Thomson
6edd486eb4 Port, or attempt to port, Semantic.Util to FE1. 2019-11-08 21:59:28 -05:00
Patrick Thomson
685c7e8f3f Port Semantic.Graph to FE1. 2019-11-08 21:55:04 -05:00
Patrick Thomson
ce2c083b87 Institute hellish hack to make Task compile. 2019-11-08 21:48:21 -05:00
Patrick Thomson
9a419428af Port Timeout effect to FE1. 2019-11-08 21:40:42 -05:00