X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=ReadLine.dcl;h=734ca2091f2bc8709bdbca062262ba14ea32b550;hb=e8e4e5c50aa90428d79b59a02b9de350711d2c10;hp=f859e324d8ebb9110381981051b6f12fe7277281;hpb=9dc1673035919d1af7f191a273dd78b61608e908;p=CleanReadLine.git

diff --git a/ReadLine.dcl b/ReadLine.dcl
index f859e32..734ca20 100644
--- a/ReadLine.dcl
+++ b/ReadLine.dcl
@@ -10,7 +10,7 @@ instance toString HistoryItem
 instance toString HistoryState
 
 //Non-library functions
-setReadLineName :: !String !*env -> !*env
+setReadLineName :: !String !*env -> *env
 
 //Readline
 readLine :: !String !Bool !*env -> (!Maybe String, !*env)
@@ -18,18 +18,18 @@ readLine :: !String !Bool !*env -> (!Maybe String, !*env)
 //Initializing History and State Management
 //Note that this HAS to be executed when you want to add entries when the
 //history has not been used
-usingHistory :: !*env -> !*env
+usingHistory :: !*env -> *env
 historyGetHistoryState :: !*env -> (!HistoryState, !*env)
-historySetHistoryState :: !HistoryState !*env -> !*env
+historySetHistoryState :: !HistoryState !*env -> *env
 
 //History List Management
-addHistory :: !String !*env -> !*env
-addHistoryTime :: !String !*env -> !*env
+addHistory :: !String !*env -> *env
+addHistoryTime :: !String !*env -> *env
 removeHistory :: !Int !*env -> (!HistoryItem, !*env)
 replaceHistoryEntry :: !Int !String !*env -> (!HistoryItem, !*env)
-clearHistory :: !*env -> !*env
-stifleHistory :: !Int !*env -> !*env
-unstifleHistory :: !*env -> !*env
+clearHistory :: !*env -> *env
+stifleHistory :: !Int !*env -> *env
+unstifleHistory :: !*env -> *env
 historyIsStifled :: !*env -> (!Int, !*env)
 
 //Information About the History List