postinfer.n

PostInfer.postinfer: Absyn.topdec -> Absyn.topdec removes redundant language features in a given absyn program in order to help the performance of the analysis.

• It removes ConstraintPat, ConstraintExp and ConstraintSig.
• It transforms [SimpleDec(d₁,i₁), SimpleDec(d₂,i₂)] to SimpleDec(SeqDec([d₁,d₂],i₁),i₂).