Assignment 07 BindCC

Moderator: Konzepte der Programmiersprachen

tud_informatik
Neuling
Neuling
Beiträge: 4
Registriert: 17. Nov 2018 17:44

Assignment 07 BindCC

Beitrag von tud_informatik » 1. Feb 2019 21:11

I have a question in Assignment 7 Task 3 'test code'

test("10") { assertResult(BoolV(false))
{ runInterp(And(true, BindCC('k, Or(true, App('k, false))))) }}

I thought it was BoolV(True) because,



And(true, BindCC('k, Or(true, App('k, false))))

BindCC
'k -> Continuation(k)

App
case Continuation(k) = k(false) = false

as a result,
Or(true, false) = true


but the result is false. I would like to know why this result comes out.

a10r
Erstie
Erstie
Beiträge: 11
Registriert: 4. Nov 2012 13:53

Re: Assignment 07 BindCC

Beitrag von a10r » 3. Feb 2019 12:17

This has been answered here: viewtopic.php?f=300&t=39192

Antworten

Zurück zu „Konzepte der Programmiersprachen“