Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • 75389691-a67c-422a-91e9-aa58bfb5-main-patch-32205
  • test-pipe
  • extended-scripts
  • structured-badges
  • guix-pipeline
  • cabal-pipeline
7 results

Dirgraph.hs

Blame
    • stuebinm's avatar
      1c90b431
      some simple graph algorithms · 1c90b431
      stuebinm authored
      this just checks for maps from which it's impossible to reach
      `main.json`, and then gives a warning. Properly it should check if these
      maps have an exit to outside the repository (in which case it may give a
      suggestion, and an error otherwise).
      
      Also, redid some of the CheckDir code. No idea what that mess was, but
      it's marginally nicer now.
      1c90b431
      History
      some simple graph algorithms
      stuebinm authored
      this just checks for maps from which it's impossible to reach
      `main.json`, and then gives a warning. Properly it should check if these
      maps have an exit to outside the repository (in which case it may give a
      suggestion, and an error otherwise).
      
      Also, redid some of the CheckDir code. No idea what that mess was, but
      it's marginally nicer now.