github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 17:05:33 +03:00
Code Issues Projects Releases Wiki Activity
33,016 Commits 19 Branches 16 Tags 46 MiB
015aec04ed
Commit Graph

313 Commits

Author SHA1 Message Date
Ayman Nadeem
450017447e improve temp docs for GValue 2019-12-19 13:30:10 -05:00
Ayman Nadeem
ea364ff36e need bytestring 2019-12-19 10:16:47 -05:00
Ayman Nadeem
a8c0b9b21e add reminder to do this for range/span annotations properly 2019-12-19 10:11:55 -05:00
Ayman Nadeem
20eb10cf3c call toJSON if there is an instance, or marshal, print results 2019-12-19 10:11:36 -05:00
Ayman Nadeem
31ed149850 need Marshal 2019-12-19 10:08:18 -05:00
Ayman Nadeem
a3cc20811c import Aeson and alphabetize 2019-12-19 10:08:10 -05:00
Ayman Nadeem
c76c52757b aeson version in semantic-ast should match semantic 2019-12-19 10:00:03 -05:00
Ayman Nadeem
936ab9493a call marshal on Expr sum type 2019-12-19 09:59:29 -05:00
Ayman Nadeem
07560d24a1 let's use marshal on these example datatypes 2019-12-19 09:59:13 -05:00
Ayman Nadeem
f211f9ef98 copy Examples.hs from tree-sitter 2019-12-19 09:58:58 -05:00
Ayman Nadeem
be68edee65 we need undecidable instances 2019-12-19 09:58:06 -05:00
Ayman Nadeem
e82377960a import NonEmpty to make generic value instance work 2019-12-19 09:57:57 -05:00
Ayman Nadeem
4f627026be we can use fmap instead of having to use NonEmpty.map 2019-12-19 09:53:13 -05:00
Ayman Nadeem
1db98123c3 NonEmpty is also a type constructor represented by composition 2019-12-19 09:52:36 -05:00
Ayman Nadeem
74b14622e5 use generic composition to represent another type constructor, list 2019-12-19 09:51:49 -05:00
Ayman Nadeem
a919ee35cb need composition for Maybe, since Maybe is a type constructor that needs to take another type 2019-12-19 09:50:56 -05:00
Ayman Nadeem
c89a80ea50 value for text 2019-12-19 09:50:08 -05:00
Ayman Nadeem
d5d7ce9dfc explain GValue and gvalue 2019-12-19 09:49:50 -05:00
Ayman Nadeem
635c73670c s p a c e 2019-12-19 09:49:09 -05:00
Ayman Nadeem
11d3905242 describe how to extract value out of datum using GValue introduced below 2019-12-19 09:49:04 -05:00
Ayman Nadeem
e8ee760e64 move inductive case below base case 2019-12-18 17:38:35 -05:00
Ayman Nadeem
470092b60d WIP comment describing why we need GValue and assoc method 2019-12-18 17:26:34 -05:00
Ayman Nadeem
eede2725b7 proxy/typelits stuff no longer needed 2019-12-18 17:26:07 -05:00
Ayman Nadeem
1f2b1c3dd3 this is the base case for products 2019-12-18 17:25:34 -05:00
Ayman Nadeem
34de9472a7 move sum case below product and friends 2019-12-18 15:59:23 -05:00
Ayman Nadeem
d2319b0dcd we need sums! 2019-12-18 15:49:06 -05:00
Ayman Nadeem
5bb2fc45f5 we can straight up use the type synonym C1 with a single param instead of promoting MetaCons constructor 2019-12-18 15:48:55 -05:00
Ayman Nadeem
4950b2ff16 move comment explaining unM1 usage to relevant line 2019-12-18 15:46:36 -05:00
Ayman Nadeem
e0fa2fe5a5 no need to provide an instance for MarshalJSON anymore 2019-12-18 15:46:13 -05:00
Ayman Nadeem
83d4007174 Let's use Examples instead of Bar 2019-12-18 15:45:58 -05:00
Ayman Nadeem
0635151394 comment to self providing analogy for example Bar datatype 2019-12-18 15:45:38 -05:00
Ayman Nadeem
fa2d3402ef create an instance for the type constructors we wish to have MarshalJSON instances for 2019-12-18 15:45:16 -05:00
Ayman Nadeem
2b4b7532e7 explain to self why we additionally constrain default marshal definition 2019-12-18 15:44:37 -05:00
Ayman Nadeem
2451a005ca reason through generic instances needed to serialize example (Bar datatype) 2019-12-18 15:43:59 -05:00
Ayman Nadeem
5f08bc4c94 no longer need these 2019-12-18 14:03:53 -05:00
Ayman Nadeem
fe16f056f1 export the whole class because we might need other things 2019-12-18 14:03:14 -05:00
Timothy Clem
446da6b2fb Use the required newer tree-sitter packages 2019-12-18 10:26:32 -08:00
Timothy Clem
1393d691f7 ghc 8.8 fixes 2019-12-18 10:15:43 -08:00
Ayman Nadeem
480a122a1c Merge branch 'master' into json-output 2019-12-17 13:29:37 -05:00
Patrick Thomson
266a720fa9 Use PVP operator. 2019-12-16 12:20:05 -05:00
Ayman Nadeem
11b0d5d6aa add export list 2019-12-14 08:49:29 -05:00
Ayman Nadeem
71083b7e59 Data.Proxy and GHC.TypeLits are redundant for now 2019-12-14 08:46:22 -05:00
Ayman Nadeem
42b4e3fd5e add text to build-depends and format 2019-12-14 08:44:09 -05:00
Ayman Nadeem
9d3bcdaa09 fix typo 2019-12-14 08:37:55 -05:00
Ayman Nadeem
240e923b32 🔥 2019-12-14 08:37:38 -05:00
Ayman Nadeem
48e5156704 module name change to reflect where it is in Semantic 2019-12-14 08:37:05 -05:00
Ayman Nadeem
dcb6e8e0dd this is no longer in tree-sitter 2019-12-14 08:36:36 -05:00
Patrick Thomson
6bebd84deb Officially require GHC 8.8. 2019-12-13 15:48:49 -05:00
Patrick Thomson
dc69714053 Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8 2019-12-13 11:23:36 -05:00
Patrick Thomson
af1d62a75b Depend on newer tree-sitter. 2019-12-11 15:04:18 -05:00
Patrick Thomson
810d28f615 Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8 2019-12-11 12:31:30 -05:00
Ayman Nadeem
4fec0bed53 add TreeSitter.Marshal.JSON to exposed modules 2019-12-10 19:43:49 -05:00
Ayman Nadeem
a665b5066e Create JSON.hs 2019-12-10 19:43:22 -05:00
Ayman Nadeem
a8fe0e8be3 Merge branch 'master' into json-output 2019-12-10 18:36:16 -05:00
Timothy Clem
ec19540425
++tree-sitter 0.7 
Also bumps parsers that changed
 2019-12-10 16:34:26 -05:00
