--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Mon May 17 15:28:38 1993 --* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524) --* id AA12921; Mon, 17 May 1993 15:28:38 -0400 --* X-External-Networks: yes --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 9339; Mon, 17 May 93 15:29:07 EDT --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Mon, 17 May 93 15:29:05 -0400 --* Received: from bernina.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP; --* Mon, 17 May 93 15:28:59 EDT --* Received: from neptune by bernina.ethz.ch with SMTP inbound id <23937-1@bernina.ethz.ch>; Mon, 17 May 1993 21:28:49 +0200 --* From: Philip Santas --* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch) by neptune id AA17580; Mon, 17 May 93 21:28:31 +0200 --* Date: Mon, 17 May 93 21:28:27 +0200 --* Message-Id: <9305171928.AA27351@rutishauser.inf.ethz.ch> --* Received: from ru7.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA27351; Mon, 17 May 93 21:28:27 +0200 --* To: asbugs@watson.ibm.com --* Subject: Re: nested packages --* In-Reply-To: Mail from 'smwatt@watson.ibm.com (Stephen Watt)' --* dated: Mon, 17 May 1993 15:21:48 -0400 --* Cc: bronstein --@ Fixed by: PAB Thu Oct 14 21:59:32 1993 --@ Tested by: fix264.as --@ Summary: fixed by previous changes (please re-submit if you can re-replicate the bug) In the following I got some Ks of errors... :-( Philip -------------nestedPacks.as-------------------------- #include "aslib" Utilities: with T1: IntegerNumberSystem T2: IntegerNumberSystem show: (String, T1) -> None show: (String, T2) -> None == add T1: IntegerNumberSystem == Integer T2: IntegerNumberSystem == SingleInteger show(s: String, t: T1): None == print(s)(t)() show(s: String, t: T2): None == print(s)(t)() f(): None == import Utilities x1: T1 := 1 + 1 + 1 x2: T2 := 1 + 1 + 1 show("The 3 of type T1 is ", x1) show("The 3 of type T2 is ", x2) f() ---------------errors---------------------------- ru7.inf.ethz.ch407 Philip > asharp nestedPacks.as [L0 C1] (Fatal Error) Too many errors (use '-M emax=n' or '-M no-emax' to change the limit). "nestedPacks.as", line 5: T1: IntegerNumberSystem ............^ [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L5 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. "nestedPacks.as", line 6: T2: IntegerNumberSystem ............^ [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L6 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. "nestedPacks.as", line 7: show: (String, T1) -> None ..............^ [L7 C15] (Error) Operator has 0 possible types. Subexpression '->': Meaning 1: (Tuple(Type), Tuple(Type)) -> Type Subexpression 'String, T1': Meaning 1: with ? =: (%, %) -> Bit ~=: (%, %) -> Bit ap... Subexpression 'None': Meaning 1: with ?none: % The context requires an expression of type Tuple(Type). "nestedPacks.as", line 8: show: (String, T2) -> None ..............^ [L8 C15] (Error) Operator has 0 possible types. Subexpression '->': Meaning 1: (Tuple(Type), Tuple(Type)) -> Type Subexpression 'String, T2': Meaning 1: with ? =: (%, %) -> Bit ~=: (%, %) -> Bit ap... Subexpression 'None': Meaning 1: with ?none: % The context requires an expression of type Tuple(Type). "nestedPacks.as", line 10: T1: IntegerNumberSystem == Integer ........^...^ [L10 C9] (Error) The expression has 0 possible meanings. Subexpression 'T1: ( ( =: (%, %) -> Bit ~=...': Meaning 1: ( ( =: (%, %) -> Bit ~=: (%... Subexpression 'Integer': Meaning 1: with =: (%, %) -> Bit ~=: (%, %) -> Bit app... The context requires an expression of type None. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L10 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. "nestedPacks.as", line 11: T2: IntegerNumberSystem == SingleInteger ........^...^ [L11 C9] (Error) The expression has 0 possible meanings. Subexpression 'T2: ( ( =: (%, %) -> Bit ~=...': Meaning 1: ( ( =: (%, %) -> Bit ~=: (%... Subexpression 'SingleInteger': Meaning 1: with ? =: (%, %) -> Bit ~=: (%, %) -> Bit ap... The context requires an expression of type None. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. [L11 C13] (After Macro Expansion) (Warning) Suspicious ':'. Do you mean 'local' or 'default' ? If you do not want the dependent type, you can throw it away using 'do'. "nestedPacks.as", line 13: show(s: String, t: T1): None == .............^.............^ [L13 C14] (Error) Operator has 0 possible types. Subexpression '->': Meaning 1: (Tuple(Type), Tuple(Type)) -> Type Subexpression 's: String, t: T1': Meaning 1: with ? =: (%, %) -> Bit ~=: (%, %) -> Bit ap... Subexpression 'None': Meaning 1: with ?none: % The context requires an expression of type Tuple(Type). [L13 C28] (Error) The expression has 0 possible meanings. Subexpression 'T1': The context requires an expression of type Tuple(Type). "nestedPacks.as", line 14: print(s)(t)() ................^ [L14 C17] (Error) The expression has 0 possible meanings. Subexpression 'print(s)': Meaning 1: Outport Subexpression 't': Meaning 1: T1 [L14 C17] (Error) Operator has 0 possible types. Subexpression 'print(s)': Meaning 1: Outport Subexpression 't': Meaning 1: T1 "nestedPacks.as", line 15: show(s: String, t: T2): None == .............^.............^ [L15 C14] (Error) Operator has 0 possible types. Subexpression '->': Meaning 1: (Tuple(Type), Tuple(Type)) -> Type Subexpression 's: String, t: T2': Meaning 1: with ? =: (%, %) -> Bit ~=: (%, %) -> Bit ap... Subexpression 'None': Meaning 1: with ?none: % The context requires an expression of type Tuple(Type). [L15 C28] (Error) The expression has 0 possible meanings. Subexpression 'T2': The context requires an expression of type Tuple(Type). ru7.inf.ethz.ch408 Philip >