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/bugs/outputs.post-110.63/bug1511.1.out
ViewVC logotype

View of /tests/trunk/bugs/outputs.post-110.63/bug1511.1.out

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2462 - (download) (annotate)
Sat Apr 28 21:14:48 2007 UTC (12 years, 5 months ago) by gkuan
File size: 315 byte(s)
post-110.63 elab/flint revision regression tests and outputs
val it = () : unit
signature S =
    type ('a,'b) t = 'a -> 'b
    val x : ('a,int) t
bug1511.1.sml:9.1-13.4 Error: type t does not match definitional specification
bug1511.1.sml:9.1-13.4 Error: value type in structure doesn't match signature spec
    name: x
  spec:   ('a,int) [E]
  actual: 'a -> 'a

ViewVC Help
Powered by ViewVC 1.0.0