Skip to content
  • Duncan Coutts's avatar
    Change Graph.fromList to fromDistinctList and fix conseqeunces · 1440ffd5
    Duncan Coutts authored
    It's really an error to try and build a graph where you have duplicate
    node keys, so remove Graph.fromList and add Graph.fromDistinctList. This
    check is always on, not just an assertion, becuase we get it for free
    given the way Maps can be constructed.
    
    All uses of Graph.fromList are ok to convert to fromDistinctList.
    1440ffd5