Skip to content
  • Simon Peyton Jones's avatar
    [project @ 2004-12-22 12:06:13 by simonpj] · d7c402a3
    Simon Peyton Jones authored
    ----------------------------------------
         New Core invariant: keep case alternatives in sorted order
    	----------------------------------------
    
    We now keep the alternatives of a Case in the Core language in sorted
    order.  Sorted, that is,
    	by constructor tag	for DataAlt
    	by literal		for LitAlt
    
    The main reason is that it makes matching and equality testing more robust.
    But in fact some lines of code vanished from SimplUtils.mkAlts.
    
    
    WARNING: no change to interface file formats, but you'll need to recompile
    your libraries so that they generate interface files that respect the
    invariant.
    d7c402a3