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

[#160] uncaught exception TypTbl when loading module

Date:
2016-05-17 05:53
Priority:
3
State:
Open
Submitted by:
Bug Submitter (webuser)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
x86
Operating System:
All
Component:
Compiler
Resolution:
Accepted As Bug
Severity:
Major
OS Version:
Fedora 22
SML/NJ Version:
110.78
Keywords:
URL:
Transcript (of reproduction):
- use "kea.sml"; [opening kea.sml] uncaught exception EA raised at: ../../MLRISC/x86/mltree/x86.sml:417.32-417.34 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 ../compiler/TopLevel/interact/evalloop.sml:292.17-292.20 - use "kea.sml"; unexpected exception (bug?) in SML/NJ: TypTbl [TypTbl] raised at: ../../smlnj-lib/Util/int-hash-table.sml:90.31-90.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 - use "kea.sml"; unexpected exception (bug?) in SML/NJ: TypTbl [TypTbl] raised at: ../../smlnj-lib/Util/int-hash-table.sml:90.31-90.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 - use "kea.sml"; [opening kea.sml] uncaught exception EA raised at: ../../MLRISC/x86/mltree/x86.sml:417.32-417.34 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 ../compiler/TopLevel/interact/evalloop.sml:292.17-292.20 - use "kea.sml"; unexpected exception (bug?) in SML/NJ: TypTbl [TypTbl] raised at: ../../smlnj-lib/Util/int-hash-table.sml:90.31-90.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 - use "kea.sml"; unexpected exception (bug?) in SML/NJ: TypTbl [TypTbl] raised at: ../../smlnj-lib/Util/int-hash-table.sml:90.31-90.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 ...
Source (for reproduction):
fun f x s= SOME (x, s) fun snd (_, y) = y fun g x = snd (g x, f 0)
Summary:
uncaught exception TypTbl when loading module

Detailed description
Exactly every third time a module is loaded to smlnj, EA exception is thrown and uncaught. The other two times TypTbl is thrown.
Submitted via web form by Michal Seweryn <michalsew@gmail.com>

Comments:

Message  ↓
Date: 2016-05-17 19:02
Sender: John Reppy

This is probably the same bug as #159. Sometimes the "EA" exception is raised and sometimes the following happens:

unexpected exception (bug?) in SML/NJ: GenTbl [GenTbl]
raised at: ../../smlnj-lib/Util/int-hash-table.sml:90.31-90.40
../compiler/Basics/stats/stats.sml:198.40
../compiler/Basics/stats/stats.sml:198.40
../compiler/Basics/stats/stats.sml:198.40
../compiler/TopLevel/interact/evalloop.sml:44.55

Attached Files:

Changes

Field Old Value Date By
assigned_tonone2016-05-17 19:02jhr
detailsExactly every third time a module is loaded to smlnj, EA exception is thrown and uncaught. The other two times TypTbl is thrown. Submitted via web form by Michal Seweryn <michalsew@gmail.com> 2016-05-17 19:02jhr
Operating SystemLinux2016-05-17 19:02jhr
ResolutionNone2016-05-17 19:02jhr
Transcript (of reproduction)- use "kea.sml"; [opening kea.sml] uncaught exception EA raised at: ../../MLRISC/x86/mltree/x86.sml:417.32-417.34 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 ../compiler/TopLevel/interact/evalloop.sml:292.17-292.20 - use "kea.sml"; unexpected exception (bug?) in SML/NJ: TypTbl [TypTbl] raised at: ../../smlnj-lib/Util/int-hash-table.sml:90.31-90.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 - use "kea.sml"; unexpected exception (bug?) in SML/NJ: TypTbl [TypTbl] raised at: ../../smlnj-lib/Util/int-hash-table.sml:90.31-90.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 - use "kea.sml"; [opening kea.sml] uncaught exception EA raised at: ../../MLRISC/x86/mltree/x86.sml:417.32-417.34 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 ../compiler/TopLevel/interact/evalloop.sml:292.17-292.20 - use "kea.sml"; unexpected exception (bug?) in SML/NJ: TypTbl [TypTbl] raised at: ../../smlnj-lib/Util/int-hash-table.sml:90.31-90.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 - use "kea.sml"; unexpected exception (bug?) in SML/NJ: TypTbl [TypTbl] raised at: ../../smlnj-lib/Util/int-hash-table.sml:90.31-90.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/Basics/stats/stats.sml:198.40 ../compiler/TopLevel/interact/evalloop.sml:44.55 ...2016-05-17 19:02jhr
Source (for reproduction)fun f x s= SOME (x, s) fun snd (_, y) = y fun g x = snd (g x, f 0)2016-05-17 19:02jhr