github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-03 00:16:52 +03:00
Code Issues Projects Releases Wiki Activity
32,796 Commits 19 Branches 16 Tags 46 MiB
bcea47bda1
Commit Graph

289 Commits

Author SHA1 Message Date
Ayman Nadeem
c9141c610a This TODO is still relevant 2020-01-21 16:08:37 -05:00
Ayman Nadeem
87f831b8b0 include Marshal.Examples in cabal file 2020-01-16 16:05:54 -05:00
Timothy Clem
c0d8675d09 Use semantic-source 0.0.1 2020-01-16 12:57:24 -08:00
Ayman Nadeem
7598a48765 remove redundant pragma 2020-01-16 15:37:08 -05:00
Ayman Nadeem
551c652148 OPTIONS_GHC is correct, GHC-OPTIONS is not. 2020-01-16 15:36:51 -05:00
Ayman Nadeem
b09a39c7a1 remove ghc-options from executable 2020-01-16 15:35:50 -05:00
Ayman Nadeem
e648302a44 remove -Wno-unused-top-binds; unused top bindings are a signal of dead code 2020-01-16 15:35:00 -05:00
Ayman Nadeem
c380908a2a no longer relevant since we're directly marshaling in Main now 2020-01-16 14:00:39 -05:00
Ayman Nadeem
12a126c60b add TODO to venture beyond python 2020-01-16 14:00:16 -05:00
Ayman Nadeem
2b23609d4a add this back as per Rob's approval 2020-01-16 09:30:22 -05:00
Timothy Clem
cc8d71d4cf Use newly released versions of tree-sitter with optimizations 2020-01-14 12:41:53 -08:00
Ayman Nadeem
8befed9940 🔥comments 2020-01-13 10:46:59 -05:00
Ayman Nadeem
32123145a0 remove ghc-options 2020-01-13 10:46:32 -05:00
Ayman Nadeem
8bf0e031f3 🔥 2020-01-07 14:06:32 -05:00
Ayman Nadeem
f217a3cf74 improve GFields instance comment 2020-01-07 14:05:44 -05:00
Ayman Nadeem
2f1a425c11 🔥 2020-01-07 14:03:19 -05:00
Ayman Nadeem
3630edcb39 🔥this bc we've outgrown our scaffold/example 2020-01-07 13:54:46 -05:00
Ayman Nadeem
b266573ba4 clean up learning comments 2020-01-07 13:51:18 -05:00
Ayman Nadeem
759079f5da avoid cyclic imports 2020-01-07 13:44:10 -05:00
Ayman Nadeem
7ff1b2e6fa Fix -Wunrecognised-pragmas warning but adding -Wno-unused-top-binds warning to use in Main 2020-01-07 13:40:08 -05:00
Ayman Nadeem
e565b8c914 Deprecated: "Use Data.ByteString.Lazy.Char8.putStrLn instead 2020-01-07 13:38:27 -05:00
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