Rob Rix
a461c72ae4
Bump a few tree-sitter-* versions. 2019-12-10 15:10:25 -05:00
Timothy Clem
5926b47438 ++tree-sitter 0.7 
Also bumps parsers that changed
 2019-12-10 11:04:02 -08:00
Patrick Thomson
68ab3cbb97 semantic:exe now compiles 2019-12-10 13:32:56 -05:00
Ayman Nadeem
40dce32765 Merge branch 'master' into json-output 2019-12-10 12:13:16 -05:00
Timothy Clem
285ba19b2b Bump to latest tree-sitters 2019-12-09 09:52:42 -08: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
94432be85f add warnings to semantic-ast.cabal 2019-11-19 15:38:55 -05:00
Ayman Nadeem
706cf454f3 serialize to json and print (barring instances) 2019-11-19 10:09:32 -05:00
Ayman Nadeem
f2dd247042 import Data.Aeson 2019-11-19 10:08:56 -05:00
Ayman Nadeem
a98f2002ef add Json constructor 2019-11-19 10:08:45 -05:00
Ayman Nadeem
4e312180c7 turn on warnings 2019-11-19 10:08:32 -05:00
Ayman Nadeem
2336bb4475 include ghc-options to turn on all warnings 2019-11-19 10:08:22 -05:00
Ayman Nadeem
479eb3e716 add aeson to executable 2019-11-19 10:02:44 -05:00
Ayman Nadeem
1469aed341 add aeson to library 2019-11-19 10:02:36 -05:00
Ayman Nadeem
6627603e42 remove misc comments 2019-11-18 13:52:15 -05:00
Ayman Nadeem
200fa85740
Merge pull request #351 from github/semantic-ast-errors 
Semantic AST polish
 2019-10-24 12:21:39 -04:00
