Patrick Thomson
|
a73f8e83de
|
Has-ify Control.Abstract.Value.
|
2019-11-08 14:11:32 -05:00 |
|
Patrick Thomson
|
e71e10fb17
|
Port Abstract.Heap to FE1.
|
2019-11-08 14:01:34 -05:00 |
|
Patrick Thomson
|
06fad83d8b
|
Port Abstract.Modules to FE1.
|
2019-11-08 13:56:09 -05:00 |
|
Patrick Thomson
|
7ed1c8c7a5
|
Port Abstract.ScopeGraph to FE1.
This was a little involved.
|
2019-11-08 13:52:08 -05:00 |
|
Patrick Thomson
|
78d265e307
|
Has-ify Data.Abstract.BaseError.
|
2019-11-08 13:41:50 -05:00 |
|
Patrick Thomson
|
edac9f4716
|
Has-ify Control.Abstract.Context.
|
2019-11-08 13:41:04 -05:00 |
|
Patrick Thomson
|
89b8a50737
|
Fix Algebra for REPL.
|
2019-11-08 13:39:13 -05:00 |
|
Patrick Thomson
|
3e6c84a48e
|
Has-ify Control.Abstract.Roots.
|
2019-11-08 13:37:47 -05:00 |
|
Patrick Thomson
|
4543148e73
|
Has-ify Data.Abstract.Name.
|
2019-11-08 13:33:06 -05:00 |
|
Patrick Thomson
|
66584f8aae
|
Use proper carriers and kill runM in Parsing.TreeSitter.
|
2019-11-08 12:56:10 -05:00 |
|
Patrick Thomson
|
8c0224ab08
|
Has-ify Data.Blob.
|
2019-11-08 12:35:00 -05:00 |
|
Patrick Thomson
|
c765b28c4c
|
FE1-ify Diffing.Interpreter.
|
2019-11-08 12:33:52 -05:00 |
|
Patrick Thomson
|
7d8ccd42ce
|
Port Diffing.Algorithm to FE1.
|
2019-11-08 12:26:13 -05:00 |
|
Patrick Thomson
|
a81483f5ab
|
Fix Interpose effect.
|
2019-11-08 12:22:29 -05:00 |
|
Patrick Thomson
|
f2f5eccdeb
|
Add Control.Effect.Sum.Project.
Fixes #289.
|
2019-11-08 12:20:43 -05:00 |
|
Patrick Thomson
|
b60491714f
|
Fix type errors in Interpose before porting over prj.
|
2019-11-08 12:16:10 -05:00 |
|
Patrick Thomson
|
c06873bedb
|
Port Control.Abstract.Evaluator to FE1.
|
2019-11-08 12:14:33 -05:00 |
|
Patrick Thomson
|
e3db8c1224
|
Add fused-effects-resumable as a dependency.
|
2019-11-08 12:14:22 -05:00 |
|
Patrick Thomson
|
e74183c285
|
Port Java tagging to FE1.
|
2019-11-08 12:06:48 -05:00 |
|
Patrick Thomson
|
7acd177fa7
|
Port Python tagging to FE1.
|
2019-11-08 12:04:52 -05:00 |
|
Patrick Thomson
|
fbea9072f8
|
Port Python compiler to use Has.
|
2019-11-08 12:03:10 -05:00 |
|
Patrick Thomson
|
f65faec2a8
|
Track a local tree-sitter so this starts building.
|
2019-11-08 12:00:46 -05:00 |
|
Patrick Thomson
|
9fb876be84
|
Port over RightModule definitions for Core and Ann.
|
2019-11-08 10:36:43 -05:00 |
|
Patrick Thomson
|
a11462dc13
|
PureC is gone.
|
2019-11-08 10:27:50 -05:00 |
|
Patrick Thomson
|
0ceba4a160
|
Ensure Readline is an HFunctor.
|
2019-11-08 10:24:54 -05:00 |
|
Patrick Thomson
|
f1a5f0439d
|
Fix state type in concrete analysis.
|
2019-11-08 10:24:18 -05:00 |
|
Patrick Thomson
|
df98749bd0
|
Fix Analysis.ImportGraph.
|
2019-11-08 10:23:39 -05:00 |
|
Patrick Thomson
|
e6bf975ee8
|
Fix state type in runFile.
|
2019-11-08 10:22:58 -05:00 |
|
Patrick Thomson
|
cac8047ee0
|
Fix Typecheck analysis.
Had to write this RightModule instance by hand. It typechecks, so I
guess it works?
|
2019-11-08 10:21:48 -05:00 |
|
Patrick Thomson
|
3feec0e5ee
|
Correct Algebra instance for FailC.
|
2019-11-08 10:16:34 -05:00 |
|
Patrick Thomson
|
e041d2440d
|
🔥 state types in FlowInsensitive.
|
2019-11-08 10:16:20 -05:00 |
|
Patrick Thomson
|
edc1894299
|
Pin to correct fused-syntax and fused-exceptions.
|
2019-11-08 10:14:54 -05:00 |
|
Patrick Thomson
|
35ea116f00
|
Bump various FE dependencies from 0.5 to 1.0.
|
2019-11-07 15:48:57 -05:00 |
|
Patrick Thomson
|
593eb129b6
|
Track TS upstream. So many dependencies!
|
2019-11-07 15:47:11 -05:00 |
|
Patrick Thomson
|
eb989d2c3f
|
Bump versions.
|
2019-11-06 15:01:42 -05:00 |
|
Patrick Thomson
|
0f8fd5be35
|
Merge remote-tracking branch 'origin/master' into fused-effects-one-dot-zero
|
2019-11-06 14:13:02 -05:00 |
|
Patrick Thomson
|
2175bbb443
|
Merge pull request #376 from github/expose-diff-graph
Expose diffGraph again
|
2019-11-06 11:02:34 -05:00 |
|
Timothy Clem
|
6825316011
|
Expose diffGraph again
|
2019-11-05 14:31:16 -08:00 |
|
Rob Rix
|
2a13455080
|
Merge pull request #373 from github/multi-component-repl
Multi component repl
|
2019-11-01 11:19:23 -04:00 |
|
Rob Rix
|
76833768a4
|
Enable pretty-printing immediately.
|
2019-11-01 09:58:22 -04:00 |
|
Rob Rix
|
d030f028da
|
Ignore pretty-simple before loading it to avoid multiple loaded copies.
|
2019-11-01 09:58:14 -04:00 |
|
Rob Rix
|
055c8424ee
|
Rewrite the ghci section.
|
2019-11-01 09:38:52 -04:00 |
|
Rob Rix
|
6863b55dc0
|
Simplify the threadscope steps.
|
2019-11-01 09:38:07 -04:00 |
|
Rob Rix
|
66c1abd529
|
Promote the threadscope section out of the ghci section.
|
2019-11-01 09:38:01 -04:00 |
|
Rob Rix
|
5c8bc7846a
|
Remove some stuff.
|
2019-11-01 09:37:52 -04:00 |
|
Rob Rix
|
51884e68dd
|
Fix a typo.
|
2019-11-01 09:10:49 -04:00 |
|
Rob Rix
|
a637e6e5a8
|
🔥 a redundant link.
|
2019-11-01 09:03:56 -04:00 |
|
Rob Rix
|
2d04c23491
|
Ignore .ghci.
|
2019-11-01 09:02:45 -04:00 |
|
Rob Rix
|
2214adb460
|
Rename ghci.default to ghci.sample.
|
2019-11-01 09:00:16 -04:00 |
|
Rob Rix
|
3710150717
|
Uncomment the proposed .ghci file.
|
2019-11-01 08:46:43 -04:00 |
|