stan/JavaTypeUnifyASP
1
0
Fork 0
forked from i21017/JavaTypeUnify
Code Pull Requests Activity

Fix

Browse Source
This commit is contained in:
Andreas Stadelmeier 2024-06-07 11:16:41 +02:00
parent 2b7b17060a
commit 536fe9239e
1 changed files with 4 additions and 42 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
src/test/java/UnifyTest.java
View File

@ -31,7 +31,6 @@ public class UnifyTest {
@Test
public void matrix2k(){
//und-constraints
//T =. BC
//java.lang.Boolean =. G
@ -60,9 +59,11 @@ public class UnifyTest {
//set #1
//Matrix <. Matrix
//set #2
//F =. java.lang.Float ;
// F =. java.lang.Integer
//F =. java.lang.Float
//F =. java.lang.Integer
//set #3
//H =. ? extends Matrix
//java.lang.Integer =. J
//H =. Vector<ALB>
//java.lang.Integer =. J
//H =. Matrix
@ -155,45 +156,6 @@ public class UnifyTest {
//AJ <. java.lang.Integer
//AR <. java.lang.Integer
//java.lang.Float =. AT
//AR <. java.lang.Float
//AJ <. java.lang.Float
//set #15
//java.lang.Float =. AU
//AT <. java.lang.Float
//Z <. java.lang.Float
//java.lang.Integer =. AU
//Z <. java.lang.Integer
//AT <. java.lang.Integer
//set #16
//Z <. ANP
//R =. ? extends Vector<ANP>
//java.lang.Boolean =. BA
//R =. ? extends Matrix
//Z <. Vector<java.lang.Integer>
//java.lang.Boolean =. BA
//Z <. ANP
//R =. Vector<ANP>
//java.lang.Boolean =. BA
//Z <. Vector<java.lang.Integer>
//java.lang.Boolean =. BA
//R =. Matrix
//set #17
//R <. Vector<java.lang.Integer>
//C =. ? extends Matrix
//java.lang.Boolean =. BH
//java.lang.Boolean =. BH
//R <. ANQ
//C =. Vector<ANQ>
//R <. Vector<java.lang.Integer>
//java.lang.Boolean =. BH
//C =. Matrix
//java.lang.Boolean =. BH
//C =. ? extends Vector<ANQ>
//R <. ANQ
}