1. 14 Nov, 2024 1 commit
    • Alfredo Di Napoli's avatar
      get_user_root_node_folder picks the oldest public folder · 59d96471
      Alfredo Di Napoli authored
      Previous to this commit, `get_user_root_node_folder` would fail with
      a `UserHasTooManyRoots` in case this was called on a tree which had
      more than one "public" folder.
      
      We fix this by taking the oldest available node, which will always
      correspond to the notion of "root", being the first ever created.
      59d96471
  2. 13 Nov, 2024 2 commits
  3. 12 Nov, 2024 1 commit
  4. 11 Nov, 2024 16 commits
  5. 05 Nov, 2024 2 commits
    • Grégoire Locqueville's avatar
      Add :ggload command, which loads all `Prelude`s · eb39fd6b
      Grégoire Locqueville authored
      The previous commit did not work, because GHCi executed the contents of
      `.ghci` *before* loading the project.
      This commit makes a new command, `:ggload`, available from GHCi when in
      the Gargantext project: typing `:ggload` will make available all symbols
      from modules named `Prelude` in the Gargantext project.
      The name `:ggload` as well as the set of modules to import are still
      open to discussion.
      eb39fd6b
    • Grégoire Locqueville's avatar
      Automatically load `Prelude`s in the REPL · 7383ee40
      Grégoire Locqueville authored
      As per issue #422, this commit makes it so that some modules are
      automatically imported when entering the REPL.
      The modules are every module named `Prelude`, but exactly which modules
      should be imported is probably a discussion worth having.
      7383ee40
  6. 04 Nov, 2024 3 commits
  7. 28 Oct, 2024 6 commits
  8. 25 Oct, 2024 2 commits
  9. 24 Oct, 2024 4 commits
  10. 23 Oct, 2024 3 commits