in UtilStrictLists use :: List t :== [!t!]

Ide/conswin.icl

@@ -6,7 +6,7 @@ import EdLook, EdMessage, EdVisualText, EdWindow
 import EdMouse, EdKeyboard
 
 from StrictList import slFromList
-from UtilStrictLists import StrictListToList,:: List(:!),IsEmptyList
+from UtilStrictLists import StrictListToList,:: List,:!,IsEmptyList
 
 import IDE,IdeState,UtilObjectIO
 

Ide/typewin.icl

@@ -6,7 +6,7 @@ import EdLook, EdMessage, EdVisualText, EdWindow
 import EdMouse, EdKeyboard
 
 from StrictList import slFromList
-from UtilStrictLists import StrictListToList,:: List(:!),IsEmptyList
+from UtilStrictLists import StrictListToList,:: List,:!,IsEmptyList
 
 import IDE,IdeState,UtilObjectIO
 import morecontrols, colorpickcontrol, ioutil, colourclip

Pm/PmFiles.dcl

@@ -33,10 +33,6 @@ ProjectFileVersion :== "1.4"
 	, pg_postlink			:: !Maybe String			// experiment: move to LinkOptions
 	}
 
-:: ProjectStaticInfo =
-	{ stat_paths			:: !List Pathname
-	}
-
 :: ProjectDynamicInfo =
 	{ dyn_syms				:: !List UndefSymbol
 	, dyn_mods				:: !List UndefModule
@@ -46,7 +42,6 @@ ProjectFileVersion :== "1.4"
 	, dyn_paths				:: !List Pathname
 	}
 
-EmptyStaticInfo		:: ProjectStaticInfo
 EmptyDynamicInfo	:: ProjectDynamicInfo
 
 :: UndefSymbol =

Pm/PmFiles.icl

@@ -26,15 +26,6 @@ ProjectFileVersion :== "1.4"
 	, pg_postlink			:: !Maybe String
 	}
 
-:: ProjectStaticInfo =
-	{ stat_paths			:: !List Pathname
-	}
-
-EmptyStaticInfo :: ProjectStaticInfo
-EmptyStaticInfo =
-	{ stat_paths			= Nil
-	}
-
 :: ProjectDynamicInfo =
 	{ dyn_syms				:: !List UndefSymbol
 	, dyn_mods				:: !List UndefModule

Util/UtilStrictLists.dcl

@@ -4,8 +4,12 @@ import StdString, StdClass
 
 //	A strict list data structure
 
-::	List t	=	(:!) infixr 0 !t !(List t)
-			|	Nil
+::	List t :== [!t!]
+
+Nil :== [!!]
+
+(:!) infixr 0
+(:!) h t:==[!h:t!]
 			
 instance toString (List a) | toString a
 

Util/UtilStrictLists.icl

@@ -4,8 +4,12 @@ import StdArray, StdBool, StdClass, StdInt, StdList, StdMisc, StdOrdList, StdStr
 
 //	A strict list data structure
 
-::	List t	=	(:!) infixr 0 !t !(List t)
-			|	Nil
+::	List t :== [!t!]
+
+Nil :== [!!]
+
+(:!) infixr 0
+(:!) h t:==[!h:t!]
 			
 instance toString (List a) | toString a
 where