Revision 1fe412bb htools/hail.hs

b/htools/hail.hs
76 76 
                                    idx reqn exnodes
77 77 
       Evacuate exnodes -> Cluster.tryMGEvac gl nl il exnodes
78 78 
       MultiReloc _ _ -> fail "multi-reloc not handled"
79 
       NodeEvacuate _ _ -> fail "node-evacuate not handled"
79 80 

  		





  80
  81
  
    
-- | Reads the request from the data file(s)


  		





  81
  82
  
    
readRequest :: Options -> [String] -> IO Request


  		












Also available in:
  Unified diff