Originally reported by: Bilal Hussain (Bitbucket: <a href="https://bitbucket.o

Original comment by Özgür Akgün (Bitbucket: <a href="https://bitbucke

Original comment by Bilal Hussain (Bitbucket: <a href="https://bitbuc

tuple err about conjure HOT 3 CLOSED

conjure-cp commented on August 25, 2024

tuple err

from conjure.

Comments (3)

ozgurakgun commented on August 25, 2024

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

fixes #46. reorder phases so simplification happens before tuple-explode. test file added.

from conjure.

ozgurakgun commented on August 25, 2024

Original comment by Bilal Hussain (Bitbucket: Bilalh, GitHub: Bilalh):

language Essence 2.0

letting x be (1, (1,2,3) )

find y  : tuple ( int(1..4), tuple( int(1..3), int(2..5), int(3..6) ) )

such that
    y = x

also gives the same kind of error

Error in phase: Groom
    (typeOf) Undefined reference: y
        Current bindings: y_tuple2_tuple3,
                          y_tuple2_tuple3,
                          y_tuple2_tuple2,
                          y_tuple2_tuple2,
                          y_tuple2_tuple1,
                          y_tuple2_tuple1,
                          y_tuple1,
                          y_tuple1,
                          x,
                          x

from conjure.

ozgurakgun commented on August 25, 2024

Original comment by Bilal Hussain (Bitbucket: Bilalh, GitHub: Bilalh):

using


language Essence 2.0

letting c be (1,2)

find a : tuple (int(0..9))
find b : tuple (int(0..9),int(3..8))

such that
    a[1] = 1,
    b[1] = 2,
    b[2] = c[2]

does not give an error but does not refine c


language Essence 2.0

letting c be (1,2)

find a : tuple (int(0..9))
find b : tuple (int(0..9),int(3..8))

such that
    a[1] = 1,
    b[1] = 2,
    b[2] = c[2]

from conjure.

Recommend Projects