github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
26,620 Commits 19 Branches 16 Tags 46 MiB
b35e1a0718
Commit Graph

26620 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
2cb955e0dc Define a Monad instance for B. 2018-10-23 16:47:11 -04:00
Rob Rix
a7902aeb06 Define an Alternative instance for B. 2018-10-23 16:47:03 -04:00
Rob Rix
60f26ae160 Define an Applicative instance for B. 2018-10-23 16:46:20 -04:00
Rob Rix
448c6e03ec Define a binary tree datatype. 2018-10-23 16:46:06 -04:00
Rob Rix
88a116cedc 🔥 the demotes. 2018-10-23 15:50:42 -04:00
Rob Rix
a18410cb0b Promote ret from the underlying carrier. 2018-10-23 15:49:59 -04:00
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
Patrick Thomson
5dba69bd8f Change the defaults to 6 and 4. 2018-10-23 12:19:12 -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
Patrick Thomson
95ffd19e6e otiose import 2018-10-23 11:39:19 -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
Patrick Thomson
be9ffa49d3 Remove inaccurate TODO. 2018-10-23 11:25:55 -04:00
Patrick Thomson
d8a7b2edfb Add TREE_SITTER_ASSIGNMENT_TIMEOUT environment variable. 
Now that #2223 is fixed, we're encountering certain large files,
such as[this](https://github.com/golang/text/blob/master/collate/tables.go),
that parse in an acceptable window but that take a tremendously long
time to assign. As such, it behooves us to provide a mechanism to
specify assignment timeouts, independent of the tree-sitter parse timeout.

I copied the Dockerfile/default values from those specified for
TREE_SITTER_PARSE_TIMEOUT. I am open to suggestions as to different
values.

ccing @tclem on this to make sure I haven't screwed anything up w/r/t Docker.
 2018-10-23 11:21:34 -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