Skip to content

Commit

Permalink
cleanup and inclusion of Socket functionality in basis
Browse files Browse the repository at this point in the history
  • Loading branch information
melsman committed Dec 10, 2021
1 parent 7fefdcb commit db55904
Show file tree
Hide file tree
Showing 4 changed files with 16 additions and 31 deletions.
35 changes: 16 additions & 19 deletions basis/basis.mlb
Original file line number Diff line number Diff line change
Expand Up @@ -110,19 +110,10 @@ local
end
end
end
(*
basis Polyhash =
let open General String ArrayVector Word
in bas POLYHASH.sig Polyhash.sml end
end
*)

basis Io =
let open General String List
in bas IO.sml (* TEXT_IO.sml TextIO.sml
local open Word ArrayVector Byte
in BIN_IO.sml BinIO.sml
end *)
end
in bas IO.sml end
end

basis System =
Expand Down Expand Up @@ -150,12 +141,18 @@ local
in bas OSError.sml end
end

(* basis Socket =
let open General String System ArrayVector
in
bas NET_HOST_DB.sml SOCKET.sml end
end*)

basis Socket =
let open General String System ArrayVector List Word
in bas NET_HOST_DB.sig
NetHostDB.sml
SOCKET.sig
Socket.sml
INET_SOCK.sig
(* UNIX_SOCK.sig
GENERIC_SOCK.sig
*)
end
end

basis PrimIO =
let open General System ArrayVector Io Int String Word
Expand Down Expand Up @@ -210,9 +207,9 @@ local
basis Unix =
let open General Word System Posix IO String
in
bas UNIX.sig Unix.sml (*UNIX_SOCK.sml*) end
bas UNIX.sig Unix.sml end
end
in
open General List ArrayVector String Bool Word Byte
Int Real IntInf IntInfRep Io System Text Posix IO Unix (* Sml90 *)
Int Real IntInf IntInfRep Io System Text Posix IO Unix Socket (* Sml90 *)
end
10 changes: 0 additions & 10 deletions basis/socket.mlb

This file was deleted.

1 change: 0 additions & 1 deletion test/host.mlb
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/socket.mlb
in host.sml
end
1 change: 0 additions & 1 deletion test/server.mlb
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/socket.mlb
in server.sml
end

0 comments on commit db55904

Please sign in to comment.