Rob Rix
|
3c976b3c7f
|
Merge branch 'master' into interactive-debugger
|
2018-08-07 09:33:53 -04:00 |
|
Rob Rix
|
18834712d7
|
Merge pull request #2106 from github/polyadic-lambda
Polyadic lambda
|
2018-08-07 09:28:19 -04:00 |
|
Rob Rix
|
98a848d3ad
|
Inline the lambda' cases.
|
2018-08-07 09:18:43 -04:00 |
|
Rob Rix
|
9b95841a2d
|
Merge branch 'master' into polyadic-lambda
|
2018-08-07 09:03:47 -04:00 |
|
Charlie Somerville
|
add87cf217
|
Merge pull request #1967 from github/charliesome/remove-lookup-or-alloc
Remove lookupOrAlloc calls outside Control.Abstract.Heap
|
2018-08-07 15:44:01 +10:00 |
|
Charlie Somerville
|
b327ffcfb9
|
remove lookupOrAlloc calls outside Control.Abstract.Heap
|
2018-08-07 10:25:47 +10:00 |
|
Josh Vera
|
5a65fc091b
|
Merge pull request #2119 from github/fix-dot-graphs
Fix term and diff dot graphs
|
2018-08-06 17:33:27 -04:00 |
|
Timothy Clem
|
a420cfe909
|
Merge branch 'master' into fix-dot-graphs
|
2018-08-06 13:38:06 -07:00 |
|
Timothy Clem
|
79e85ac6de
|
Merge pull request #2102 from github/enterprise-support
Allow semanticd to run on Enterprise
|
2018-08-06 13:37:54 -07:00 |
|
Timothy Clem
|
cd3c0f15ac
|
Merge branch 'master' into enterprise-support
|
2018-08-06 12:56:45 -07:00 |
|
Josh Vera
|
1b68e86997
|
Merge branch 'master' into fix-dot-graphs
|
2018-08-06 14:01:54 -04:00 |
|
Josh Vera
|
dba1e3ba07
|
Merge pull request #2103 from github/pass-precise-project-paths
Pass precise project paths
|
2018-08-06 13:25:02 -04:00 |
|
Josh Vera
|
99d0b78138
|
Merge branch 'master' into pass-precise-project-paths
|
2018-08-06 13:11:09 -04:00 |
|
Josh Vera
|
9055e44acd
|
Merge pull request #2111 from github/refactor-util-and-friends
Move Quieterm into its own module
|
2018-08-06 13:08:37 -04:00 |
|
Timothy Clem
|
30f7308f5f
|
This order is a little better
|
2018-08-04 19:32:23 -07:00 |
|
Timothy Clem
|
f1d35283e7
|
No need for this, left over from debuggin
|
2018-08-04 19:31:15 -07:00 |
|
Timothy Clem
|
ca64ee2b07
|
Show replacements in the diff dot output
|
2018-08-04 19:30:19 -07:00 |
|
Timothy Clem
|
2a2a1b9128
|
Bring back dot rendering for terms and diffs
The usage of local was problematic here.
|
2018-08-04 19:29:14 -07:00 |
|
Rob Rix
|
b494bad581
|
Specify the haskeline license.
|
2018-08-03 14:28:26 -04:00 |
|
Rob Rix
|
55999323df
|
Define Breakpoint as a newtype for now.
|
2018-08-03 14:25:28 -04:00 |
|
Rob Rix
|
c5ac62c84c
|
🔥 the GND pragma.
|
2018-08-03 14:25:07 -04:00 |
|
Rob Rix
|
43bb479cda
|
Use conveniences to concatenate the lists.
|
2018-08-03 14:24:43 -04:00 |
|
Rob Rix
|
8c9debbd17
|
Fix up the specs.
|
2018-08-03 14:14:08 -04:00 |
|
Rob Rix
|
6d5e7796d5
|
Add the haskeline license.
|
2018-08-03 14:12:35 -04:00 |
|
Rob Rix
|
c3963a3baf
|
Merge branch 'master' into interactive-debugger
|
2018-08-03 13:52:08 -04:00 |
|
Rob Rix
|
b48a3f9876
|
Redistribute the TODOs.
|
2018-08-03 13:51:26 -04:00 |
|
Rob Rix
|
ef81ee2dbf
|
Create the semantic prefs dir if it doesn’t exist already.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 13:41:48 -04:00 |
|
Rob Rix
|
2f038b92be
|
More idiomatic home directory finding.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 13:39:11 -04:00 |
|
Rob Rix
|
45da491c6f
|
Store history in ~/.local/semantic/repl_history
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 13:35:35 -04:00 |
|
Rob Rix
|
e1708d6dfb
|
Revert "Add a Distribute handler taking a handler for monad transformers wrapping IO."
This reverts commit f9f69104e2df65e014cec182e57747436356460a.
|
2018-08-03 13:08:41 -04:00 |
|
Rob Rix
|
09e1c63d88
|
Add a Distribute handler taking a handler for monad transformers wrapping IO.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 13:05:47 -04:00 |
|
Rob Rix
|
40c7b8b6d7
|
Add a command to add new breakpoints.
We now model breakpoints as a list of breakpoints, plus a step mode.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 12:43:19 -04:00 |
|
Rob Rix
|
f53d8fefd8
|
Stop on the first line by default.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 12:29:06 -04:00 |
|
Rob Rix
|
47de465686
|
Define line breakpoints.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 12:27:04 -04:00 |
|
Rob Rix
|
c0ab6627e8
|
Only show the code listing when we stop.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 12:23:26 -04:00 |
|
Rob Rix
|
2513fe8b2c
|
Add a command to continue evaluation until the next breakpoint.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 12:22:48 -04:00 |
|
Rob Rix
|
6d14d8d617
|
Only break when we should.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 12:20:35 -04:00 |
|
Rob Rix
|
357e98115b
|
Add a reader effect to determine when to break.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 12:16:04 -04:00 |
|
Rob Rix
|
ad7721f209
|
Add a note about continuing til the next breakpoint.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 11:56:14 -04:00 |
|
Rob Rix
|
6cd3650519
|
Add support for abandoning the current evaluation.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 11:56:03 -04:00 |
|
Rob Rix
|
e3025e87a8
|
Move the help commands together.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-03 11:51:32 -04:00 |
|
Rob Rix
|
d64e7f2386
|
Turn off missing signature errors.
|
2018-08-03 11:20:47 -04:00 |
|
Rob Rix
|
6aa51449f3
|
Use a type application instead of annotation.
|
2018-08-03 11:20:27 -04:00 |
|
Rob Rix
|
951e7880f9
|
🔥 REPLEff.
|
2018-08-03 11:19:39 -04:00 |
|
Rob Rix
|
f2fcbf93f4
|
Generalize UtilEff over the trailing effects.
|
2018-08-03 11:18:03 -04:00 |
|
Rob Rix
|
2389a287a2
|
Move Trace to the end.
|
2018-08-03 11:13:55 -04:00 |
|
Rob Rix
|
2cf532f149
|
Avoid a redundant mention of the REPL effect.
|
2018-08-03 11:13:15 -04:00 |
|
Rob Rix
|
7813afc0bf
|
Better formatting of bindings.
|
2018-08-03 11:10:11 -04:00 |
|
Rob Rix
|
b831b1e137
|
Define a more aesthetic Show instance for Bindings.
|
2018-08-03 11:04:47 -04:00 |
|
Rob Rix
|
47b734bb81
|
Split commands into their words.
|
2018-08-03 11:00:48 -04:00 |
|