diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-08-15 16:56:50 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-15 17:23:41 +0200 |
| commit | 12b9dfe1c88569830ed25c0913de8c3db6175100 (patch) | |
| tree | e4d2dbac5b5939180c3fcf249a6505fa4909da2c /subprojects/frontend/src/index.tsx | |
| parent | refactor(language): invalid multiplicity trace (diff) | |
| download | refinery-12b9dfe1c88569830ed25c0913de8c3db6175100.tar.gz refinery-12b9dfe1c88569830ed25c0913de8c3db6175100.tar.zst refinery-12b9dfe1c88569830ed25c0913de8c3db6175100.zip | |
chore(deps): bump dependencies
Diffstat (limited to 'subprojects/frontend/src/index.tsx')
| -rw-r--r-- | subprojects/frontend/src/index.tsx | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx index cb11e6c3..a2746748 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
| @@ -16,8 +16,8 @@ class Person { | |||
| 16 | } | 16 | } |
| 17 | 17 | ||
| 18 | class Post { | 18 | class Post { |
| 19 | Person author | 19 | Person[1] author |
| 20 | Post[0..1] replyTo | 20 | Post replyTo |
| 21 | } | 21 | } |
| 22 | 22 | ||
| 23 | // Constraints | 23 | // Constraints |
| @@ -27,7 +27,7 @@ error replyToNotFriend(Post x, Post y) <-> | |||
| 27 | author(y, yAuthor), | 27 | author(y, yAuthor), |
| 28 | !friend(xAuthor, yAuthor). | 28 | !friend(xAuthor, yAuthor). |
| 29 | 29 | ||
| 30 | error replyToCycle(Post x) <-> replyTo+(x,x). | 30 | error replyToCycle(Post x) <-> replyTo+(x, x). |
| 31 | 31 | ||
| 32 | // Instance model | 32 | // Instance model |
| 33 | Person(a). | 33 | Person(a). |
| @@ -40,7 +40,7 @@ Post(p2). | |||
| 40 | author(p2, b). | 40 | author(p2, b). |
| 41 | replyTo(p2, p1). | 41 | replyTo(p2, p1). |
| 42 | 42 | ||
| 43 | !author(Post::new, a). // Automatically inferred: author(Post::new, b). | 43 | !author(Post::new, a). |
| 44 | 44 | ||
| 45 | // Scope | 45 | // Scope |
| 46 | scope Post = 10..15, Person += 0. | 46 | scope Post = 10..15, Person += 0. |