Revision 2c3273e7 htools/hail.hs

b/htools/hail.hs
74 74 
       Relocate idx reqn exnodes -> Cluster.tryMGReloc gl nl il
75 75 
                                    idx reqn exnodes
76 76 
       Evacuate exnodes -> Cluster.tryMGEvac gl nl il exnodes
77 
       MultiReloc _ _ -> fail "multi-reloc not handled"
77 78 

  		





  78
  79
  
    
-- | Reads the request from the data file(s)


  		





  79
  80
  
    
readRequest :: Options -> [String] -> IO Request


  		












Also available in:
  Unified diff