[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Checking FIFO module

From: Y2i <yur...@xxxxxxxxx>
Date: Wed, 24 Apr 2013 10:52:25 -0700 (PDT)
References: <5c8081be-f807-46c1-8245-ecbb6a87e9a8@googlegroups.com> <55C51CBE-A240-4BE5-ADD8-A229DBB03F46@gmail.com> <CAAWQ4M7oU65YLPhx+FRUtCXanTP4TPdZAC18SSUuuhNnn47kzg@mail.gmail.com>

Dear Leslie and Stephan,

Thank you so much for your quick response, detailed explanations and advice on future reading, I really appreciate it! I definitely misinterpreted the error message and mistook parameterized instantiation for module parameter substitution.

Thank you again!

Yuri

References:
- Checking FIFO module
  - From: Y2i
- Re: [tlaplus] Checking FIFO module
  - From: Stephan Merz
- Re: [tlaplus] Checking FIFO module
  - From: TLA Plus

Prev by Date: Re: [tlaplus] Checking FIFO module
Next by Date: Reading Hyperbook on an Android Tablet
Previous by thread: Re: [tlaplus] Checking FIFO module
Next by thread: Reading Hyperbook on an Android Tablet
Index(es):
- Date
- Thread