Discussions related to Visual Prolog
Martin Meyer
VIP Member
Posts: 328
Joined: 14 Nov 2002 0:01

Must unify problem

Unread post by Martin Meyer »

Hello Thomas,

please check this code. The must unify produces an access violation (in VIP 7502):

Code: Select all

    open         pfc\syntax\,         core,         syntax   domains     abstractSyntaxTree = abstractSyntaxTree(         symbol RuleName,         cursor Cursor,         gsAbstractSyntaxTree* GsAstList).     gsAbstractSyntaxTree =         curAst_t(             string TerminalString,             cursor Cursor);         curAst_nt(abstractSyntaxTree Ast).   class predicates     getList : () -> gsAbstractSyntaxTree*. clauses     getList() = [curAst_t("", Cursor), curAst_nt(Ast), curAst_nt(Ast), curAst_nt(Ast), curAst_nt(Ast), curAst_nt(Ast)] :-         SourceFile = inputSourceFile::new(""),         PackedCursor = packCursor(0, 0),         ShortCursor = shortCursor(SourceFile, PackedCursor, PackedCursor),         Cursor = cursor(ShortCursor, [], []),         Ast = abstractSyntaxTree("", Cursor, []).   clauses     run() :-         List = getList(),         [curAst_t(_, _), curAst_nt(_), curAst_nt(_), curAst_nt(_), curAst_nt(_), curAst_nt(_)] == List.
Regards Martin
User avatar
Thomas Linder Puls
VIP Member
Posts: 1395
Joined: 28 Feb 2000 0:01

Unread post by Thomas Linder Puls »

Hi, Martin. We will look at it.
Regards Thomas Linder Puls
PDC
Joop
Posts: 1
Joined: 15 Feb 2017 8:40

Unread post by Joop »

Thomas Linder Puls wrote:Hi, Martin. We will look here for the instant knockout it.
Are you all good now Martin?
Last edited by Joop on 30 Aug 2017 14:09, edited 2 times in total.
Martin Meyer
VIP Member
Posts: 328
Joined: 14 Nov 2002 0:01

Unread post by Martin Meyer »

Yes Joop, it is all fine. I reported an issue, Thomas and his colleagues will look at it, and probably in the next VIP version they have fixed it. That is the common way to handle such matters.
Regards Martin
Post Reply