Closed safesparrow closed 1 year ago
Currently when we see a module, we decide that the given file depends on all the previous files and all the files above it depend on it: https://github.com/safesparrow/fsharp/blob/ae0e40be4713c9b552d1478b5006cb2b3f13c560/tests/ParallelTypeCheckingTests/Code/DependencyResolution.fs#L161-L163
This is a safety we need without fully understanding the behaviour and implementing it.
This ticket is to avoid this defensive mechanism.
Also: module abbreviations in signature files are currently not supported, we should fix it: https://github.com/safesparrow/fsharp/blob/ae0e40be4713c9b552d1478b5006cb2b3f13c560/tests/ParallelTypeCheckingTests/Code/ASTVisit.fs#L1147
This is being handled in https://github.com/safesparrow/fsharp/pull/24
Currently when we see a module, we decide that the given file depends on all the previous files and all the files above it depend on it: https://github.com/safesparrow/fsharp/blob/ae0e40be4713c9b552d1478b5006cb2b3f13c560/tests/ParallelTypeCheckingTests/Code/DependencyResolution.fs#L161-L163
This is a safety we need without fully understanding the behaviour and implementing it.
This ticket is to avoid this defensive mechanism.
Also: module abbreviations in signature files are currently not supported, we should fix it: https://github.com/safesparrow/fsharp/blob/ae0e40be4713c9b552d1478b5006cb2b3f13c560/tests/ParallelTypeCheckingTests/Code/ASTVisit.fs#L1147