1
1
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Commit Graph

13906 Commits

Author SHA1 Message Date
Rob Rix
01ac5356cb Configure the passed-in options. 2017-07-21 15:59:28 -04:00
Rob Rix
293104b94a Colourize logged messages. 2017-07-21 15:53:53 -04:00
Rob Rix
22d81403f0 Pass the colourization flag to formatMessage. 2017-07-21 15:48:46 -04:00
Rob Rix
7d6aa01c93 Error & Message formatting produces a String. 2017-07-21 15:48:30 -04:00
Rob Rix
580b817b9f Rename sink to logSink. 2017-07-21 15:43:42 -04:00
Rob Rix
d1babd0fb7 Pass the options to the sink. 2017-07-21 15:43:28 -04:00
Rob Rix
3c213b72db Export withSGRCode. 2017-07-21 15:41:59 -04:00
Rob Rix
e1c7fb438b Rename runTaskOptions to runTaskWithOptions. 2017-07-21 15:40:02 -04:00
Rob Rix
7577eec628 Pass withSGRCode a flag instead of Options. 2017-07-21 15:39:20 -04:00
Rob Rix
4baa0dd2b2 🔥 parens/indentation. 2017-07-21 15:37:43 -04:00
Rob Rix
63efa14594 Better help info for the colour flag. 2017-07-21 15:37:23 -04:00
Rob Rix
882947b689 Add a flag to enable/disable colour output. 2017-07-21 15:36:19 -04:00
Rob Rix
75721c09f0 Define options controlling Task running & output. 2017-07-21 14:45:38 -04:00
Rob Rix
d87c8a98b4 Move runParser into Task. 2017-07-21 14:19:19 -04:00
Rob Rix
b8ebbd2a3d Add an option to disable the display of source. 2017-07-21 14:17:34 -04:00
Rob Rix
72385b8a93 Better docs for optionsColour. 2017-07-21 14:13:04 -04:00
Rob Rix
4e79edf421 Separate printing & formatting errors with options. 2017-07-21 14:12:41 -04:00
Rob Rix
dcd2e77704 Redistribute the parens. 2017-07-21 13:50:13 -04:00
Rob Rix
19bf5498f8 Move pure earlier in the chain. 2017-07-21 13:42:09 -04:00
Rob Rix
4c494a8c57 Revert "Run Tasks using foldFreer."
This reverts commit 8bbd7a0caa4c56a5d32c88af0a4b32837294cad0.
2017-07-21 13:41:16 -04:00
Rob Rix
d575ca6dce Revert "🔥 redundant parens."
This reverts commit 62cf5bd8ab878c0f6fbf62f5358ea90c7c9034dc.
2017-07-21 13:41:02 -04:00
Rob Rix
4be8ad55d1 🔥 redundant parens. 2017-07-21 13:35:36 -04:00
Rob Rix
4f8a42650d Run Tasks using foldFreer. 2017-07-21 13:34:51 -04:00
Rob Rix
3c0ed9029f Rename writeThread to sink. 2017-07-21 13:34:01 -04:00
Rob Rix
e6bb7d6863 Lift actions into IO. 2017-07-21 13:28:04 -04:00
Rob Rix
0109f340ed Lift the operations in Files to MonadIO. 2017-07-21 13:15:54 -04:00
Rob Rix
5e4f221585 Define a MonadIO instance for Task. 2017-07-21 13:09:51 -04:00
Rob Rix
d886ba21f0 Run tasks by refinement, writing log messages for each one. 2017-07-21 13:06:14 -04:00
Rob Rix
b51da4519e Log from a serializing background thread. 2017-07-21 12:13:50 -04:00
Rob Rix
8b4db1d3e8 Define a record selector for message content. 2017-07-21 12:10:34 -04:00
Rob Rix
86169b6eb6 Define informational messages. 2017-07-21 12:10:06 -04:00
Rob Rix
007fdd0e5c Define runTask using foldFreer. 2017-07-21 12:09:06 -04:00
Rob Rix
4a067250c6 Merge branch 'bump-freer' into serialize-concurrent-logging 2017-07-21 12:03:39 -04:00
Rob Rix
6a04e3843b Sort the import of Files down. 2017-07-21 11:42:06 -04:00
Rob Rix
e2a21addf2 Log messages to stderr. 2017-07-21 11:38:17 -04:00
Rob Rix
6c272105a4 Format messages as ByteStrings. 2017-07-21 11:38:02 -04:00
Rob Rix
03862a33f5 Define a Message type for logging. 2017-07-21 11:37:54 -04:00
Rob Rix
d1b3cc5c06 🔥 runAlgorithm/runAlgorithmSteps.
These have been subsumed by freer-cofreer’s runFreer & freerSteps.
2017-07-21 11:08:01 -04:00
Rob Rix
07edce5bfc Bump freer-cofreer to master. 2017-07-21 11:05:58 -04:00
Josh Vera
dec0de378c Merge pull request #1232 from github/json
Add a JSON Parser
2017-07-20 12:48:35 -04:00
Josh Vera
974e4a3068 Merge branch 'master' into json 2017-07-20 12:41:32 -04:00
joshvera
de2146a1cd Merge 'master' into json 2017-07-20 12:35:34 -04:00
Rob Rix
9befa439f6 Merge pull request #1233 from github/task-input-output
Task input output
2017-07-20 11:12:22 -04:00
joshvera
f7a7a2c180 Add parseError to value Assignment in the JSON parser 2017-07-20 11:12:08 -04:00
joshvera
0b497fb8a2 Remove JSON from ToCTermRenderer since it doesn't have functions 2017-07-20 11:06:19 -04:00
joshvera
fb84ec83f5 Add JSON to parseBlob 2017-07-20 11:06:19 -04:00
joshvera
00205c3d26 Sort Syntax in JSON parser 2017-07-20 11:06:19 -04:00
Rob Rix
734e42802d Correct the docs for parse. 2017-07-20 10:23:35 -04:00
Rob Rix
f9ce0a9e63 Take the blob parameter explicitly. 2017-07-19 20:24:52 -04:00
Rob Rix
6f1cf00255 Move the implementations of readBlobs/readBlobPairs into Task. 2017-07-19 20:20:20 -04:00