[ test ] More tests

owo-lang · May 14, 2019 · c8cccf2 · c8cccf2
1 parent 2344b46
commit c8cccf2
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/res/icons/ast/windows-svg-to-png.pl b/res/icons/ast/windows-svg-to-png.pl
@@ -1,5 +1,8 @@
 use strict;
 use warnings FATAL => 'all';
+# Use this in git-bash
+
+print `rm *.png`;
 
 foreach my $svg (split /[ \t\n]+/, `ls *.svg`) {
 	my $png = $svg =~ s/svg/png/rg;

diff --git a/test/create-ast.kt b/test/create-ast.kt
@@ -2,6 +2,7 @@ package org.ice1000.tt
 
 import com.intellij.testFramework.LightPlatformTestCase
 import org.ice1000.tt.psi.agda.AgdaTokenType
+import org.ice1000.tt.psi.mlpolyr.MLPolyRTokenType
 import org.ice1000.tt.psi.redprl.RedPrlTokenType
 
 class RedPrlCreateAstTest : LightPlatformTestCase() {
@@ -20,6 +21,15 @@ class RedPrlCreateAstTest : LightPlatformTestCase() {
 class AgdaCreateAstTest : LightPlatformTestCase() {
 	fun testCreate() {
 		val project = getProject()
-		AgdaTokenType.createStr("\"Hey!\"", project)!!
+		AgdaTokenType.createStr("\"Come and get your love!\"", project)!!
+	}
+}
+
+class MLPolyRCreateAstTest : LightPlatformTestCase() {
+	fun testCreate() {
+		val project = getProject()
+		MLPolyRTokenType.createLabel("Van", project)!!
+		MLPolyRTokenType.createCon("`Van", project)!!
+		MLPolyRTokenType.createStr("\"What's the matter with your head\"", project)!!
 	}
 }