2020-04-07 22:04:32 +00:00
|
|
|
Name: "Inter Pipeline"
|
|
|
|
Details: "For pipelines of Inform code-generation stages"
|
|
|
|
Extension: ".interpipeline"
|
2022-02-13 22:33:19 +00:00
|
|
|
Line Comment: "!"
|
2020-04-07 22:04:32 +00:00
|
|
|
|
|
|
|
colouring {
|
|
|
|
instances of "->" {
|
|
|
|
=> !reserved
|
|
|
|
}
|
|
|
|
instances of "<-" {
|
|
|
|
=> !reserved
|
|
|
|
}
|
|
|
|
runs of !identifier {
|
|
|
|
=> !plain
|
|
|
|
prefix "*" => !identifier on both
|
|
|
|
}
|
|
|
|
}
|