blob: ebec5e477b82ed00b267fe52b3699cd77f17c882 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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)
|
