[Ur] Pb compiling urblog

Manu chompmotte at yahoo.fr
Mon Jan 11 04:31:15 EST 2010


Hi

Something must have changed in the compiler that prevents me from 
compiling Gian's urblog (http://github.com/gian/urblog)

His sample blog application did compile a few Ur releases ago, but now I 
get the following errors :


$ urweb urblog
urblog.ur:212:30-212:37: Error in final record unification
Can't unify record constructors
Summary 1:  [#1 = Basis.int, #2 = Basis.string]
Summary 2:
[#Value = {1 : Basis.int, 2 : Basis.string},
  #Expires = Basis.option Basis.time, #Secure = Basis.bool]
urblog.ur:219:38-219:68: Error in final record unification
Can't unify record constructors
Summary 1:  [#1 = Basis.int, #2 = Basis.string]
Summary 2:
[#Value = {1 : Basis.int, 2 : Basis.string},
  #Expires = Basis.option Basis.time, #Secure = Basis.bool]



line 212 is :          setCookie usersession (0, "");
line 219 is :       | Some re => setCookie usersession (re.User.Id, 
re.User.Password); main ()

So It's got to do with the cookies, has the API changed ?

Thanks

PS: I've attached urblog.ur

Manu
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: urblog.ur
URL: <http://www.impredicative.com/pipermail/ur/attachments/20100111/c29f6b1c/attachment.asc>


More information about the Ur mailing list