Hume (programming language): Difference between revisions

Revision as of 18:15, 23 May 2013

Revision as of 08:53, 24 May 2013

Line 34:

( Nickel, *, v) -> let v’ = v + 5 in ( *, v’, *, show v’)

| ( Dime, *, v) -> let v’ = v + 10 in ( *, v’, *, show v’)

| ( Fake, *, *) -> raise EFakeCoin "coin rejected"

| ( *, BCoffee, v) -> (vend Coffee 10 v) within 20s -- within time may raise TimeOut ()

| ( *, BTea, v) ->- (vendwithin Teatime 5may v)raise withinTimeOut 20s()

| ( *, BCoffee, v) -> (vend Coffee 10 v) within 20s30s -- within time may raise TimeOut ()

| ( *, BTea, v) -> (vend Tea 5 v) within 30s

| ( *, BCancel, v) -> let refund u = "Refund " ++ show u ++ "\n"

in ( *, 0, refund v, *)