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 /tests/trunk/bugs/outputs.post-110.63/bug243.out
ViewVC logotype

View of /tests/trunk/bugs/outputs.post-110.63/bug243.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2462 - (download) (annotate)
Sat Apr 28 21:14:48 2007 UTC (12 years, 5 months ago) by gkuan
File size: 2334 byte(s)
post-110.63 elab/flint revision regression tests and outputs
val it = () : unit
signature DECTREE_DT =
  sig
    type lab
    type lvar
    type longvar
    type longcon
    type longexcon
    type scon
    type pat
    type type_info
    type RuleNum = int
    type Decision
    type ('a,'b) map
    datatype 'a option = NONE | SOME of 'a
    datatype DecisionTree
      = CON_DECOMPOSE of {bind:lvar, child:DecisionTree, parent:lvar}
      | CON_SWITCH of {arg:lvar, info:type_info,
                       selections:(longcon,DecisionTree) map,
                       wildcard:DecisionTree option}
      | END of {environment:(longvar,lvar) map, ruleNum:RuleNum}
      | EXCON_DECOMPOSE of {bind:lvar, child:DecisionTree, parent:lvar}
      | EXCON_SWITCH of {arg:lvar, selections:(longexcon * DecisionTree) list,
                         wildcard:DecisionTree}
      | FAIL
      | LAB_DECOMPOSE of {bind:lvar, child:DecisionTree, info:type_info,
                          lab:lab, parent:lvar}
      | SCON_SWITCH of {arg:lvar, selections:(scon,DecisionTree) map,
                        wildcard:DecisionTree}
  end
signature MATCH_COMPILER =
  sig
    type lab
    type lvar
    type longvar
    type longcon
    type longexcon
    type scon
    type pat
    type type_info
    type RuleNum = int
    type Decision
    type ('a,'b) map
    datatype 'a option = NONE | SOME of 'a
    datatype DecisionTree
      = CON_DECOMPOSE of {bind:lvar, child:DecisionTree, parent:lvar}
      | CON_SWITCH of {arg:lvar, info:type_info,
                       selections:(longcon,DecisionTree) map,
                       wildcard:DecisionTree option}
      | END of {environment:(longvar,lvar) map, ruleNum:RuleNum}
      | EXCON_DECOMPOSE of {bind:lvar, child:DecisionTree, parent:lvar}
      | EXCON_SWITCH of {arg:lvar, selections:(longexcon * DecisionTree) list,
                         wildcard:DecisionTree}
      | FAIL
      | LAB_DECOMPOSE of {bind:lvar, child:DecisionTree, info:type_info,
                          lab:lab, parent:lvar}
      | SCON_SWITCH of {arg:lvar, selections:(scon,DecisionTree) map,
                        wildcard:DecisionTree}
    val matchCompiler : lvar * pat list * 
                        {warnInexhaustive:bool, warnNoBindings:bool}
                        -> DecisionTree
    type StringTree
    val layoutDecisionTree : DecisionTree -> StringTree
  end


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