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
31,678 Commits 19 Branches 16 Tags 46 MiB
c93058be1b
Commit Graph

31678 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Patrick Thomson
d53a7bafdd Port Telemetry effect to FE1. 2019-11-08 21:40:31 -05:00
Patrick Thomson
6e19094ded Port Resolution to FE1. 2019-11-08 21:36:42 -05:00
Patrick Thomson
b06a2c14d4 Port over Files effect and remove rethrowing hack. 2019-11-08 21:35:02 -05:00
Patrick Thomson
3cb89b0aaf Port over the thoroughly-benighted Distribute effect. 
This needs to die.
 2019-11-08 21:29:53 -05:00
Patrick Thomson
dda7ebbe6b Fix up Rendering.Graph (with a nasty hack). 2019-11-08 21:27:18 -05:00
Patrick Thomson
9dbfd7f4b8 Port Semantic.Analysis to FE1. 2019-11-08 21:24:39 -05:00