Overview  Index  Help 
SMLDoc

LinkFile


structure LinkFile =
struct
  structure EA = ElaboratedAst
  datatype item =
           ModuleDefine of (EA.moduleType * string) * item list
         | ModuleReplica of (EA.moduleType * string) * EA.moduleFQN
         | TypeDefine of string
         | TypeReplica of string * EA.moduleFQN
         | ValDefine of string
         | ExceptionDefine of string
end

datatype of linke file which describes linkage information.

Author:
YAMATODANI Kiyoshi
Version:
$Id: StrLinkFile.html,v 1.9 2007/02/17 07:01:58 kiyoshiy Exp $

   
Datatype detail

item

datatype item =
         ModuleDefine of (EA.moduleType * string) * item list
       | ModuleReplica of (EA.moduleType * string) * EA.moduleFQN
       | TypeDefine of string
       | TypeReplica of string * EA.moduleFQN
       | ValDefine of string
       | ExceptionDefine of string

 
DataConstructor detail

ModuleDefine

constructor ModuleDefine : (EA.moduleType * string) * item list -> item


ModuleReplica

constructor ModuleReplica : (EA.moduleType * string) * EA.moduleFQN -> item


TypeDefine

constructor TypeDefine : string -> item


TypeReplica

constructor TypeReplica : string * EA.moduleFQN -> item


ValDefine

constructor ValDefine : string -> item


ExceptionDefine

constructor ExceptionDefine : string -> item

   


Overview  Index  Help 
SMLDoc: Documentation generator for SML