Ayman Nadeem
6603ce73fc change color to noColor 2019-10-24 11:55:47 -04:00
Ayman Nadeem
b711f9ed48 tackle JSON output in separate PR 2019-10-24 11:51:20 -04:00
Ayman Nadeem
052ac05dc5 COMPOSITION WITH FISHIES 2019-10-24 11:51:09 -04:00
Ayman Nadeem
e2127cacf4 eta reduce 2019-10-24 11:46:05 -04:00
Ayman Nadeem
adfd3bda0d abstract over Format with display 2019-10-24 11:45:43 -04:00
Ayman Nadeem
b5fd84e1bb reformat Format sum type 2019-10-24 11:31:29 -04:00
Ayman Nadeem
8944b279dc refactor format and ast do block 2019-10-24 11:28:53 -04:00
Ayman Nadeem
4475629775 order where clause operations chronologically 2019-10-23 12:01:55 -04:00
Ayman Nadeem
ed80f90faf visual separation ftw 2019-10-23 11:58:51 -04:00
Ayman Nadeem
a2cd91579f need traverse_ from Data.Foldable 2019-10-22 15:29:23 -04:00
Ayman Nadeem
79d971c432 express do block as composition 2019-10-22 15:28:27 -04:00
Ayman Nadeem
090ebfeffc extract lambda into a named function in where clause 2019-10-22 13:53:09 -04:00
Ayman Nadeem
a9f6068a7b color can only have if pretty 2019-10-22 13:41:13 -04:00
Ayman Nadeem
f876c0b5e0 redundant do blocks 2019-10-22 13:40:48 -04:00
Ayman Nadeem
0bee5c5d25 clean up usage docs 2019-10-22 13:40:35 -04:00
Ayman Nadeem
9b17db51b1 add qualified import 2019-10-22 13:40:27 -04:00
Ayman Nadeem
4c0de190ec use qualified imports to clean stuff up 2019-10-22 13:09:13 -04:00
Ayman Nadeem
45abf90917 indent case statements because lexical scoping 2019-10-22 12:33:19 -04:00
Ayman Nadeem
3e754c35b1 use for_ 2019-10-22 12:33:05 -04:00
Ayman Nadeem
1761656d27 jk use for_ so we don't ignore results 2019-10-22 12:28:23 -04:00
Ayman Nadeem
c67dc33184 let's support multiple formats 2019-10-22 10:50:58 -04:00
Ayman Nadeem
cf30f7672f tracked this by accident 2019-10-22 10:50:48 -04:00
Ayman Nadeem
659dae0bc8 use for because for_ discards the results 2019-10-21 13:56:03 -04:00
Rob Rix
d4fe4cedff
Add a tested-with field to semantic-ast. 2019-10-21 13:30:57 -04:00
Ayman Nadeem
3a778342f8 no longer provide --flag 2019-10-21 12:57:31 -04:00
Ayman Nadeem
90be70f045 specify usage pattern 2019-10-21 12:57:16 -04:00
Ayman Nadeem
86aa2be662 need for_ 2019-10-20 11:51:12 -04:00
Ayman Nadeem
e67ee6ee7b take multiple filepaths 2019-10-20 11:51:02 -04:00
Ayman Nadeem
ca30fe6c15 eliminate source into [ByteString] 2019-10-20 11:50:43 -04:00
Ayman Nadeem
19a0594fd1 bytestrings are now a list 2019-10-20 11:50:15 -04:00
Ayman Nadeem
83e0278119 discard thinking comments 2019-10-18 17:21:04 -04:00
Ayman Nadeem
7dcec7538b if option is specified, print no-color 2019-10-18 17:20:31 -04:00
Ayman Nadeem
bd7a16a52f add color to generateAST 2019-10-18 17:20:06 -04:00
Ayman Nadeem
d5be5ba582 make default color and option no-color 2019-10-18 17:19:52 -04:00
Ayman Nadeem
718dd27e4a need to use pPrintNoColor for no color option 2019-10-18 17:19:11 -04:00
Ayman Nadeem
51ce6dd303 create a boolean option to print with color 2019-10-18 13:43:54 -04:00
Ayman Nadeem
67760145e8 case over Format 2019-10-18 11:23:37 -04:00
Ayman Nadeem
1537f43fde add Pretty constructor to Format 2019-10-18 11:23:23 -04:00
Ayman Nadeem
fb5132d43f pull pretty-simple into semantic-ast 2019-10-18 11:23:01 -04:00
Ayman Nadeem
b0fb726d4d case over format 2019-10-18 11:14:56 -04:00
Ayman Nadeem
e0c60bf166 utf8-string is irrelevant now 2019-10-17 17:31:39 -04:00
Ayman Nadeem
a4ddeb45a4 go back to pack 2019-10-17 17:31:04 -04:00
Ayman Nadeem
4caeefe849 depend on utf8-string 2019-10-17 13:41:38 -04:00
Ayman Nadeem
322feb2d70 convert UTF8 ByteString without going through Text 2019-10-17 13:41:30 -04:00
Ayman Nadeem
6ab570c976 remove ApplicativeDo 2019-10-16 18:18:11 -04:00
Ayman Nadeem
0e32c5ec27 remove Read constraint 2019-10-16 15:15:55 -04:00
Ayman Nadeem
a45b8683ec correctly refactor 2019-10-16 15:15:03 -04:00
Ayman Nadeem
9b1345d0b9 factor bytestring out into where clause 2019-10-16 14:48:49 -04:00
Ayman Nadeem
200d341fe4 fix indentation 2019-10-16 14:17:07 -04:00
Ayman Nadeem
39f0b7b951 constrain bytestring 2019-10-16 14:07:12 -04:00
Ayman Nadeem
44116ae2f5 constrain tree-sitter-python 2019-10-16 14:03:13 -04:00
Ayman Nadeem
f4880a4bf9 fill in copyright field 2019-10-16 14:02:04 -04:00
Ayman Nadeem
621657b953 Update LICENSE 2019-10-16 13:56:40 -04:00
Ayman Nadeem
10fc563951 clean up readme 2019-10-16 11:53:38 -04:00
Ayman Nadeem
0250fe4950 camel case consistently 2019-10-16 11:53:32 -04:00
Ayman Nadeem
e047d3a6db change Ayman Nadeem to Semantic Authors 2019-10-16 10:57:21 -04:00
Ayman Nadeem
8129177e91 Delete test.py 2019-10-15 17:58:39 -04:00
Ayman Nadeem
c495483b22 remove TODOs - did these! 2019-10-15 17:57:18 -04:00
Ayman Nadeem
5bbf633909 bump tree-sitter to correct version 2019-10-15 17:19:21 -04:00
Ayman Nadeem
22a6a4f708 remove tree-sitter version altogether 2019-10-15 15:35:07 -04:00
Ayman Nadeem
c9219f71c3 Either makes this easier 2019-10-15 13:27:54 -04:00
Ayman Nadeem
be5f00ee50 express choice between either string or filepath options 2019-10-15 13:27:20 -04:00
Ayman Nadeem
d7ce6ef1d3 avoid the possibility of two Nothings 2019-10-15 13:23:00 -04:00
Ayman Nadeem
927a987f0d todos 2019-10-11 13:15:21 -04:00
Ayman Nadeem
e97daf47d5 I want to specify format first 2019-10-11 13:10:01 -04:00
Ayman Nadeem
7d6740224b move format in SemanticAST 2019-10-11 13:09:37 -04:00
Ayman Nadeem
0b6e3d5b3a parseAST handles this 2019-10-11 13:05:31 -04:00
Ayman Nadeem
7e358a8c2e parseAST handles this 2019-10-11 13:05:09 -04:00
Ayman Nadeem
08cbd88e71 will need to replace this with alternation above 2019-10-11 13:04:40 -04:00
Ayman Nadeem
db9e7da48f this has been subsumed by SemanticAST 2019-10-11 12:50:37 -04:00
Ayman Nadeem
cf609451ae lord forgive me for this nested case statement 2019-10-11 12:49:57 -04:00
Ayman Nadeem
5d4b34b39b downstream impact of changing datatype fields 2019-10-11 12:49:16 -04:00
Ayman Nadeem
9afcf11b83 this means sourceString now has to be an option 2019-10-11 12:48:53 -04:00
Ayman Nadeem
b2f2340c4c include both inputs in SemanticAST 2019-10-11 12:48:40 -04:00
Ayman Nadeem
a11decefcd remove flag for Normal/Verbose outputs 2019-10-10 15:02:21 -04:00
Ayman Nadeem
74d7802571 rename CLI to Main 2019-10-10 15:01:55 -04:00
Ayman Nadeem
c4a3217f8e add dependencies to executable part of cabal file 2019-10-10 15:00:19 -04:00
Ayman Nadeem
a8f4be8c72 Main squeeze 2019-10-10 14:59:56 -04:00