Skip to content
This repository was archived by the owner on Aug 3, 2021. It is now read-only.

chore : fix typo in chapter 1 #162

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 6 additions & 6 deletions src/course-codes/chapter1/index.ts
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@ contract SocialMediaPayment (owner: ByStr20)
field username : String = "Alice"

transition changeName()
newname = "Bob" (*Now that we’ll be having another line, don’t forget to include a semicolon at the end of of the previous line, i.e. after "Bob" *)
newname = "Bob"; (*Now that we’ll be having another line, don’t forget to include a semicolon at the end of the previous line, i.e. after "Bob" *)
(* Start typing from the line below *)
end`,
answerCode: `scilla_version 0
Expand All @@ -102,7 +102,7 @@ field username : String = "Alice"

(* Start typing in the parentheses below *)
transition changeName()
username := newname
username := newname
end
`,
answerCode: `scilla_version 0
Expand Down Expand Up @@ -136,12 +136,12 @@ end
contract SocialMediaPayment (owner: ByStr20)
field username : String = "Alice"
field user_address : ByStr20 = 0x1234567890123456789012345678901234567890
field user_tokens: Uint128 = Uint128 0
field user_tokens: Uint128 = Uint128 0

transition changeName(newname: String)
username := newname;
(*Use ‘accept’ command in the line below which will accept the amount sent to this transition.*)
accept;
accept;
(*Assign the value of the implicit variables to the new mutable variables in the lines below. You’ll need to use the semicolons to separate the lines in the transition*)
user_address := _sender;
user_tokens := _amount
Expand All @@ -154,7 +154,7 @@ const l9: ILessonCode = {
(owner: ByStr20)
field player_name : String = "Alice"
field player_address : ByStr20 = 0x1234567890123456789012345678901234567890
field player_zeal: Uint128 = Uint128 0
field player_zeal : Uint128 = Uint128 0

Transition changeName(newname: String)
player_name := newname;
Expand All @@ -166,7 +166,7 @@ end
(owner: ByStr20)
field player_name : String = "Alice"
field player_address : ByStr20 = 0x1234567890123456789012345678901234567890
field player_zeal: Uint128 = Uint128 0
field player_zeal : Uint128 = Uint128 0

Transition changeName(newname: String)
player_name := newname;
Expand Down