type synonyms not expanded properly about cogent

[zilinc]

Mismatch between  (?1, ?2) and a
   in the definition at ("./tests/pass_param-synonym-expand.cogent" (line 3, column 1))
   for the function foo
   in the 1st alternative (#{ f1 = (n, m), f2 })
   from constraint  (?1, ?2) :< a
Compilation failed!

[zilinc]

there should be a fix which subsumes 80b8d8a

[liamoc]

Why closed?

On Wednesday, 7 September 2016, Zilin Chen [email protected] wrote:

Closed #11 #11.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#11 (comment), or mute the
thread
https://github.com/notifications/unsubscribe-auth/AADyJwNMlijacIA7OMCRmpbPvGpzv0MEks5qnqZfgaJpZM4J1axq
.

Cheers.
~Liam

[zilinc]

fixed. It's just a top-level thing.

[liamoc]

This has not been properly fixed. We need to do this in the constraint solver not the top level.

[zilinc]

@liamoc can you take care of this one please?

[liamoc]

Will do.

[liamoc]

Actually, this is not important to fix. Let's just leave it how it is.