Home | History | Annotate | Line # | Download | only in pdsim 
      1  1.1  yamt {-
      2  1.1  yamt /*	$NetBSD: renumber.hs,v 1.1 2006/10/09 12:32:46 yamt Exp $	*/
      3  1.1  yamt 
      4  1.1  yamt /*-
      5  1.1  yamt  * Copyright (c)2005 YAMAMOTO Takashi,
      6  1.1  yamt  * All rights reserved.
      7  1.1  yamt  *
      8  1.1  yamt  * Redistribution and use in source and binary forms, with or without
      9  1.1  yamt  * modification, are permitted provided that the following conditions
     10  1.1  yamt  * are met:
     11  1.1  yamt  * 1. Redistributions of source code must retain the above copyright
     12  1.1  yamt  *    notice, this list of conditions and the following disclaimer.
     13  1.1  yamt  * 2. Redistributions in binary form must reproduce the above copyright
     14  1.1  yamt  *    notice, this list of conditions and the following disclaimer in the
     15  1.1  yamt  *    documentation and/or other materials provided with the distribution.
     16  1.1  yamt  *
     17  1.1  yamt  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
     18  1.1  yamt  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     19  1.1  yamt  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     20  1.1  yamt  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
     21  1.1  yamt  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     22  1.1  yamt  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     23  1.1  yamt  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     24  1.1  yamt  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     25  1.1  yamt  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     26  1.1  yamt  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     27  1.1  yamt  * SUCH DAMAGE.
     28  1.1  yamt  */
     29  1.1  yamt -}
     30  1.1  yamt 
     31  1.1  yamt import Numeric
     32  1.1  yamt import qualified Data.Map as Map
     33  1.1  yamt 
     34  1.1  yamt renumber _ _ [] = []
     35  1.1  yamt renumber next t (k:ks) = case Map.lookup k t of
     36  1.1  yamt 	Just x -> x:renumber next t ks
     37  1.1  yamt 	Nothing -> next:renumber (next + 1) (Map.insert k next t) ks
     38  1.1  yamt renum first = renumber first Map.empty
     39  1.1  yamt 
     40  1.1  yamt main = getContents >>=
     41  1.1  yamt 	mapM_ print . (renum 0 :: [Int] -> [Int]) . (map read) . lines
     42