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/trunk/compiler/ElabData/basics/tkind.sml
ViewVC logotype

View of /sml/trunk/compiler/ElabData/basics/tkind.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 4309 - (download) (annotate)
Thu Sep 15 01:31:46 2016 UTC (3 years, 10 months ago) by dbm
File size: 337 byte(s)
removed remaining dependencies on PlambdaType from front-end
(* tkind.sml *)

(* front-end version of PLambdaType tkinds for use in module elaboration.
 * These tkind values can be easily translated to PLambdaType tkind when 
 * needed in Translate. *)

structure TKind =

datatype tkind
  = TKCint of int
  | TKCfun of tkind list * tkind
  | TKCseq of tkind list

end (* structure TKind *)

ViewVC Help
Powered by ViewVC 1.0.0