(* high-il.sml
 *
 * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu)
 *
 * COPYRIGHT (c) 2015 The University of Chicago
 * All rights reserved.
 *
 * High-level version of the Diderot IL.
 *
 * Note: this file is generated from gen/high-il.spec and gen/high-il.in.
 *)

structure HighOps =
  struct

  (* required helper functions for types *)
    type ty = HighILTypes.ty
    val samety = HighILTypes.same
    val hashty = HighILTypes.hash
    val tyToString = HighILTypes.toString

  (* required helper functions for type lists *)
    type tys = ty list
    fun sametys (tys1, tys2) = ListPair.allEq samety (tys1, tys2)
    fun hashtys tys = List.foldl (fn (ty, s) => hashty ty + 0w3 * s) 0w0 tys
    fun tysToString tys = String.concat["[", String.concatWith "," (List.map tyToString tys), "]" ]

  (* required helper functions for the int type *)
    fun sameint (i1 : int, i2) = (i1 = i2)
    fun hashint i = Word.fromInt i
    fun intToString i = Int.toString i

  (* required helper functions for the string type *)
    fun samestring (s1 : string, s2) = (s1 = s2)
    val hashstring = HashString.hashString
    fun stringToString s = String.concat["\"", s, "\""]

  (* required helper functions for the mask type *)
    type mask = bool list
    val samemask : (mask * mask -> bool) = (op =)
    fun hashmask m =
	  List.foldl (fn (false, w) => w+w | (true, w) => w+w+0w1)
	    (Word.fromInt(List.length m)) m
    fun maskToString m =
	  String.concat(List.map (fn true => "_" | false => ":") m)

  (* required helper functions for the input type *)
    type input = ty Inputs.input
    val sameinput = Inputs.same
    val hashinput = Inputs.hash
    val inputToString = Inputs.toString

@BODY@

  end

structure HighIL = SSAFn(
  val ilName = "high-il"
  structure Ty = HighILTypes
  structure Op = HighOps)

structure HighILCensus = CensusFn(HighIL)

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: l&quot;
  structure Ty = HighILTypes
  structure Op = HighOps)

structure HighILCensus = CensusFn(HighIL)</div>
</div></div>
</body></html>