blob: c07763b9e6f3cf59051ec4d460e09c52a1b34055 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
// this is for Windows
definition module CoclSystemDependent
//1.3
from StdString import String
from StdFile import Files
//3.1
/*2.0
from StdFile import ::Files
0.2*/
// RWS split
// from deltaIOSystem import DeviceSystem
// from deltaEventIO import InitialIO, IOState
PathSeparator
:== ':'
DirectorySeparator
:== '/'
SystemDependentDevices :: [a]
SystemDependentInitialIO :: [a]
ensureCleanSystemFilesExists :: !String !*Files -> (!Bool, !*Files)
set_compiler_id :: Int -> Int
:: CompileFun st
:== ([{#Char}] st -> (Bool, st))
compiler_loop :: (CompileFun *st) *st -> (!Bool, !*st)
|
