diff options
Diffstat (limited to 'portToNewSyntax/portToNewSyntax.dcl')
| -rw-r--r-- | portToNewSyntax/portToNewSyntax.dcl | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/portToNewSyntax/portToNewSyntax.dcl b/portToNewSyntax/portToNewSyntax.dcl new file mode 100644 index 0000000..ebec5e4 --- /dev/null +++ b/portToNewSyntax/portToNewSyntax.dcl @@ -0,0 +1,22 @@ +definition module portToNewSyntax + +from StdMisc import abort +//1.3 +from StdFile import Files +from StdString import String +from scanner import SearchPaths +//3.1 +/*2.0 +from StdFile import :: Files +from scanner import :: SearchPaths +0.2*/ +import checksupport + +switch_port_to_new_syntax port dont_port :== port + +cTabWidth :== 4 + +writeExplImportsToFile :: !String ![([Declaration],a)] !{#u:DclModule} !*CheckState + -> (!{#u:DclModule},!.CheckState) + +createPortedFiles :: !String !SearchPaths !*Files -> (!Bool, !*Files) |