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 /tests/trunk/modules/outputs.post-110.61/44.out
ViewVC logotype

View of /tests/trunk/modules/outputs.post-110.61/44.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2469 - (download) (annotate)
Mon Apr 30 16:51:27 2007 UTC (12 years, 7 months ago) by gkuan
File size: 339 byte(s)
removed warnings from expected output and modules 307 seems to be an error in 110.63 trunk and primop3 FLINT
val it = () : unit
structure A :
  sig
    datatype a = mka of int -> int
  end
signature SIG =
  sig
    datatype d = D of A.a
  end
44.sml:17.7-17.56 Error: operator and operand don't agree [equality type required]
  operator domain: ''Z * ''Z
  operand:         X.d * X.d
  in expression:
    D (mka (fn x => x)) = D (mka (fn x => x))


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