[infostudents] Re: SWT Blatt 2

  • From: "Jonas Gehring" <jonas.gehring@xxxxxxxxxxxx>
  • To: infostudents@xxxxxxxxxxxxx
  • Date: Thu, 22 May 2008 20:47:44 +0200

Hallo Guido,

Ich sage doch lediglich, dass y ⊆ {x,b} nicht gilt und damit die
Wohlgeformtheit verletzt ist. Der Typ ist da nicht wichtig, nur dass
es eine interne Typannahme für y gibt die nicht exportiert wird.

Gruß,
Jonas


2008/5/22, Guido Solbach <ich@xxxxxxxxxxxxxxxx>:
> Hallo Jonas,
>  wohlgeformtheit, sagt nichts über den Typ aus, wie Du es bei L1 behauptest.
>  Vielmehr wird hier doch nur der Namensraum überprüft.
>  soweit eine erste durchsicht
>  ---
>  Sent through the Infostudents Mailinglist
>
>  List Archive:
>  http://www.freelists.org/archives/infostudents/
>
>  Subscribe / Unsubscribe:
>  http://www.freelists.org/list/infostudents
>

Other related posts: