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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/gen/il/low-il.spec
ViewVC logotype

Diff of /branches/vis12/src/compiler/gen/il/low-il.spec

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2279, Sat Mar 9 12:21:57 2013 UTC revision 2280, Sat Mar 9 13:37:40 2013 UTC
# Line 6  Line 6 
6  #       arity  #       arity
7  #       comment                 (optional)  #       comment                 (optional)
8  #  #
9    # Operations with effects are denoted by a "!" as the first character of the line.
10    #
11  # type-indexed arithmetic operations  # type-indexed arithmetic operations
12  Add : ty : 1 : 2 :  Add : ty : 1 : 2 :
13  Sub : ty : 1 : 2 :  Sub : ty : 1 : 2 :
# Line 68  Line 70 
70  # Subscript<ty>(u,i) -- select ith element of sequence; ty is type of sequence  # Subscript<ty>(u,i) -- select ith element of sequence; ty is type of sequence
71  Subscript : ty : 1 : 2 :  Subscript : ty : 1 : 2 :
72  # MkDynamic<ty,n> -- make a sequence with type ty{n} into a dynamic sequence  # MkDynamic<ty,n> -- make a sequence with type ty{n} into a dynamic sequence
73  MkDynamic : ty * int : 1 : 1 : make a fixed-length sequence dynamic  !MkDynamic : ty * int : 1 : 1 : make a fixed-length sequence dynamic
74  Append : ty : 2 : 1 : append an element onto a dynamic sequence  !Append : ty : 2 : 1 : append an element onto a dynamic sequence
75  Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence  !Prepend : ty : 2 : 1 : prepend an element onto a dynamic sequence
76  Concat : ty : 2 : 1 : concatenate two dynamic sequences  !Concat : ty : 2 : 1 : concatenate two dynamic sequences
77  # Length<ty> -- return the length of a sequence with type ty{}  # Length<ty> -- return the length of a sequence with type ty{}
78  Length : ty : 1 : 1 : return the length of a dynamic sequence  Length : ty : 1 : 1 : return the length of a dynamic sequence
79  #  #
# Line 106  Line 108 
108  Input   : input : 0 : 0 : program input  Input   : input : 0 : 0 : program input
109  #  #
110  # printing support for debugging  # printing support for debugging
111  Print : tys : 0 : * : print strings  !Print : tys : 0 : * : print strings

Legend:
Removed from v.2279  
changed lines
  Added in v.2280

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