diff options
Diffstat (limited to 'frontend/portToNewSyntax.dcl')
-rw-r--r-- | frontend/portToNewSyntax.dcl | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/frontend/portToNewSyntax.dcl b/frontend/portToNewSyntax.dcl new file mode 100644 index 0000000..a5367f8 --- /dev/null +++ b/frontend/portToNewSyntax.dcl @@ -0,0 +1,24 @@ +definition module portToNewSyntax +// see the file readme.txt in the portToNewSyntax folder about +// this module + +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 :== dont_port + +cTabWidth :== 4 + +writeExplImportsToFile :: !String ![([Declaration],a)] !{#u:DclModule} !*CheckState + -> (!{#u:DclModule},!.CheckState) + +createPortedFiles :: !String !SearchPaths !*Files -> (!Bool, !*Files) |