Up to top level
compiler bugs   dustin's bugs   fixed   incoming   nonproblems   tests   website bugs  

Logged in as guest

Viewing incoming/663
Full headers

From: xqi@cs.umn.edu
Subject: a problem in type unification
Compose reply
Download message
Move To:
0 replies:
0 followups:

Private message: yes  no

Notes:

Notification:


From: xqi@cs.umn.edu
To: teyjus@cs.umn.edu
Subject: a problem in type unification
Date: Thu, 22 Jun 2006 19:25:13 -0500 (CDT)
Full_Name: Xiaochu Qi
Version: teyjus-1.0-b34
OS: SunOS Generic_117000-03
Submission from: (NULL) (128.101.36.50)


A constant of variable target type should not be viewed as type preserving.

-------------------------------------------------------------
sig bug.

type c A.

type foo A -> o.
type bar string -> o.

--------------------------------------------------------------
module bug.

foo (c 1).
bar X.
---------------------------------------------------------------

The query ?-bar X, foo (c X) succeeds on the above module with X = 1, which,
however, should have failed because of the un-unifiability of the types of the
two occurrences of c.


Up to top level
compiler bugs   dustin's bugs   fixed   incoming   nonproblems   tests   website bugs  

Logged in as guest


[ Home | Overview | Download | Language Documentation | Bug Tracking | Implementation Documentation | Links ]