github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 01:42:43 +03:00
Code Issues Projects Releases Wiki Activity
32,502 Commits 19 Branches 16 Tags 46 MiB
90f275acd1
Commit Graph

268 Commits

Author SHA1 Message Date
Ayman Nadeem
22ad567d34 The import of ‘encode’ from module ‘Data.Aeson’ is redundant 2020-01-07 13:22:08 -05:00
Ayman Nadeem
93b96462f2 Merge branch 'master' into json-output 2019-12-19 13:34:13 -05:00
Ayman Nadeem
439454c946 need aeson-pretty for encodePretty 2019-12-19 13:33:49 -05:00
Ayman Nadeem
e0b9e40c33 use encodePretty for pretty json output in console 2019-12-19 13:31:18 -05:00
Ayman Nadeem
af615d630d lazy bytestrings r 4 lazy girls 2019-12-19 13:30:56 -05:00
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