## Assignment 1

Moderator: Type Systems of Programming Languages

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

### Assignment 1

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
Beiträge: 60
Registriert: 28. Mär 2013 10:08

### Re: Assignment 1

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