Fixing dumb bug from me

This commit is contained in:
Jay McCarthy 2010-05-24 18:46:31 -06:00
parent 9a1e3a5ca2
commit 3f1a89b8f8
2 changed files with 12 additions and 1 deletions

View File

@ -184,7 +184,7 @@
'variant-field #'field)))
...
(define set-variant-field!
(lambda-memocontract (v)
(lambda-memocontract (v nv)
(contract (f:variant? field/c . -> . void)
set-variant*-field!
'set-variant-field! 'use

View File

@ -0,0 +1,11 @@
#lang plai
(require (prefix-in eli: tests/eli-tester))
(define-type A (a (x number?)))
(define an-a (a 10))
(eli:test
(a-x an-a) => 10
(set-a-x! an-a 20)
(a-x an-a) => 20)