krr / IDP / issues / #695 - segfault when declaring type too "late" in vocabulary — Bitbucket

Issue #695 resolved

Joachim Jansen created an issue 2014-03-03

Attached is an IDP file in which a partial function F(T1):T2 is declared in the vocabulary before the sort T2 is declared (it is declared directly below the declaration of F)

Parsing this file results in a segfault

partial_func_typedecl_too_late_segfault.idp

Comments (2)

Ingmar Dasseville
- assigned issue to
  
  Ingmar Dasseville
- 2014-03-03T16:33:37+00:00
Bart Bogaerts
- changed status to resolved
Merged in partialNullpointer (pull request #313)

Fixes Issue ~~#695~~

→ <<cset 48f997886b16>>
- 2014-11-18T11:19:00+00:00
Log in to comment

Assignee: Ingmar Dasseville

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 3

Jira: the preferred issue tracker for Bitbucket. Join the team!