diff options
| author | Eduardo Julian | 2017-10-26 19:21:17 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-26 19:21:17 -0400 |
| commit | 64ac2f552ec9e19131fc9671f14d14b0651cd988 (patch) | |
| tree | 2fb9bc0a82f2d8e8ffc9036f9cb304394ea7d579 /new-luxc/test/test/luxc/analyser | |
| parent | cb54d53f06cb8d047e1460f0a9db63a594c5baf9 (diff) | |
- Fixed some compiler tests.
Diffstat (limited to 'new-luxc/test/test/luxc/analyser')
| -rw-r--r-- | new-luxc/test/test/luxc/analyser/function.lux | 5 | ||||
| -rw-r--r-- | new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux | 8 |
2 files changed, 4 insertions, 9 deletions
diff --git a/new-luxc/test/test/luxc/analyser/function.lux b/new-luxc/test/test/luxc/analyser/function.lux index baef5c42c..6fbafd1eb 100644 --- a/new-luxc/test/test/luxc/analyser/function.lux +++ b/new-luxc/test/test/luxc/analyser/function.lux @@ -100,11 +100,6 @@ (@;analyse-function analyse func-name arg-name (code;symbol ["" func-name]))) (meta;run (init-compiler [])) succeeds?)) - (test "Can infer recursive types for functions." - (|> (@common;with-unknown-type - (@;analyse-function analyse func-name arg-name (code;symbol ["" func-name]))) - (meta;run (init-compiler [])) - (check-type (type (Rec self (All [a] (-> a self))))))) )))) (context: "Function application." diff --git a/new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux b/new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux index ad5670cbe..d1520e5b7 100644 --- a/new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux +++ b/new-luxc/test/test/luxc/analyser/procedure/host.jvm.lux @@ -434,7 +434,7 @@ ("jvm object null"))) (`' ("lux check" (+0 "org.omg.CORBA.ValueMember" (+0)) ("jvm object null")))) - Unit)) + (primitive org.omg.CORBA.ValueMember))) (test "jvm member virtual put (final)" (failure "jvm member virtual put" (list (code;text "javax.swing.text.html.parser.DTD") @@ -443,7 +443,7 @@ ("jvm object null"))) (`' ("lux check" (+0 "javax.swing.text.html.parser.DTD" (+0)) ("jvm object null")))) - Unit)) + (primitive javax.swing.text.html.parser.DTD))) (test "jvm member virtual put (inheritance in)" (success "jvm member virtual put" (list (code;text "java.awt.GridBagConstraints") @@ -452,7 +452,7 @@ ("jvm object null"))) (`' ("lux check" (+0 "java.awt.GridBagConstraints" (+0)) ("jvm object null")))) - Unit)) + (primitive java.awt.GridBagConstraints))) )) (context: "Boxing/Unboxing." @@ -477,7 +477,7 @@ ("jvm object null"))) (`' ("lux check" (+0 "javax.accessibility.AccessibleAttributeSequence" (+0)) ("jvm object null")))) - Unit)) + (primitive javax.accessibility.AccessibleAttributeSequence))) )) (context: "Member [Method]." |