The lisp code is being enhanced with function signatures. In addition, the list of all signatures, with page numbers is included as a separate compilation at the end of the document. For instance,
115 set-restart-hook : Void -> 'restart 131 intloopReadConsole : (String Integer) -> Throw 137 intloopPrefix? : String -> Union(String,NIL) 139 intloopProcessString : (String,StepNo) -> StepNo 140 next : (Function,Delay) -> Delay 140 next1 : Delay -> ParsePair 141 incString : String -> Function 144 setCurrentLine : String -> List(String) 144 mkprompt : Void -> String 146 serverReadLine : Stream -> String 167 intloopProcess : (StepNo,Boolean,Delay) -> StepNo 177 incRenumber : Delay -> Delay 177 incZip : (Function,Delay,Delay) -> Delay 177 incZip1 : Delay -> ParsePair 178 incIgen : Integer -> Delay 180 incLude : (Int,List(String),Int,List(String),List(Int) -> Delay 204 incCommand? : String -> Boolean 207 Delay : (Function,List(Any)) -> Delay 441 StreamNull : Delay -> Union(T,NIL) _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
