public void Run()
{
_repl = new LispRepl(location: Location, input: Input, output: Output, traceWriter: Output);
_repl.Host.RootFrame.EvaluationHalted += (s, e) =>
{
if (e.EvaluationState != LispEvaluationState.FatalHalt)
{
Output.WriteLine($"Non-fatal break. Type '{DebugContinueCommand}' to resume evaluation.");
RunInHaltedState();
}
};
PrintPrompt(0);
string line;
while ((line = Input.ReadLine()) != "#quit")
{
var result = EvalAndPrint(line);
while (!result.ExecutionState.IsExecutionComplete && !(result.LastResult is LispError))
{
_repl.Eval(result.ExecutionState);
}
PrintPrompt(result.ExpressionDepth);
}
}
public void ReplErrorsArePropagated()
{
var repl = new LispRepl();
var result = repl.Eval("(+ 1 abcd)(+ 2 3)");
var error = (LispError)result.LastResult;
Assert.Equal("Symbol 'ABCD' not found", error.Message);
Assert.Equal(1, error.SourceLocation?.Start.Line);
Assert.Equal(6, error.SourceLocation?.Start.Column);
}
public void CompleteAndIncompleteSubmission()
{
var repl = new LispRepl();
var result = repl.Eval("(+ 1 2)(+ 5 6");
Assert.Equal(new LispInteger(3), result.LastResult);
Assert.Equal(1, result.ExpressionDepth);
result = repl.Eval(")");
Assert.Equal(new LispInteger(11), result.LastResult);
Assert.Equal(0, result.ExpressionDepth);
}
public void GetMarkdownDisplayFromUndefinedObject()
{
var markedCode = @"
as$$df
";
GetCodeAndPosition(markedCode, out var code, out var position);
var repl = new LispRepl();
var parseResult = repl.ParseUntilSourceLocation(code, position);
var markdown = parseResult.GetMarkdownDisplay();
Assert.Null(markdown);
}
public void GetMarkdownDisplayFromNumberSourceObject()
{
var markedCode = @"
3.14$$159
";
GetCodeAndPosition(markedCode, out var code, out var position);
var repl = new LispRepl();
var parseResult = repl.ParseUntilSourceLocation(code, position);
var markdown = parseResult.GetMarkdownDisplay().Replace("\r", "");
Assert.Equal("3.14159", markdown);
}
public void GetMarkdownDisplayFromUnevaludatedParsedSet()
{
var markedCode = @"
(setf some-value (+ 1 1))
some-$$value
";
GetCodeAndPosition(markedCode, out var code, out var position);
var repl = new LispRepl();
var parseResult = repl.ParseUntilSourceLocation(code, position);
var markdown = parseResult.GetMarkdownDisplay().Replace("\r", "");
Assert.Contains("(+ 1 1)", markdown);
}
public void GetObjectAtLocationReturnsNullIfNothingIsAvailable()
{
var markedCode = @"
(+ 1 2)
$$
(- 1 2)
";
GetCodeAndPosition(markedCode, out var code, out var position);
var repl = new LispRepl();
var parseResult = repl.ParseUntilSourceLocation(code, position);
Assert.Null(parseResult.Object);
}
public void GetMarkdownDisplayFromUnevaludatedParsedMacro()
{
var markedCode = @"
(defmacro some-macro (a b)
())
(some-$$macro 1 2)
";
GetCodeAndPosition(markedCode, out var code, out var position);
var repl = new LispRepl();
var parseResult = repl.ParseUntilSourceLocation(code, position);
var markdown = parseResult.GetMarkdownDisplay().Replace("\r", "");
Assert.Contains("DEFMACRO SOME-MACRO", markdown);
}
public void GetMarkdownDisplayFromUnevaluatedParsedFunction()
{
var markedCode = @"
(defun some-function (a b)
())
(some-$$function 1 2)
";
GetCodeAndPosition(markedCode, out var code, out var position);
var repl = new LispRepl();
var parseResult = repl.ParseUntilSourceLocation(code, position);
var markdown = parseResult.GetMarkdownDisplay().Replace("\r", "");
Assert.Contains("DEFUN SOME-FUNCTION", markdown);
}
public void GetObjectAtLocationGetsParentObjectIfNoNarrowChildExists()
{
var markedCode = @"
(+ 1 2)
(+ (* 12 34) $$ (/ 56 78))
(- 1 2)
";
GetCodeAndPosition(markedCode, out var code, out var position);
var repl = new LispRepl();
var parseResult = repl.ParseUntilSourceLocation(code, position);
Assert.IsType <LispList>(parseResult.Object);
Assert.Equal("(+ (* 12 34) (/ 56 78))", parseResult.Object.ToString());
}
public void GetObjectAtLocationGetsNarrowestObject()
{
var markedCode = @"
(+ 1 2)
(+ (* 12 3$$4) (/ 56 78))
(- 1 2)
";
GetCodeAndPosition(markedCode, out var code, out var position);
var repl = new LispRepl();
var parseResult = repl.ParseUntilSourceLocation(code, position);
Assert.IsType <LispInteger>(parseResult.Object);
Assert.Equal(34, ((LispInteger)parseResult.Object).Value);
}
public void Simple()
{
var repl = new LispRepl();
var result = repl.Eval("(+ (+ 1 2) (+ 3 4");
Assert.Null(result.LastResult);
Assert.Equal(2, result.ExpressionDepth);
result = repl.Eval(")");
Assert.Null(result.LastResult);
Assert.Equal(1, result.ExpressionDepth);
result = repl.Eval(")");
Assert.Equal(new LispInteger(10), result.LastResult);
Assert.Equal(0, result.ExpressionDepth);
}
public void GetMarkdownDisplayFromFunctionSourceObject()
{
var markedCode = @"
(add-2-num$$bers 3 5)
";
GetCodeAndPosition(markedCode, out var code, out var position);
var repl = new LispRepl();
repl.Eval("(defun add-2-numbers (a b) \"Adds 2 numbers.\" (+ a b))");
var parseResult = repl.ParseUntilSourceLocation(code, position);
var markdown = parseResult.GetMarkdownDisplay().Replace("\r", "");
var expected = @"
``` lisp
; <in module COMMON-LISP-USER>
(DEFUN ADD-2-NUMBERS (A B) ...)
```
Adds 2 numbers.
".Trim().Replace("\r", "");
Assert.Equal(expected, markdown);
}
public void DribbleLogging()
{
var output = new StringWriter();
var repl = new LispRepl(output: output);
using (var tempFile = new TemporaryFile(createFile: false))
{
var result = repl.Eval($@"
(+ 1 1) ; this shouldn't be in the log
(dribble ""{tempFile.FilePath.Replace("\\", "\\\\")}"") ; start recording
(+ 3 3) ; this should be in the log
(dribble) ; stop recording
(+ 5 5) ; this shouldn't be in the log
");
var consoleOutput = NormalizeNewlines(output.ToString()).Trim();
var expectedConsoleOutput = NormalizeNewlines($@"
Now recording in file {tempFile.FilePath}
Finished recording in file {tempFile.FilePath}
").Trim();
Assert.Equal(expectedConsoleOutput, consoleOutput);
var logContents = NormalizeNewlines(File.ReadAllText(tempFile.FilePath).Trim());
// trim non-deterministic time stamp
logContents = Regex.Replace(logContents, ";Recording started at .*$", ";Recording started at <TIME-STAMP>", RegexOptions.Multiline);
var expectedLogContents = NormalizeNewlines($@"
;Recording in {tempFile.FilePath}
;Recording started at <TIME-STAMP>
> (+ 3 3)
6
> (DRIBBLE)
".Trim());
Assert.Equal(expectedLogContents, logContents);
}
}
public void FunctionTracing()
{
var traceWriter = new StringWriter();
var repl = new LispRepl(traceWriter: traceWriter);
repl.Eval(@"
(defun half (n) (* n 0.5))
(defun average (x y)
(+ (half x) (half y)))
(trace half average)
");
repl.Eval("(average 3 7)");
var actual = NormalizeNewlines(traceWriter.ToString().Trim('\r', '\n'));
var expected = NormalizeNewlines(@"
0: (AVERAGE 3 7)
1: (HALF 3)
1: returned 1.5
1: (HALF 7)
1: returned 3.5
0: returned 5
".Trim('\r', '\n'));
Assert.Equal(expected, actual);
}
internal LanguageServer()
{
_repl = new LispRepl();
}