Patrick Thomson
d1cc400dc0
add spec file
2018-09-14 13:10:22 -04:00
Patrick Thomson
b8b8fe01c9
port over Control.Rewriting
2018-09-14 12:47:21 -04:00
Timothy Clem
a6ce4f672f
Docs and sort out a common Duration datatype
2018-09-13 14:51:32 -07:00
Timothy Clem
7e1c7a1c84
Timeout effect
2018-09-13 14:20:42 -07:00
Patrick Thomson
7129435dc8
Merge remote-tracking branch 'origin/master' into simplify-reprinter
...
also incorporates a number of changes. oops.
2018-09-12 12:14:01 -04:00
Patrick Thomson
0802e0a9f2
Use a deep embedding for Tokenize.
2018-09-11 18:54:37 -04:00
Timothy Clem
2e48678e6b
Rework diff grpc api as well, enable for all supported langauges
2018-09-11 10:32:29 -07:00
joshvera
1eac23ce2e
Don't parameterize scopes by name
2018-09-10 18:50:40 -04:00
Timothy Clem
c806be4cfc
Clean up, expand grpc support to larger language list
2018-09-10 11:43:42 -07:00
Timothy Clem
38e3cba57a
Messy, but working multi-lang grpc parsing
2018-09-10 11:15:52 -07:00
Timothy Clem
a15155c4da
Basics of TermVertex in grpc
2018-09-06 17:27:13 -07:00
Timothy Clem
f0d164f952
Rework control flow graph data types
2018-09-06 15:12:12 -07:00
joshvera
3ccdbdb692
Merge remote-tracking branch 'origin/master' into scopes-and-frames
2018-09-05 12:54:45 -04:00
joshvera
01af82bf53
WIP
2018-09-04 12:43:14 -04:00
joshvera
3d412f7d9e
Add ScopeGraph
2018-08-29 13:47:44 -04:00
Timothy Clem
34648a263a
Merge branch 'master' into source-aware-reprinter
2018-08-28 11:34:53 -07:00
Timothy Clem
5da417d01c
Some basic pretty printing for mini Python
2018-08-28 09:14:48 -07:00
Timothy Clem
ea01f30de5
Put this back in order
2018-08-28 09:12:44 -07:00
Timothy Clem
8759225ac7
A mini-python
2018-08-28 09:12:29 -07:00
Timothy Clem
57f32c77bd
MiniRuby in its own module
2018-08-27 15:06:51 -07:00
joshvera
bc6614aa12
Merge remote-tracking branch 'origin/master' into entry-points
2018-08-27 12:05:20 -04:00
Timothy Clem
e9e8edbebe
Dedicated util for rewriting
2018-08-24 10:35:38 -07:00
Timothy Clem
17fbceb17a
Remove need for lens
2018-08-23 15:53:43 -07:00
Timothy Clem
8f6d1ee873
Merge branch 'master' into source-aware-reprinter
2018-08-23 07:47:48 -07:00
Timothy Clem
67f652b4d7
Refactor to have 1 additional data representation in the pipeline
2018-08-22 11:30:03 -07:00
Timothy Clem
a1294e91f1
Docs and some renaming
2018-08-21 16:15:08 -07:00
Charlie Somerville
5f6961e737
move Analysis.Abstract.Configuration to Control.Abstract
2018-08-21 13:42:45 +10:00
Charlie Somerville
ec852844cb
reshuffle module layout so that Environment can depend on Heap
2018-08-21 13:42:45 +10:00
Timothy Clem
cbdb932af8
Ruby translation step for the pipeline
2018-08-20 18:11:30 -07:00
Timothy Clem
58cf9925fa
Not using this
2018-08-20 10:37:24 -07:00
Timothy Clem
3c53862e19
Merge remote-tracking branch 'origin/master' into source-aware-reprinter
2018-08-20 10:17:38 -07:00
Timothy Clem
1dc89961b2
Remove Rule
2018-08-20 09:52:03 -07:00
Timothy Clem
b49adc41fe
Move splice to data, allow config for translation
2018-08-17 09:10:14 -07:00
Timothy Clem
f674e2dad1
WIP - translation with Eff interface
2018-08-16 16:51:07 -07:00
Rick Winfrey
1665df55aa
Merge branch 'master' into interactive-debugger
2018-08-14 15:04:02 -07:00
Timothy Clem
cd65c8814a
Some common matchers
2018-08-14 14:15:18 -07:00
Timothy Clem
487c78b854
Merge remote-tracking branch 'origin/master' into source-aware-reprinter
2018-08-13 15:56:26 -07:00
Rick Winfrey
bdeae17ff6
🔥 unneeded build-depends
2018-08-13 15:43:07 -07:00
joshvera
75365e9caa
Merge remote-tracking branch 'origin/master' into interactive-debugger
2018-08-13 16:40:27 -04:00
Rob Rix
9c9fa333d6
🔥 Allocatable & Derefable.
2018-08-13 09:46:46 -04:00
Rob Rix
16964350b0
Stub in a module for the Hole address type.
2018-08-13 09:35:37 -04:00
joshvera
2732f17719
Merge remote-tracking branch 'origin/master' into interactive-debugger
2018-08-10 14:20:16 -04:00
Rob Rix
d05f3c6ae3
🔥 Data.Abstract.Address.
2018-08-10 13:46:24 -04:00
Rob Rix
53a9ca30aa
Add modules for the address types.
2018-08-10 13:31:55 -04:00
Josh Vera
44ac28510c
Merge branch 'master' into entry-points
2018-08-08 16:17:08 -04:00
Rick Winfrey
383b6208ee
Rename ErrorContext -> BaseError
2018-08-07 16:50:55 -07:00
Rob Rix
3c976b3c7f
Merge branch 'master' into interactive-debugger
2018-08-07 09:33:53 -04:00
joshvera
967803aae3
Merge remote-tracking branch 'origin/master' into entry-points
2018-08-06 18:57:18 -04:00
Rick Winfrey
823ae6ac51
Merge branch 'master' into error-context
2018-08-06 13:46:42 -07:00
Patrick Thomson
1d6346cb64
set ground for Control.Rule and Control.Rule.Engine
2018-08-06 16:33:50 -04:00
Patrick Thomson
8549440f21
even better names, and a helper script to narrow tests
2018-08-03 13:15:14 -04:00
Patrick Thomson
2ec082d92c
implement the typesetting stage
2018-08-03 12:47:54 -04:00
Patrick Thomson
081d8eb6fa
Reorganize and add microlens, at least for now.
2018-08-03 12:23:47 -04:00
Rob Rix
dfa3629db4
Add a dependency on haskeline.
2018-08-03 09:25:52 -04:00
Rob Rix
d8cf347822
🔥 the dependency on trifecta.
2018-08-02 16:33:19 -04:00
Rob Rix
9cdcd3c972
Depend on trifecta.
2018-08-02 14:45:55 -04:00
Patrick Thomson
f295632327
move some code around + ensure we can enforce History invariants
2018-08-02 13:03:55 -04:00
joshvera
d3cdda3dff
Merge remote-tracking branch 'origin/master' into entry-points
2018-08-01 18:18:33 -04:00
Rob Rix
c6c17a1594
Stub in a module for Quieterm.
...
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
2018-08-01 15:06:26 -04:00
Rob Rix
fb12fc3a29
Stub in a REPL module.
...
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
2018-08-01 10:54:57 -04:00
Patrick Thomson
76727e07da
rename
2018-07-31 17:49:03 -04:00
Patrick Thomson
dccea555ed
Extremely ad-hoc renderer to Docs
2018-07-31 12:44:20 -04:00
Patrick Thomson
6823fb92b6
better module name
2018-07-31 10:43:46 -04:00
Patrick Thomson
a61fe301c4
Skeleton and initial test case
2018-07-30 16:00:09 -04:00
Rick Winfrey
4fbad824d9
Define ErrorContext
2018-07-30 11:11:18 -07:00
Rob Rix
3fa75423d6
Move Mergeable into the tests.
2018-07-20 09:52:43 -04:00
Patrick Thomson
c8ec92ceb4
Make L.TS.Syntax an exports-only module.
2018-07-19 17:23:44 -04:00
Patrick Thomson
c647a558c6
add Syntax.JSX and Resolution
2018-07-19 17:05:44 -04:00
Patrick Thomson
587b97ffa5
Add -Wmissing-export-lists to semantic.
2018-07-19 14:56:58 -04:00
Patrick Thomson
bdd75e6e7c
Add export lists to modules missing them.
2018-07-19 14:45:04 -04:00
Patrick Thomson
361f62c812
Rename ImportGraph to AdjacencyList
2018-07-17 11:35:03 -04:00
Patrick Thomson
0ed48c7bbe
Simplest test possible.
2018-07-16 11:07:40 -04:00
Timothy Clem
aa480be46d
🔥 old import graph summary
...
This hasn't been in the CLI for a while now
2018-07-06 13:35:09 -07:00
Rob Rix
2a6b1dd109
Move Data.Abstract.Type to Data.Abstract.Value.Type.
2018-07-04 10:46:13 -04:00
Rob Rix
de7ac163d6
Stub in a module for abstract value semantics.
2018-07-04 09:21:51 -04:00
Rob Rix
5100670e72
Rename Data.Abstract.Value to Data.Abstract.Value.Concrete.
2018-07-03 14:22:26 -04:00
Rob Rix
c338fca8b0
Stub in a module for deterministic assignments.
2018-06-27 14:27:15 -04:00
Josh Vera
5538c6b490
Merge branch 'master' into explicit-integer-parser
2018-06-26 17:10:21 -04:00
Patrick Thomson
98030486eb
rename AdjList to ImportGraph
2018-06-26 16:54:09 -04:00
Patrick Thomson
bbf814acc1
Merge remote-tracking branch 'origin/master' into import-graph-mk2
2018-06-26 13:49:24 -04:00
Patrick Thomson
f9f0dd5e79
Use a hand-written integer parser.
...
Rather than relying on the `Read` instance for `Integer`, let's make
our assumptions about the format explicit. This was mostly a matter of
extracting internal functions from the `Scientific` parser.
2018-06-25 11:55:32 -04:00
Rob Rix
dda4c00cb5
🔥 Evaluating.
2018-06-21 13:26:22 -04:00
Patrick Thomson
de5792ef38
will this fix the cabal file? only time will tell
2018-06-18 19:22:42 -04:00
Rob Rix
d39171e9d7
Determine Preludes from the language.
2018-06-18 11:09:01 -04:00
Patrick Thomson
659500551c
Merge remote-tracking branch 'origin/master' into import-graph-mk2
2018-06-15 19:30:50 -04:00
Timothy Clem
0ddf994a81
Merge branch 'master' into telemetry-and-config
2018-06-15 10:40:06 -07:00
Patrick Thomson
62d238df09
🔥 Preluded and make prelude paths simpler/explicit
...
Preluded was overengineered anyway.
2018-06-15 11:49:26 -04:00
Rob Rix
da19e87b80
Depend on semilattices in the tests.
2018-06-15 11:40:26 -04:00
Rob Rix
bf06d928c9
Replace Data.Semilattice.Lower with semilattices.
2018-06-15 11:37:49 -04:00
Rob Rix
54ea58fd79
Move the proto3 packages down.
2018-06-15 11:06:26 -04:00
Timothy Clem
a1949ae322
Re-order
2018-06-13 16:39:13 -07:00
Timothy Clem
bff74e55d1
Attempt to have buildVersion in it's own file
2018-06-13 16:39:01 -07:00
Timothy Clem
c3d3425600
Intermediate, but compiling refactor of config and telemetry
2018-06-13 14:23:55 -07:00
Patrick Thomson
dbb04d695d
Revert "try adding preludes to extra-source-files"
...
This reverts commit 45b44bf90472ccde0708a2cf3e2830c16b1a32e1.
2018-06-13 16:30:48 -04:00
Patrick Thomson
921c697a25
try adding preludes to extra-source-files
2018-06-13 16:06:54 -04:00
Patrick Thomson
19e7ff7510
Reinstate import graph functionality.
2018-06-13 12:47:35 -04:00
Patrick Thomson
36d5b7562a
Revert "gRPC import graph"
2018-06-13 12:34:35 -04:00
Patrick Thomson
e0b0e31d9e
Merge branch 'master' into import-graph-mk2
2018-06-12 15:30:38 -04:00
Patrick Thomson
38be124258
Revert "split up Semantic.IO into Data.Handle and Semantic.Effect.Files"
...
This reverts commit c0064862e756a1064dc29631f94e007d9bdfb10b.
2018-06-12 11:40:53 -04:00
Patrick Thomson
25a3ad2e55
split up Semantic.IO into Data.Handle and Semantic.Effect.Files
2018-06-11 17:38:31 -04:00
Timothy Clem
5eeaaabf76
Start to extract common configuration
2018-06-11 13:12:19 -07:00
Timothy Clem
437b465f56
First pass at haystack reporting
2018-06-11 13:12:19 -07:00
Patrick Thomson
666524a07b
Merge remote-tracking branch 'origin/master' into import-graph-mk2
2018-06-11 14:30:52 -04:00
Patrick Thomson
dd8c8b0762
Port AdjList and create the messages
2018-06-08 12:48:23 -04:00
Timothy Clem
0282529e88
Merge remote-tracking branch 'origin/master' into port-semiotic-http-interface
2018-06-06 16:22:49 -07:00
Timothy Clem
19f30f33cc
Pull port and host from environment
2018-06-06 16:17:44 -07:00
Rob Rix
946ac38f0d
Merge Control.Abstract.Configuration into Control.Abstract.Heap.
2018-06-06 08:04:58 -04:00
Patrick Thomson
871ebf49b8
Add a test to ensure no one breaks Enum instances for Language.
2018-06-05 12:32:24 -04:00
Patrick Thomson
e25791c1ca
Roundtrip test for protobuf instances.
2018-06-05 12:14:24 -04:00
Ayman Nadeem
e030824d52
fix conflicts with new haskell additions
2018-05-31 15:32:10 -07:00
Rob Rix
6df9a1f174
Merge branch 'master' into protobuf-instances
2018-05-31 12:45:35 -04:00
Josh Vera
a342445b30
Merge branch 'master' into protobuf-instances
2018-05-31 11:33:19 -04:00
Rob Rix
6f9cfae147
Merge branch 'master' into env-effect
2018-05-30 18:57:52 -04:00
Rob Rix
11a92c0cb6
Move getExports & addExport into Control.Abstract.Environment.
2018-05-30 14:27:32 -04:00
joshvera
8d802f07df
Merge remote-tracking branch 'origin/master' into protobuf-instances
2018-05-30 13:43:03 -04:00
Timothy Clem
d47a06d47f
🔥 IdentifierName
2018-05-29 13:49:55 -07:00
Rob Rix
dda2f9897b
Merge branch 'master' into 🔥 -galign
2018-05-29 12:48:34 -04:00
Rob Rix
54150552b3
Merge branch 'master' into 🔥 -galign
2018-05-29 08:53:37 -04:00
Rob Rix
484b956ce7
Add a module for holes.
2018-05-28 15:09:10 -04:00
Rob Rix
b3b47a34df
🔥 Goto.
2018-05-28 14:42:46 -04:00
joshvera
84c3bef78e
Add Identity and Product
2018-05-24 16:19:58 -04:00
joshvera
131ffe0fad
Depend on proto3-suite and derive Named instances for Empty and Identifier
2018-05-24 13:43:51 -04:00
Timothy Clem
a15efb9327
Merge branch 'master' into deployment-setup
2018-05-24 10:13:25 -07:00
Josh Vera
38d438d540
Merge branch 'master' into deployment-setup
2018-05-24 11:52:40 -04:00
Rob Rix
3a8ee0dca2
Back out all of the effect decomposition stuff.
2018-05-24 11:26:42 -04:00
Rob Rix
37f7aa8ff8
Spike out a candidate implementation of embedEval.
2018-05-24 11:02:26 -04:00
Rob Rix
98a8f6050a
Merge branch 'master' into decompose-values
2018-05-24 09:30:48 -04:00
Rob Rix
eeb604569d
Merge branch 'master' into decompose-values
2018-05-24 09:11:19 -04:00
Rob Rix
ab3b353a0d
Stub in a module for the Options.
2018-05-24 08:49:30 -04:00
Rob Rix
87b31ff772
Merge branch 'master' into pretty,-pretty-colours
2018-05-24 08:45:13 -04:00
Rick Winfrey
7bc88d088c
Boilerplate and minimal syntax for Haskell assignment
2018-05-23 11:32:15 -07:00
Timothy Clem
b92f81d0b6
More sophisticated health server
2018-05-23 11:04:15 -07:00
Rob Rix
115e887739
Merge branch 'master' into decompose-values
2018-05-23 09:59:16 -04:00
Rob Rix
54a4f289f7
Produce colour output with the Show serializer.
2018-05-23 09:00:29 -04:00
Patrick Thomson
2edafbf1d1
Merge branch 'master' into fast-builds-by-default
2018-05-22 17:52:18 -04:00
Patrick Thomson
1f26db7a5e
-O2 is ridiculously slow, let's hold off for now
2018-05-22 17:48:07 -04:00
Patrick Thomson
c1d3a041cc
set -Werror when building release
2018-05-22 17:38:13 -04:00
Patrick Thomson
88d7d19bb8
Make builds run at -O0 by default, except for CI/deploy.
...
It's always been easy to forget the `--fast` flag. With the introduction of
`semanticd`, forgetting that carries a significant speed hit, as GHC
optimizes the resulting executable very thoroughly, which entails a
significant uptick in time spent building. For our collective sanity's
sake, this patch makes `stack build` operate without optimizations. CI
and deploy jobs pass `--flag semantic:release` to `stack`, which
specifies the `-O2` level of optimizations.
Timing `stack clean && stack build` (which rebuilds the tree-sitter
packages) went from 6m17s to 3m04s on my machine. When building just
`semantic` by itself, standard builds take 1m06s, whereas builds with
`--flag semantic:release` take 4m12s. (GHC does a lot of
optimizations!)
2018-05-22 17:18:03 -04:00
Patrick Thomson
c8d5a8d231
add test for cancelling in-flight parsers
2018-05-22 17:01:17 -04:00
Rob Rix
fb5b903af7
Merge branch 'master' into decompose-values
2018-05-22 08:44:54 -04:00
Timothy Clem
42af0faae6
New approach for linting
2018-05-21 08:17:11 -07:00
Timothy Clem
8fe6f7e959
Bump the version so we can tell these are new style builds
2018-05-18 13:31:05 -07:00
Rob Rix
66d1f8286b
Stub in a module for names.
2018-05-18 12:43:28 -04:00
Rob Rix
5a43ed60f4
Stub in a module for ValueRef.
2018-05-18 10:36:23 -04:00
Rob Rix
077335784a
Stub in a module for primitives.
2018-05-18 10:11:19 -04:00
Ayman Nadeem
8aad81b775
Merge branch 'master' into java-assignment
2018-05-17 10:42:00 -07:00
Rob Rix
e9238d0ec7
Merge branch 'master' into package-dot-json-parsing
2018-05-16 19:12:08 -04:00
Rob Rix
b2e5ee6d31
The tests depend on hashable.
2018-05-16 16:19:08 -04:00
Timothy Clem
a60ed7bc16
Merge remote-tracking branch 'origin/master' into package-dot-json-parsing
2018-05-16 12:07:13 -07:00
Timothy Clem
f81ea4bff5
s/File/Project b/c that makes more sense to me
2018-05-16 08:38:00 -07:00