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/r029d-fl.out
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2403 - (view) (download)

1 : dbm 2403 val it = () : unit
2 :     datatype tree1 = Lf
3 :     val y = Lf : tree1
4 :     datatype tree2 = Lf
5 :     r029d-fl.sml:17.1-17.19 Error: pattern and expression in val dec don't agree [tycon mismatch]
6 :     pattern: tree1
7 :     expression: tree2
8 :     in declaration:
9 :     x : tree1 = Lf
10 :    

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