absynutils.n

This file includes the following utility functions for nML absyn:

• varName: Absyn.varid -> string
• varLName: Absyn.varlongid -> string
• strLName: Absyn.strlongid -> string
• conLName: Absyn.conlongid -> string
• printTy: Ty.ty -> unit Print a given type.
• isFnty: Ty.ty -> bool
  Whether an input type is a function type.
• hasFnty: Ty.ty -> bool
  Whether an input type has a function type.
• isExnty: Ty.ty -> bool
  Whether an input type is an exception type.
• isExn: Ty.ty -> bool
  Whether an input type is an exception.
• hasExnty: Ty.ty -> bool
  whether an input type has an exception type.
• ioTy: Ty.ty -> bool * bool
  ioTy t is a tuple of whether the input type of t has an exception type and whether the output type of t has an exception type.
• appTy: Ty.ty -> int -> Ty.ty
  appTy t n is a resulting type after applying arguments n times to the type t.
• outTy: Ty.ty -> int -> bool * bool
  outTy t n is a tuple of whether appTy t n is a function type and whether it is an exception type.
• clearTy: Ty.ty -> Ty.ty
  Generalize a given type to a type scheme.
• unifiable: Ty.ty -> Ty.ty -> bool
  Whether given two types are unifiable.
• getLoc: LocationInfo.info -> Location.t
  Get the location from a given info.
• patName: Absyn.pat -> string
  Get the name of a given pattern.
• init: unit -> unit
  Initialize for nML CFA.
• dummyInfo: LocationInfo.info
• loc2str: Location.t -> string
  Get the string representing a given location.