blob: 2e06636d2d6abfe51b1e0d82da4f869b6ae9e029 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
definition module portToNewSyntax
// see the file readme.txt in the portToNewSyntax folder about
// this module
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)
|
