Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /branches/charisee/src/compiler/ein/generic-ein.sml
ViewVC logotype

View of /branches/charisee/src/compiler/ein/generic-ein.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2383 - (download) (annotate)
Thu Jun 13 01:57:34 2013 UTC (6 years, 3 months ago) by cchiw
File size: 416 byte(s)
added ein
(* generic-ein.sml
 *
 * COPYRIGHT (c) 2012 The Diderot Project (http://diderot-language.cs.uchicago.edu)
 * All rights reserved.
 *)

structure GenericEin =
  struct

  (* kinds of index variables: IX = single index, MX = multiindex, SX = summation-index *)
    datatype index_kind = IX | MX | SX

    local
      structure Ein = EinRepFn(struct type index_kind = index_kind end)
    in
    open Ein
    end

  end

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