Commit cc6bd0a4 authored by Andre Lipke's avatar Andre Lipke

add vDelimitate

parent d67a1a4e
This diff is collapsed.
<component name="libraryTable">
<library name="Dart SDK">
<CLASSES>
<root url="file:///usr/lib/dart/lib/async" />
<root url="file:///usr/lib/dart/lib/collection" />
<root url="file:///usr/lib/dart/lib/convert" />
<root url="file:///usr/lib/dart/lib/core" />
<root url="file:///usr/lib/dart/lib/developer" />
<root url="file:///usr/lib/dart/lib/html" />
<root url="file:///usr/lib/dart/lib/indexed_db" />
<root url="file:///usr/lib/dart/lib/io" />
<root url="file:///usr/lib/dart/lib/isolate" />
<root url="file:///usr/lib/dart/lib/js" />
<root url="file:///usr/lib/dart/lib/js_util" />
<root url="file:///usr/lib/dart/lib/math" />
<root url="file:///usr/lib/dart/lib/mirrors" />
<root url="file:///usr/lib/dart/lib/svg" />
<root url="file:///usr/lib/dart/lib/typed_data" />
<root url="file:///usr/lib/dart/lib/web_audio" />
<root url="file:///usr/lib/dart/lib/web_gl" />
<root url="file:///usr/lib/dart/lib/web_sql" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/async" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/collection" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/convert" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/core" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/developer" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/html" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/indexed_db" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/io" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/isolate" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/js" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/js_util" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/math" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/mirrors" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/svg" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/typed_data" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/web_audio" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/web_gl" />
<root url="file://C:/Program Files/Dart/dart-sdk/lib/web_sql" />
</CLASSES>
<JAVADOC />
<SOURCES />
......
<component name="libraryTable">
<library name="Flutter Plugins">
<CLASSES />
<JAVADOC />
<SOURCES />
</library>
</component>
\ No newline at end of file
This diff is collapsed.
......@@ -228,11 +228,16 @@ const Map<String, String> tests = const {
'(vAny [1 2 0 3] uIsZero)\n'
']' : '[false false true true]',
'[\n'
'(vFirstWhere [] (\\e uGT e 3) 0 null)\n'
'(vFirstWhere [1 2 3] (\\e uGT e 3) 0 null)\n'
'(vFirstWhere [1 2 3 4 5] (\\e uGT e 3) 0 null)\n'
'(vFirstWhere [3 2 9 2] (\\e uGT e 3) 0 null)\n'
']' : '[0 0 4 9]',
'(vFirstWhere [] (\\e uGT e 3) 0 null)\n'
'(vFirstWhere [1 2 3] (\\e uGT e 3) 0 null)\n'
'(vFirstWhere [1 2 3 4 5] (\\e uGT e 3) 0 null)\n'
'(vFirstWhere [3 2 9 2] (\\e uGT e 3) 0 null)\n'
']' : '[0 0 4 9]',
'[\n'
'(vDelimitate [] 0)\n'
'(vDelimitate [1 2 3] 1)\n'
'(vDelimitate [4 5] 2)\n'
']' : '[[] [1 1 2 1 3] [4 2 5]]',
// Maps //
'[\n'
......
......@@ -743,7 +743,6 @@ class TrashSolver extends Solver {
}
while (contStep) {
print("step");
contStep = false;
complexity = 0;
ops = 0;
......@@ -763,7 +762,6 @@ class TraceSolver extends Solver {
TraceSolver(Expr expr) : super(expr);
void solve() {
print("solve");
bool contStep = true;
bool forceDown = false;
var complexity = 0;
......
......@@ -159,4 +159,8 @@
~\vAny(\v\l
v (\e\nx l e true nx) false
)
~\vDelimitate(\v\dl
vRemoveLast~vExpand v \e [e dl]
)
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment