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
|
08a319b433
|
need to auto-derive ToJSON instance
|
2019-12-19 10:01:00 -05:00 |
|
Ayman Nadeem
|
240fb43c36
|
need aeson
|
2019-12-19 10:00:44 -05:00 |
|
Ayman Nadeem
|
3758f8e2c4
|
need range values
|
2019-12-19 10:00:38 -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 |
|
Rob Rix
|
570b2c2e47
|
Merge pull request #413 from github/generalize-fix-broken-cabal-store
Generalize script/fix-broken-cabal-store
|
2019-12-18 17:15:34 -05:00 |
|
Patrick Thomson
|
f2f6c8eb94
|
Merge pull request #412 from github/the-thin-read-line
Use fused-effects-readline package rather than a custom implementation.
|
2019-12-18 17:07:38 -05:00 |
|
Rob Rix
|
a921912ecf
|
Factor out the prefix.
|
2019-12-18 16:55:20 -05:00 |
|
Rob Rix
|
bc5796178e
|
Quote the paths.
|
2019-12-18 16:50:40 -05:00 |
|
Rob Rix
|
ba84757c41
|
Generalize the fix-broken-cabal-store script to arbitrary GHC versions.
|
2019-12-18 16:50:29 -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 |
|
Timothy Clem
|
d2e4713921
|
Merge pull request #396 from github/test-precise-parsing
Test precise parsing and compare precise vs. a la carte symbols output
|
2019-12-18 12:42:45 -08:00 |
|