github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-04 13:34:31 +03:00
Code Issues Projects Releases Wiki Activity
26,098 Commits 19 Branches 16 Tags 46 MiB
77f5b0a1d6
Commit Graph

26098 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
9e2ea1101d stray LANGUAGE pragma 2018-10-23 15:46:02 -04:00
Rick Winfrey
0aeb7c6b29 Merge branch 'master' into ci-updates 2018-10-23 12:44:52 -07:00
Patrick Thomson
ef696d3c41 Split up Semantic.IO. 
This looks like a big patch, but it's very straightforward: no
behavior has changed.

After the umpteenth time spent hitting a compile error because I
passed a `FilePath` rather than a `File` to `readBlobFromPath`, I
decided to finally make the needed refactors to Semantic.IO, and to
split off the `File` type and `Files` effect. This patch:

* adds the `MonadIO` class to `Prologue`'s export list
* moves `File` into `Data.File`
* moves `Handle` into `Data.Handle`
* moves `Files` into `Semantic.Task.Files`
* moves functions for reading blobs into `Data.Blob`
* keeps general IO helpers in Semantic.IO
* renames `readFile` to `readBlobFromFile`
* renames `readBlobFromPath` to `readBlobFromFile'`

This should have a positive effect on compile times and ease of
navigation throughout the codebase.
 2018-10-23 15:37:49 -04:00
Rob Rix
94422728eb 🔥 a pointless case. 2018-10-23 15:23:01 -04:00
Rob Rix
40c51dfeb8 Export TaskEff again. 2018-10-23 15:05:45 -04:00
Rob Rix
f019efd845 modify is already strict. 2018-10-23 12:21:21 -04:00
Rob Rix
655b961f86 Correct the Trace handler. 2018-10-23 12:21:02 -04:00
Rob Rix
6d9f08f0d0 Raise the handlers. 2018-10-23 12:19:59 -04:00
Rob Rix
5ae699e902 Use runModuleTable. 2018-10-23 12:19:06 -04:00
Rob Rix
2664bca478 Add the continuations to the algebra. 2018-10-23 12:18:37 -04:00
Rob Rix
ad5789def5 Add a missing import. 2018-10-23 12:17:20 -04:00
Rob Rix
ada478517f Flip runREPLC. 2018-10-23 12:17:06 -04:00
Rob Rix
d80d72eb8e Fix the Effect instance for REPL. 2018-10-23 12:16:49 -04:00
Rob Rix
664910dc99 🔥 the extra parameter to Eff. 2018-10-23 12:16:18 -04:00
Rob Rix
3edd6c3f56 Enable UndecidableInstances. 2018-10-23 12:15:56 -04:00
Rob Rix
ed2e9f7c44 Drop the redundant parameters to evaluate. 2018-10-23 12:15:26 -04:00
Rob Rix
66188d7c7a Correct the method names. 2018-10-23 12:15:11 -04:00
Rob Rix
bf411cc8ea Define a REPL carrier. 2018-10-23 12:14:02 -04:00
Rob Rix
eee94e6aca handle, not handleState. 2018-10-23 12:09:03 -04:00
Rob Rix
546add053c Fix some imports. 2018-10-23 12:08:21 -04:00
Rob Rix
55888b1a5f Specialize evaluateProjectWithCaching to Monovariant addresses. 2018-10-23 12:07:24 -04:00
Rob Rix
8b945859f3 Raise the Eff handlers to Evaluator. 2018-10-23 12:04:45 -04:00
Rob Rix
670f65190c Raise some handlers. 2018-10-23 12:03:19 -04:00
Rob Rix
05f59347b2 Use runHeap for the heap effect. 2018-10-23 12:01:53 -04:00
Rob Rix
1dc9e997e3 🔥 the redundant parameter to runFresh. 2018-10-23 12:01:38 -04:00
Rob Rix
f545665403 Run the module table effect with the helper. 2018-10-23 12:00:40 -04:00
Rob Rix
80ab393d79 🔥 the redundant parameters to evaluate. 2018-10-23 11:57:37 -04:00
Rob Rix
2bee99d97e Run trace by printing. 2018-10-23 11:56:17 -04:00
Rob Rix
422d1a6db0 🔥 some redundant Monad constraints. 2018-10-23 11:54:34 -04:00
Rob Rix
9bae2bfcb2 Add a missing Effect constraint. 2018-10-23 11:54:19 -04:00
Rob Rix
e2c64f336a Run in Eff. 2018-10-23 11:52:45 -04:00
Rob Rix
5b2f070558 Raise some handlers. 2018-10-23 11:51:51 -04:00
Rob Rix
7ac4b5dbcb 🔥 the call to runPythonPackaging for the moment. 2018-10-23 11:51:20 -04:00
Rob Rix
82956152c6 Re-add the WhileC Carrier instance for the concrete domain. 2018-10-23 11:41:16 -04:00
Rob Rix
c4aaa86230 Generalize disjunction over the carrier. 2018-10-23 11:39:09 -04:00
Rob Rix
c53a6aa511 Interpose with an upcast. 2018-10-23 11:30:58 -04:00
Rob Rix
92ac53252e Define upcasting to InterposeC. 2018-10-23 09:45:33 -04:00
Rob Rix
edbf882fa9 Raise the graph state handler. 2018-10-23 09:43:57 -04:00
Rob Rix
bc094e6014 Add some Effect constraints. 2018-10-23 09:43:26 -04:00
Rob Rix
ee17c526e6 Specify the value type. 2018-10-23 09:41:46 -04:00
Rob Rix
6697e2f9e5 runEvaluator produces Eff. 2018-10-23 09:41:36 -04:00
Rob Rix
0a337d5a25 Eavesdrop without changing the type of analyzeModule. 2018-10-23 09:31:43 -04:00
Rob Rix
f4faaed464 Define upcasting on Eff. 2018-10-23 09:31:11 -04:00
Patrick Thomson
8630d20030 Merge pull request #2229 from github/monadfail-desugaring 
Turn on `-XMonadFailDesugaring` globally.
 2018-10-22 21:44:45 -04:00
Patrick Thomson
316915a80b Merge branch 'master' into monadfail-desugaring 2018-10-22 21:04:34 -04:00
Patrick Thomson
0134a3ce67 Merge pull request #2228 from github/bump-ts-ruby 
Bump tree-sitter-ruby.
 2018-10-22 21:04:25 -04:00
Rob Rix
21f17ff56f Clean up a bunch of algebras. 2018-10-22 20:30:07 -04:00
Rob Rix
314aff5d56 Bump higher-order-effects for Resource & some handler helpers. 2018-10-22 20:18:36 -04:00
Rob Rix
11ccb849a6 Fix a dodgy import. 2018-10-22 20:18:16 -04:00
Patrick Thomson
bfee125016 Merge branch 'master' into monadfail-desugaring 2018-10-22 17:43:26 -04:00