Commit 44c50989 authored by Jurriën Stutterheim's avatar Jurriën Stutterheim

Bulk module renaming done; next rename imports


git-svn-id: https://svn.cs.ru.nl/repos/clean-platform/branches/hierarchical@229 2afc29ad-3112-4e41-907a-9359c7e6e986
parent 06d2fb0e
definition module OS
definition module System.OS
OS_NAME :== "Linux (32-bit)"
OS_PATH_SEPARATOR :== '/'
......
implementation module OS
implementation module System.OS
definition module OS
definition module System.OS
OS_NAME :== "Linux (64-bit)"
OS_PATH_SEPARATOR :== '/'
......
implementation module OS
implementation module System.OS
definition module _Posix
definition module System._Posix
from _Pointer import :: Pointer
from Time import :: Tm
......
implementation module _Posix
implementation module System._Posix
import _Pointer, Time
import StdInt
......
definition module OS
definition module System.OS
OS_NAME :== "Mac OS X (64-bit)"
OS_PATH_SEPARATOR :== '/'
......
implementation module OS
implementation module System.OS
definition module _Posix
definition module System._Posix
from _Pointer import :: Pointer
from Time import :: Tm
......
implementation module _Posix
implementation module System._Posix
import _Pointer, Time
import StdInt
......
definition module IP
definition module Network.IP
/**
* Small module which provides basic IP functionality
*/
......
implementation module IP
implementation module Network.IP
/**
* Small module which provides basic IP functionality
*/
......
definition module Directory
definition module System.Directory
from Void import :: Void
from FilePath import :: FilePath
......
implementation module Directory
implementation module System.Directory
import StdArray, StdBool, StdClass, StdInt, StdChar, StdString
......
definition module Environment
definition module System.Environment
/**
* Module for accessing environment variables
*/
......
implementation module Environment
implementation module System.Environment
/**
* Module for accessing environment variables
*/
......
definition module File
definition module System.File
from StdFile import class FileSystem
from StdClass import class toString
......
implementation module File
implementation module System.File
//StdEnv
import StdArray
......
definition module OSError
definition module System.OSError
import Error
......
implementation module OSError
implementation module System.OSError
import Error, _Pointer
from _Posix import qualified errno, strerr
......
definition module Process
definition module System.Process
import Void, Maybe, Either
import OSError
......
implementation module Process
implementation module System.Process
//StdEnv
import StdArray
......
definition module Time
definition module System.Time
/**
* This module provides an interface to the time definition of the
* C standard library.
......
implementation module Time
implementation module System.Time
import StdString, StdArray, StdClass, StdOverloaded, StdInt
import _Pointer
......
definition module OS
definition module System.OS
OS_NAME :== "Windows (32-bit)"
OS_PATH_SEPARATOR :== '\\'
......
implementation module OS
implementation module System.OS
definition module OS
definition module System.OS
OS_NAME :== "Windows (64-bit)"
OS_PATH_SEPARATOR :== '\\'
......
implementation module OS
implementation module System.OS
definition module Serialization
definition module Data.Serialization
// FIXME: remove this when the compiler no longer translates
// :: Dynamic to :: DynamicTemp
......
implementation module Serialization
implementation module Data.Serialization
import StdEnv
import StdDynamicLowLevelInterface
......@@ -50,4 +50,4 @@ deserializeDynamic :: !String -> MaybeErrorString Dynamic
deserializeDynamic dynamic_string =
case string_to_dynamic dynamic_string of
(True , dyn) = Ok dyn
(False, _ ) = Error "Data.Serialization, deserializeDynamic: failed to deserialize"
\ No newline at end of file
(False, _ ) = Error "Data.Serialization, deserializeDynamic: failed to deserialize"
definition module SharedFile
definition module DataSources.SharedFile
import FilePath, SharedDataSource
sharedFile :: !FilePath !(String -> a) !(a -> String) -> Shared a *World
\ No newline at end of file
sharedFile :: !FilePath !(String -> a) !(a -> String) -> Shared a *World
implementation module SharedFile
implementation module DataSources.SharedFile
import _WinBase, _Pointer, StdInt, StdArray, StdBool, StdFunc, FilePath, SharedDataSource
import StdMisc
......
definition module SharedMemory
definition module DataSources.SharedMemory
import SharedDataSource
......@@ -10,4 +10,4 @@ class MemoryEnv env
where
accMemory :: !(*Memory -> (!a,!*Memory)) !*env -> (!a,!*env)
instance MemoryEnv World
\ No newline at end of file
instance MemoryEnv World
implementation module SharedMemory
implementation module DataSources.SharedMemory
import _WinBase, _Pointer, _Unsafe, StdInt, StdTuple, StdString, StdArray, StdBool, StdFunc, FilePath, SharedDataSource, dynamic_string
import StdMisc
......@@ -114,4 +114,4 @@ instance MemoryEnv World
where
accMemory accFunc env
# (a, mem) = accFunc 0
= (a,env)
\ No newline at end of file
= (a,env)
definition module MySQL
definition module Database.SQL.MySQL
//This module defines implements the interface for relatational databases
//of SQL.dcl for the MySQL database engine
......
implementation module MySQL
implementation module Database.SQL.MySQL
//MySQL implementation of the Clean SQL database API
//
import SQL
......
definition module IP
definition module Network.IP
/**
* Small module which provides basic IP functionality
*/
......
implementation module IP
implementation module Network.IP
/**
* Small module which provides basic IP functionality
*/
......
definition module Directory
definition module System.Directory
from Void import :: Void
from FilePath import :: FilePath
......
implementation module Directory
implementation module System.Directory
import StdArray, StdBool, StdClass, StdInt, StdChar, StdString
......
definition module Environment
definition module System.Environment
/**
* Module for accessing environment variables
*/
......@@ -8,4 +8,4 @@ getEnvironmentVariable :: !String !*World -> (Maybe String, *World)
setEnvironmentVariable :: !String !String !*World -> *World
unsetEnvironmentVariable :: !String !*World -> *World
\ No newline at end of file
unsetEnvironmentVariable :: !String !*World -> *World
implementation module Environment
implementation module System.Environment
import StdOverloaded, StdInt, StdArray, StdChar, StdString
import Maybe
......@@ -36,4 +36,4 @@ unsetEnvironmentVariable name world
unsetenvC :: !{#Char} !Int !*World -> (!Int, !*World)
unsetenvC a0 a1 a2 = code {
ccall SetEnvironmentVariableA@8 "PsI:I:A"
}
\ No newline at end of file
}
definition module File
definition module System.File
from StdFile import class FileSystem
from StdClass import class toString
......
implementation module File
implementation module System.File
//StdEnv
import StdArray
......
definition module OSError
definition module System.OSError
import Error
......
implementation module OSError
implementation module System.OSError
import Error
......
definition module Process
definition module System.Process
import Void, Maybe, Either
import OSError
......
implementation module Process
implementation module System.Process
//StdEnv
import StdArray
......@@ -74,4 +74,4 @@ callProcess path args mCurrentDirectory world
= case res of
Error e = (Error e,world)
Ok handle = waitForProcess handle world
\ No newline at end of file
definition module Threads
definition module System.Threads
import StdDynamic
......@@ -13,4 +13,4 @@ waitForThread :: !ThreadId !*World -> *World
from _WinDef import :: LPVOID, :: DWORD
threadFunc :: !LPVOID -> DWORD
\ No newline at end of file
threadFunc :: !LPVOID -> DWORD
implementation module Threads
implementation module System.Threads
import _WinBase, _Pointer, StdArray, StdInt, StdClass, dynamic_string, _Unsafe, StdMisc
foreign export threadFunc
......
definition module Time
definition module System.Time
/**
* This module provides an interface to the time definition of the
* C standard library.
......
implementation module Time
implementation module System.Time
import StdString, StdArray, StdClass, StdOverloaded, StdInt, StdMisc
import _Pointer
......
definition module _WinBase
definition module System._WinBase
import _WinDef, StdInt
......
implementation module _WinBase
implementation module System._WinBase
import _WinDef
import code from library "_WinBase_library"
......@@ -257,4 +257,4 @@ sleep dwMilliseconds world = code {
fill_a 0 1
pop_a 1
ccall Sleep@4 "PI:V:I"
}
\ No newline at end of file
}
definition module _WinDef
definition module System._WinDef
:: HANDLE :== Int
:: DWORD :== Int
......@@ -15,4 +15,4 @@ INVALID_HANDLE_VALUE :== -1
NULL :== 0
MAX_PATH :== 260
\ No newline at end of file
MAX_PATH :== 260
implementation module _WinDef
implementation module System._WinDef
definition module _Windows
definition module System._Windows
import _WinDef
import _WinBase
implementation module _Windows
implementation module System._Windows
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment