diff options
Diffstat (limited to 'portToNewSyntax/portToNewSyntax.dcl')
| -rw-r--r-- | portToNewSyntax/portToNewSyntax.dcl | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/portToNewSyntax/portToNewSyntax.dcl b/portToNewSyntax/portToNewSyntax.dcl deleted file mode 100644 index 1668962..0000000 --- a/portToNewSyntax/portToNewSyntax.dcl +++ /dev/null @@ -1,17 +0,0 @@ -definition module portToNewSyntax - -from StdMisc import abort - -from StdFile import :: Files -from scanner import :: SearchPaths - -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) |