Information about where a particular block of code came from; path
is optional because some code snippets are synthetic, which means any
filename is entirely synthetic and $file imports do not work in them.
However, there are many snippets of code, e.g. repl commands and such,
which have a "fake" path because we want to allow $file imports
relative to some path or working-directory
Information about where a particular block of code came from; path is optional because some code snippets are synthetic, which means any filename is entirely synthetic and $file imports do not work in them. However, there are many snippets of code, e.g. repl commands and such, which have a "fake" path because we want to allow $file imports relative to some path or working-directory