fix up test; logged hydromatic#139

julianhyde · Apr 13, 2022 · 50a55f1 · 50a55f1
1 parent 24b7a6a
commit 50a55f1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/src/test/resources/script/suchThat.sml b/src/test/resources/script/suchThat.sml
@@ -63,7 +63,7 @@ in
 end;
 
 (*) A function with external extent.
-fun hasJob e job =
+fun hasJob (e: {name: string, job: string, empno: int}) job =
   e.job = job;
 (*) Valid, because the argument has an extent.
 let

diff --git a/src/test/resources/script/suchThat.sml.out b/src/test/resources/script/suchThat.sml.out
@@ -73,9 +73,9 @@ val it = [] : string list
 
 
 (*) A function with external extent.
-fun hasJob e job =
+fun hasJob (e: {name: string, job: string, empno: int}) job =
   e.job = job;
-java.lang.ClassCastException: class net.hydromatic.morel.type.TypeVar cannot be cast to class net.hydromatic.morel.type.RecordLikeType (net.hydromatic.morel.type.TypeVar and net.hydromatic.morel.type.RecordLikeType are in unnamed module of loader 'app')
+val hasJob = fn : {empno:int, job:string, name:string} -> string -> bool
 
 (*) Valid, because the argument has an extent.
 let
@@ -90,8 +90,7 @@ val it = [] : string list
 
 (*) Invalid, because the argument has no extent.
 from e suchThat hasJob e "CLERK";
-stdIn:2.17-2.23 Error: unbound variable or constructor: hasJob
-  raised at: stdIn:2.17-2.23
+val it = [] : {empno:int, job:string, name:string} list
 
 
 (*) A string function with external extent.