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 /sml/branches/primop-branch-3/compiler/ElabData/basics/primopid.sig
ViewVC logotype

View of /sml/branches/primop-branch-3/compiler/ElabData/basics/primopid.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2561 - (download) (as text) (annotate)
Thu May 17 03:41:11 2007 UTC (13 years, 5 months ago) by dbm
File size: 728 byte(s)
fix for Date.fromString, unification for SCHEME tyvars
(* primopid.sig
 *
 * (C) 2001 Lucent Technologies, Bell Labs
 *)

(* PRIMOPID: front-end representation of information identifying
 * primops (either in variables, or in structures). Replaces
 * INL_INFO *)

signature PRIMOPID =
sig

  datatype primId = Prim of string | NonPrim

  datatype strPrimElem
    = PrimE of primId
    | StrE of strPrimInfo

  withtype strPrimInfo = strPrimElem list

  val isPrimop : primId -> bool

  val isPrimCallcc : primId -> bool
  val isPrimCast : primId -> bool

  val selStrPrimId : strPrimElem list * int -> strPrimElem list
  val selValPrimFromStrPrim : strPrimElem list * int -> primId

  val ppPrim : primId -> string
  val ppStrInfo : strPrimInfo -> unit

end (* signature PRIMOPID *)

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