From 59183b5fe956a683ad514da036690e18c786342f Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Wed, 21 Apr 2021 10:04:23 -0400 Subject: [PATCH] reorganize typed syndicate project structure --- racket/typed/examples/roles/chat-tcp2.rkt | 2 +- racket/typed/{ => syndicate}/compile-spin.rkt | 0 racket/typed/{ => syndicate}/core-expressions.rkt | 0 racket/typed/{ => syndicate}/core-types.rkt | 0 racket/typed/{ => syndicate}/drivers/tcp.rkt | 0 racket/typed/{ => syndicate}/drivers/timestate.rkt | 0 racket/typed/{ => syndicate}/either.rkt | 0 racket/typed/{ => syndicate}/for-loops.rkt | 0 racket/typed/{ => syndicate}/hash.rkt | 0 racket/typed/{ => syndicate}/list.rkt | 0 racket/typed/{ => syndicate}/ltl.rkt | 0 racket/typed/{ => syndicate}/maybe.rkt | 0 racket/typed/{ => syndicate}/prim.rkt | 0 racket/typed/{ => syndicate}/proto.rkt | 0 racket/typed/{ => syndicate}/roles.rkt | 0 racket/typed/syndicate/roles/lang/reader.rkt | 2 +- racket/typed/{ => syndicate}/sequence.rkt | 0 racket/typed/{ => syndicate}/set.rkt | 0 racket/typed/{ => syndicate}/spin-prelude.pml | 0 racket/typed/{ => syndicate}/syntax-serializer.rkt | 0 racket/typed/{ => syndicate}/test-utils.rkt | 0 21 files changed, 2 insertions(+), 2 deletions(-) rename racket/typed/{ => syndicate}/compile-spin.rkt (100%) rename racket/typed/{ => syndicate}/core-expressions.rkt (100%) rename racket/typed/{ => syndicate}/core-types.rkt (100%) rename racket/typed/{ => syndicate}/drivers/tcp.rkt (100%) rename racket/typed/{ => syndicate}/drivers/timestate.rkt (100%) rename racket/typed/{ => syndicate}/either.rkt (100%) rename racket/typed/{ => syndicate}/for-loops.rkt (100%) rename racket/typed/{ => syndicate}/hash.rkt (100%) rename racket/typed/{ => syndicate}/list.rkt (100%) rename racket/typed/{ => syndicate}/ltl.rkt (100%) rename racket/typed/{ => syndicate}/maybe.rkt (100%) rename racket/typed/{ => syndicate}/prim.rkt (100%) rename racket/typed/{ => syndicate}/proto.rkt (100%) rename racket/typed/{ => syndicate}/roles.rkt (100%) rename racket/typed/{ => syndicate}/sequence.rkt (100%) rename racket/typed/{ => syndicate}/set.rkt (100%) rename racket/typed/{ => syndicate}/spin-prelude.pml (100%) rename racket/typed/{ => syndicate}/syntax-serializer.rkt (100%) rename racket/typed/{ => syndicate}/test-utils.rkt (100%) diff --git a/racket/typed/examples/roles/chat-tcp2.rkt b/racket/typed/examples/roles/chat-tcp2.rkt index 2790024..90fc97d 100644 --- a/racket/typed/examples/roles/chat-tcp2.rkt +++ b/racket/typed/examples/roles/chat-tcp2.rkt @@ -1,6 +1,6 @@ #lang typed/syndicate/roles -(require "../../drivers/tcp.rkt") +(require typed/syndicate/drivers/tcp) ;; message (define-constructor (speak who what) diff --git a/racket/typed/compile-spin.rkt b/racket/typed/syndicate/compile-spin.rkt similarity index 100% rename from racket/typed/compile-spin.rkt rename to racket/typed/syndicate/compile-spin.rkt diff --git a/racket/typed/core-expressions.rkt b/racket/typed/syndicate/core-expressions.rkt similarity index 100% rename from racket/typed/core-expressions.rkt rename to racket/typed/syndicate/core-expressions.rkt diff --git a/racket/typed/core-types.rkt b/racket/typed/syndicate/core-types.rkt similarity index 100% rename from racket/typed/core-types.rkt rename to racket/typed/syndicate/core-types.rkt diff --git a/racket/typed/drivers/tcp.rkt b/racket/typed/syndicate/drivers/tcp.rkt similarity index 100% rename from racket/typed/drivers/tcp.rkt rename to racket/typed/syndicate/drivers/tcp.rkt diff --git a/racket/typed/drivers/timestate.rkt b/racket/typed/syndicate/drivers/timestate.rkt similarity index 100% rename from racket/typed/drivers/timestate.rkt rename to racket/typed/syndicate/drivers/timestate.rkt diff --git a/racket/typed/either.rkt b/racket/typed/syndicate/either.rkt similarity index 100% rename from racket/typed/either.rkt rename to racket/typed/syndicate/either.rkt diff --git a/racket/typed/for-loops.rkt b/racket/typed/syndicate/for-loops.rkt similarity index 100% rename from racket/typed/for-loops.rkt rename to racket/typed/syndicate/for-loops.rkt diff --git a/racket/typed/hash.rkt b/racket/typed/syndicate/hash.rkt similarity index 100% rename from racket/typed/hash.rkt rename to racket/typed/syndicate/hash.rkt diff --git a/racket/typed/list.rkt b/racket/typed/syndicate/list.rkt similarity index 100% rename from racket/typed/list.rkt rename to racket/typed/syndicate/list.rkt diff --git a/racket/typed/ltl.rkt b/racket/typed/syndicate/ltl.rkt similarity index 100% rename from racket/typed/ltl.rkt rename to racket/typed/syndicate/ltl.rkt diff --git a/racket/typed/maybe.rkt b/racket/typed/syndicate/maybe.rkt similarity index 100% rename from racket/typed/maybe.rkt rename to racket/typed/syndicate/maybe.rkt diff --git a/racket/typed/prim.rkt b/racket/typed/syndicate/prim.rkt similarity index 100% rename from racket/typed/prim.rkt rename to racket/typed/syndicate/prim.rkt diff --git a/racket/typed/proto.rkt b/racket/typed/syndicate/proto.rkt similarity index 100% rename from racket/typed/proto.rkt rename to racket/typed/syndicate/proto.rkt diff --git a/racket/typed/roles.rkt b/racket/typed/syndicate/roles.rkt similarity index 100% rename from racket/typed/roles.rkt rename to racket/typed/syndicate/roles.rkt diff --git a/racket/typed/syndicate/roles/lang/reader.rkt b/racket/typed/syndicate/roles/lang/reader.rkt index ff64fce..0411511 100644 --- a/racket/typed/syndicate/roles/lang/reader.rkt +++ b/racket/typed/syndicate/roles/lang/reader.rkt @@ -1,2 +1,2 @@ #lang s-exp syntax/module-reader -typed/roles \ No newline at end of file +typed/syndicate/roles diff --git a/racket/typed/sequence.rkt b/racket/typed/syndicate/sequence.rkt similarity index 100% rename from racket/typed/sequence.rkt rename to racket/typed/syndicate/sequence.rkt diff --git a/racket/typed/set.rkt b/racket/typed/syndicate/set.rkt similarity index 100% rename from racket/typed/set.rkt rename to racket/typed/syndicate/set.rkt diff --git a/racket/typed/spin-prelude.pml b/racket/typed/syndicate/spin-prelude.pml similarity index 100% rename from racket/typed/spin-prelude.pml rename to racket/typed/syndicate/spin-prelude.pml diff --git a/racket/typed/syntax-serializer.rkt b/racket/typed/syndicate/syntax-serializer.rkt similarity index 100% rename from racket/typed/syntax-serializer.rkt rename to racket/typed/syndicate/syntax-serializer.rkt diff --git a/racket/typed/test-utils.rkt b/racket/typed/syndicate/test-utils.rkt similarity index 100% rename from racket/typed/test-utils.rkt rename to racket/typed/syndicate/test-utils.rkt