Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /tests/trunk/coresml/outputs.post-110.61/r045b-fl.out
ViewVC logotype

Annotation of /tests/trunk/coresml/outputs.post-110.61/r045b-fl.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2466 - (view) (download)

1 : dbm 2403 val it = () : unit
2 :     val r = {name="Foo",used=true} : {name:string, used:bool}
3 : dbm 2412 r045b-fl.sml:15.5-15.32 Error: pattern and expression in val dec don't agree [tycon mismatch]
4 : dbm 2403 pattern: {name:int; 'Z}
5 :     expression: {name:string, used:bool}
6 :     in declaration:
7 :     {name=u : int,...} =
8 :     (case r
9 : dbm 2466 of {name=u : int,...} => {1=u})
10 : dbm 2403

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0