Closed geoffxy closed 2 years ago
COND
include("//path/to/file.cond")
include()
.cond
"//path/to/file.cond"
"../file.cond"
The restrictions in the last two points are aimed at keeping includes and COND files simple to reason about.
Initial proposal
COND
files, one can "include" other files usinginclude("//path/to/file.cond")
syntax.include()
is a "path" to the file to include. The file can be located anywhere in the project, but must end in.cond
."//path/to/file.cond"
)COND
file's location (e.g.,"../file.cond"
)The restrictions in the last two points are aimed at keeping includes and
COND
files simple to reason about.