diff options
| -rw-r--r-- | frontend/generics.dcl | 5 | ||||
| -rw-r--r-- | main/Unix/CoclSystemDependent.dcl | 6 | ||||
| -rw-r--r-- | main/Unix/set_return_code.dcl | 4 | ||||
| -rw-r--r-- | portToNewSyntax/portToNewSyntax.dcl | 9 |
4 files changed, 2 insertions, 22 deletions
diff --git a/frontend/generics.dcl b/frontend/generics.dcl index 857b9fd..95465a4 100644 --- a/frontend/generics.dcl +++ b/frontend/generics.dcl @@ -1,12 +1,7 @@ definition module generics import checksupport -/*2.0 from transform import ::Group -0.2*/ -//1.3 -from transform import Group -//3.1 convertGenerics :: !{!Group} !Int !{#CommonDefs} !*{# FunDef} !*TypeDefInfos !*Heaps !*HashTable !*PredefinedSymbols !u:{# DclModule} /*!(Optional {#Index})*/ !*ErrorAdmin -> (!{!Group}, !{#CommonDefs}, !*{# FunDef}, !IndexRange, !*TypeDefInfos, !*Heaps, !*HashTable, !*PredefinedSymbols, !u:{# DclModule}, /*!(Optional {#Index}),*/ !*ErrorAdmin) diff --git a/main/Unix/CoclSystemDependent.dcl b/main/Unix/CoclSystemDependent.dcl index 36deff6..c58f4cf 100644 --- a/main/Unix/CoclSystemDependent.dcl +++ b/main/Unix/CoclSystemDependent.dcl @@ -1,13 +1,7 @@ // 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 diff --git a/main/Unix/set_return_code.dcl b/main/Unix/set_return_code.dcl index e8ed7f8..bd7c48b 100644 --- a/main/Unix/set_return_code.dcl +++ b/main/Unix/set_return_code.dcl @@ -1,9 +1,5 @@ definition module set_return_code; -//1.3 -from StdString import String; -//3.1 - :: *UniqueWorld :== World; set_return_code :: !Int !UniqueWorld -> UniqueWorld; // void set_return_code (int return_code); diff --git a/portToNewSyntax/portToNewSyntax.dcl b/portToNewSyntax/portToNewSyntax.dcl index ebec5e4..1668962 100644 --- a/portToNewSyntax/portToNewSyntax.dcl +++ b/portToNewSyntax/portToNewSyntax.dcl @@ -1,15 +1,10 @@ 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 |