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

View of /tests/trunk/bugs/outputs.post-110.63/bug798.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: 2138 byte(s)
post-110.63 elab/flint revision regression tests and outputs
val it = () : unit
signature CONCUR_ML =
  sig
    type 'a event
    type thread_id
    type 'a cond_var
    type 'a chan
  end
signature INTERNAL_CML =
  sig
    datatype 'a queue_t = Q of {front:'a list ref, rear:'a list ref}
    type 'a event
    type thread_id
    type 'a cond_var
    type 'a chan
  end
structure CML : INTERNAL_CML
signature RUN_CML =
  sig
    structure CML :
      sig
        type 'a event
        type thread_id
        type 'a cond_var
        type 'a chan
      end
  end
functor RunCML(CML: sig
                      datatype 'a queue_t
                        = Q of {front:'a list ref, rear:'a list ref}
                      type 'a event
                      type thread_id
                      type 'a cond_var
                      type 'a chan
                    end) :
              sig
                structure CML : <sig>
              end
signature CONCUR_IO =
  sig
    structure CML :
      sig
        type 'a event
        type thread_id
        type 'a cond_var
        type 'a chan
      end
  end
functor ConcurIO(RunCML: sig
                           structure CML : <sig>
                         end) :
                sig
                  structure CML : <sig>
                end
signature TRACE_CML =
  sig
    structure CML :
      sig
        type 'a event
        type thread_id
        type 'a cond_var
        type 'a chan
      end
    structure CIO :
      sig
        structure CML : <sig>
      end
  end
functor TraceCML(<param>: sig
                            structure CML : <sig>
                            structure RunCML : <sig>
                            structure CIO : <sig>
                            sharing CIO.CML = RunCML.CML = CML
                          end) :
                sig
                  structure CML : <sig>
                  structure CIO : <sig>
                end
bug798.sml:104.1-123.6 Error: type definition spec inside of sharing at: CML.CML.event
bug798.sml:104.1-123.6 Error: type definition spec inside of sharing at: CML.CML.thread_id
bug798.sml:104.1-123.6 Error: type definition spec inside of sharing at: CML.CML.chan


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