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

SCM Repository

[smlnj] View of /sml/trunk/tests/bugs/outputs.pre-110.5/bug1599.1.out
ViewVC logotype

View of /sml/trunk/tests/bugs/outputs.pre-110.5/bug1599.1.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 791 - (download) (annotate)
Thu Mar 1 18:59:35 2001 UTC (18 years, 5 months ago) by dbm
File size: 770 byte(s)
new output files (outputs.pre-110.5) for new tests
val it = () : unit
signature SIG1 = sig type t end
signature SIG2 =
  sig
    type t
    val f : t -> unit
  end
signature SIG3 = sig structure S : sig type t end end
functor MkA : <sig>
functor MkB : <sig>
functor MkC : <sig>
structure A :
  sig
    type t = int
    val f : 'a -> unit
  end
structure B : SIG3
bug1599.1.sml:38.15-39.35 Error: unmatched structure specification: Ta

uncaught exception nonexhaustive binding failure
  raised at: modules/sigmatch.sml:576.10-576.44
             modules/sigmatch.sml:728.45
             modules/sigmatch.sml:884.25
             modules/sigmatch.sml:728.45
             modules/sigmatch.sml:884.25
             modules/sigmatch.sml:966.24
             elaborate/elabmod.sml:1223.8
             elaborate/elabmod.sml:1223.8

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