aboutsummaryrefslogtreecommitdiff
path: root/portToNewSyntax/portToNewSyntax.dcl
blob: 1668962d84aab8a061a5cf47bf537ae09c166b75 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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)