Scripting: switch legacy CLI REPL to the new infrastructure

This commit is contained in:
Ilya Chernikov
2022-05-13 20:44:44 +02:00
committed by teamcity
parent 6784cb63aa
commit b36d1be5f8
16 changed files with 185 additions and 62 deletions
-3
View File
@@ -2,9 +2,6 @@
error: expecting an element
)(
^
error: expecting an expression
)(
^
>>> fun foo() = 98
>>> foo()
98