Home My Page Projects Code Snippets Project Openings SML/NJ Bugs
Summary Activity Tracker Lists

[#116] Socket.sameDesc raises Match exception

Date:
2013-04-22 05:50
Priority:
3
State:
Closed
Submitted by:
Bug Submitter (webuser)
Assigned to:
Lars Bergstrom (larsberg)
Machine Architecture:
x86
Operating System:
Other
Component:
Basis Library
Resolution:
None
Severity:
Major
OS Version:
Windows 7
SML/NJ Version:
110.74
Keywords:
URL:
Transcript (of reproduction):
- val sd = Socket.sockDesc s; val sd = SockDesc 380 : Socket.sock_desc - Socket.sameDesc (sd, sd); uncaught exception Match [nonexhaustive match failure] raised at: Basis/Implementation/Win32/os-io.sml:33.30
Source (for reproduction):
Summary:
Socket.sameDesc raises Match exception

Detailed description
The Socket.sameDesc function (without which Socket.select is not
very useful) raise the Match exception.

Submitted via web form by Karl Crary crary@cs.cmu.edu

Comments:

Message  ↓
Date: 2013-05-20 15:30
Sender: Lars Bergstrom

Confirmed on Win7 with the latest bits.

Date: 2013-05-01 15:56
Sender: John Reppy

The problem is that the iodesc datatype (defined in Basis/Implementation/Win32/pre-os.sml) has both an IODesc constructor and a SockDesc constructor. Much of the code in os-io.sml has not been updated to handle the SockDesc constructor.

Attached Files:

Changes

Field Old Value Date By
status_idOpen2013-05-20 15:31larsberg
close_date2013-05-20 15:312013-05-20 15:31larsberg
assigned_tonone2013-04-22 13:16larsberg