0000268: Typo in :- end_module declaration leads to compiler crash.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000268

mercury

Bug

public

2012-12-03 20:55

2012-12-04 18:22

Reporter

ttmrichter

Assigned To

juliensf

Priority

normal

Severity

crash

Reproducibility

always

Status

resolved

Resolution

duplicate

Platform

Toshiba Satellite L512

Linux Mint

OS Version

Product Version

Target Version

Fixed in Version

Summary

0000268: Typo in :- end_module declaration leads to compiler crash.

Description

λ junk → cat test.m
%-----------------------------------------------------------------------------%
% vi: ft=mercury ts=4 sw=4 et wm=0 tw=0
%-----------------------------------------------------------------------------%
:- module test.

:- interface.

:- import_module integer.

:- func identity(integer) = integer.

:- implementation.

identity(X) = X.

:- end_module not_test.
λ junk → mmc --make test
Making Mercury/asm_fast.gc/x86_64-unknown-linux-gnu/Mercury/cs/test.c
Uncaught Mercury exception:
Software Error: parse_tree.equiv_type: predicate `parse_tree.equiv_type.replace_in_item_list'/13: Unexpected: module start or end
Stack dump not available in this grade.
** Error making `Mercury/asm_fast.gc/x86_64-unknown-linux-gnu/Mercury/cs/test.c'.

Steps To Reproduce

As above.

Additional Information

This caused me a frustrating divide-and-conquer debugging session as I tried to figure out why a re-factored module was suddenly crashing the compiler. Generally a warning/error would be preferred to crashes. ;)

Tags

No tags attached.

Attached Files

Relationships

duplicate of

0000041

resolved

juliensf

unclear error message in case the end_module declaration differs from the :- module description

Relationships

Notes
There are no notes attached to this issue.

Notes

Date Modified	Username	Field	Change
Issue History
2012-12-03 20:55	ttmrichter	New Issue
2012-12-04 18:22	juliensf	Relationship added	duplicate of 0000041
2012-12-04 18:22	juliensf	Status	new => resolved
2012-12-04 18:22	juliensf	Resolution	open => duplicate
2012-12-04 18:22	juliensf	Assigned To	=> juliensf

Issue History