Revision 8880d889 hspace.hs

b/hspace.hs
207 207
            -> ([(FailMode, Int)],
208 208
                [(Node.List, Instance.Instance, [Node.Node])])
209 209
filterFails sols =
210
    let (alst, blst) = unzip . map (\ (onl, i, nn) ->
211
                                        case onl of
210
    let (alst, blst) = unzip . map (\ e  ->
211
                                        case e of
212 212
                                          OpFail reason -> ([reason], [])
213
                                          OpGood gnl -> ([], [(gnl, i, nn)])
213
                                          OpGood (gnl, i, nn) ->
214
                                              ([], [(gnl, i, nn)])
214 215
                                   ) $ sols
215 216
        aval = concat alst
216 217
        bval = concat blst

Also available in: Unified diff