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

View of /tests/trunk/bugs/outputs.post-110.63/bug97.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: 1254 byte(s)
post-110.63 elab/flint revision regression tests and outputs
val it = () : unit
signature IntMapSig =
  sig
    type 'a map
    exception MapFail
    val apply : 'a map * int -> 'a
    val update : 'a map * int * 'a -> 'a map
    val emptyMap : 'a map
  end
signature ValSig = sig type value end
signature SymSig =
  sig
    eqtype sym
    val hash : sym -> int
  end
functor SymTblFct(<param>: sig
                             structure IntMap : <sig>
                             structure Val : <sig>
                             structure Sym : <sig>
                           end) :
                 sig
                   type table
                   exception Lookup
                   val emptyTable : table
                   val update : table * sym * value -> table
                 end
functor FastIntMap(<param>: sig end) :
                  sig
                    type 'a map
                    exception MapFail
                    val apply : 'a map * int -> 'a
                    val update : 'a map * int * 'a -> 'a map
                    val emptyMap : 'a map
                  end
functor ValFct(<param>: sig end) : sig type value end
bug97.sml:70.20-70.25 Error: operator and operand don't agree [tycon mismatch]
  operator domain: char
  operand:         sym
  in expression:
    ord s


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