Assignment 1

Moderator: Type Systems of Programming Languages

daehn
Erstie
Erstie
Beiträge: 16
Registriert: 5. Okt 2010 13:42

Assignment 1

Beitrag von daehn »

Heyho,
I just wrote code for the first assignment and added some of my own tests. They run fine with

Code: Alles auswählen

Status: Done
Test score: 7/7
However a click on "Run Specification Test" results in

Code: Alles auswählen

Status: CompilationFailure
test [Truncated...]
Anybody with the same problems?

erdweg
Moderator
Moderator
Beiträge: 60
Registriert: 28. Mär 2013 10:08

Re: Assignment 1

Beitrag von erdweg »

Hi there,

this was a mistake on my part and your submission should now work. Thanks for pointing this out. The problem was that the hidden test cases used a different name for the `implies` case class. I fixed this and clarified the task description.

Note to everybody: You must name the case classes `Or` and `Implies` exactly. Otherwise the test cases won't work.

Cheers,
Sebastian

Antworten

Zurück zu „Type Systems of Programming Languages“