Erlang/OTP Forums
Author Message

<  Erlang bugs mailing list  ~  Compiler internal consistency check failed
xpdoka
Posted: Wed Nov 22, 2006 12:38 pm Reply with quote
User Joined: 16 Oct 2006 Posts: 52
dw@oulala:~/tmp 123% uname -a
Linux oulala 2.6.11-1.1369_FC4 #1 Thu Jun 2 22:55:56 EDT 2005 i686 i686
i386 GNU/Linux
dw@oulala:~/tmp 124% erl +V
Erlang (HIPE) (BEAM) emulator version 5.4.13
dw@oulala:~/tmp 125% erlc bug.erl
bug: function run/0+1619:
Internal consistency check failed - please report this bug.
Instruction: {get_list,{x,1018},{x,1023},{x,1024}}
Error: {invalid_store,{x,1024},term}:



Post recived from mailinglist
Back to top View user's profile Send private message Visit poster's website
Guest
Posted: Wed Nov 22, 2006 1:36 pm Reply with quote
Guest
The pattern matching is too complex. R11B-2 gives the following,
clearer error message:

bug: function run/0+1619:
An implementation limit was reached.
Try reducing the complexity of this function.

Instruction: {get_list,{x,1018},{x,1023},{x,1024}}

To reduce the complexity, you could first divide the list into
two or more parts, and then match the parts separately.

/Bjorn

Dominic Williams <xpdoka@dominicwilliams.net> writes:

> dw@oulala:~/tmp 123% uname -a
> Linux oulala 2.6.11-1.1369_FC4 #1 Thu Jun 2 22:55:56 EDT 2005 i686 i686
> i386 GNU/Linux
> dw@oulala:~/tmp 124% erl +V
> Erlang (HIPE) (BEAM) emulator version 5.4.13
> dw@oulala:~/tmp 125% erlc bug.erl
> bug: function run/0+1619:
> Internal consistency check failed - please report this bug.
> Instruction: {get_list,{x,1018},{x,1023},{x,1024}}
> Error: {invalid_store,{x,1024},term}:
>
>
> _______________________________________________
> erlang-bugs mailing list
> erlang-bugs@erlang.org
> http://www.erlang.org/mailman/listinfo/erlang-bugs

--
Bj
Back to top
xpdoka
Posted: Wed Nov 22, 2006 2:29 pm Reply with quote
User Joined: 16 Oct 2006 Posts: 52
Hi Bjorn,

> To reduce the complexity, you could first divide the list into
> two or more parts, and then match the parts separately.

Thanks. In fact, it is not event necessary to split the list.
Strangely, it is enough to bind it to a temporary variable and
then match that, instead of matching the list directly.

Regards,

Dominic Williams
http://www.dominicwilliams.net

----


_______________________________________________
erlang-bugs mailing list
erlang-bugs@erlang.org
http://www.erlang.org/mailman/listinfo/erlang-bugs
Post recived from mailinglist
Back to top View user's profile Send private message Visit poster's website

Display posts from previous:  

All times are GMT
View next topic
View previous topic
Page 1 of 1
Erlang Forum - Trap Exit Forum Index  ~  Erlang bugs mailing list
This forum is locked: you cannot post, reply to, or edit topics.

Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You cannot download files in this forum
Hosted by Erlang Solutions    |    Powered by phpBB and NoseBleed 1.14