[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:
> //www.freelists.org/archives/infostudents/
>
> Subscribe / Unsubscribe:
> //www.freelists.org/list/infostudents
>
Other related posts:
