Website

Check-in [623d53c5f6]
Login
Overview
Comment:Fix issues with stripped whitespace in production builds. Also remember to upload svg.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 623d53c5f620f9e3ab9020f980c2273fcd1e309a7e840db60b5bfcd1a7ec97dd
User & Date: robin.hansen on 2020-11-16 05:41:02
Other Links: manifest | tags
Context
2020-11-19
06:03
Use snapshot of Play compiler for playground. check-in: 10ba5c7b4d user: robin.hansen tags: trunk
2020-11-16
05:41
Fix issues with stripped whitespace in production builds. Also remember to upload svg. check-in: 623d53c5f6 user: robin.hansen tags: trunk
05:17
Fill in selling points. check-in: a2219f0d80 user: robin.hansen tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Modified deploy.sh from [747abd8742] to [141df7d2eb].

1
2
3
4


5
6
7
8
9
10
11
..
15
16
17
18
19
20
21
22



23
#!/usr/bin/env bash
set -e

rm -r dist || true


npm ci
npm run build

# Upload to s3
pushd dist

aws s3 cp ./index.html s3://play-website \
................................................................................
    --cache-control immutable

aws s3 cp ./playground.html s3://play-website \
    --cache-control must-revalidate

aws s3 cp ./*.js s3://play-website \
    --cache-control immutable




popd




>
>







 








>
>
>

1
2
3
4
5
6
7
8
9
10
11
12
13
..
17
18
19
20
21
22
23
24
25
26
27
28
#!/usr/bin/env bash
set -e

rm -r dist || true
rm -r .cache || true

npm ci
npm run build

# Upload to s3
pushd dist

aws s3 cp ./index.html s3://play-website \
................................................................................
    --cache-control immutable

aws s3 cp ./playground.html s3://play-website \
    --cache-control must-revalidate

aws s3 cp ./*.js s3://play-website \
    --cache-control immutable

aws s3 cp ./*.svg s3://play-website \
    --cache-control immutable

popd

Modified src/index.css from [594a3b9c1e] to [8de30d97c0].

102
103
104
105
106
107
108

109
110
111
112
113
114
115

#selling-points .content {
    display: flex;
    justify-content: space-between;
}

.shell {

    padding: 8px;
    background-color: rgb(0, 0, 0);
    color: rgb(255, 255, 255);
    white-space: pre-line;
    font-family: monospace;
}








>







102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

#selling-points .content {
    display: flex;
    justify-content: space-between;
}

.shell {
    margin: 0;
    padding: 8px;
    background-color: rgb(0, 0, 0);
    color: rgb(255, 255, 255);
    white-space: pre-line;
    font-family: monospace;
}

Modified src/index.html from [dcf853ddd2] to [b952386a4a].

39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
        <section id="selling-points">
            <article>
                <h3>Minimal, yet flexible, syntax</h3>

                <div class="content">
                    <p>The syntax of Play is based on Forth, resulting in a syntax which could fit on a postcard while still being flexible enough for anything you need. All functions (what we call 'words') are implicitly composable, and so Play programs are a concatination of words just like books.</p>

                    <code class="shell">
                        def: main
                        : 1 inc
                          2 =

                        def: inc
                        : 1 +

                        def: dec
                        : 1 -
                    </code>
                </div>
            </article>

            <article>
                <h3>Easy to reason about</h3>

                <div class="content">
                    <p>Play uses a static type system with type inference, which lets you rule out bugs while it staying out of your way. In addition, all data structures are immutable, greatly reducing the number of states your program can be in and which you must account for when writing code.</p>

                    <div class="shell">
                        Compilation failed:

                        2 | def: main
                        3 | type: -- Int
                        4 | entry: true
                        5 | : 1 2

                        The type of 'main' is specified to be  -- Int.
                        However, it seems that the actual type is:  -- Int Int
                    </div>
                </div>
            </article>

            <article>
                <h3>Portable</h3>

                <div class="content">







|









|









|









|







39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
        <section id="selling-points">
            <article>
                <h3>Minimal, yet flexible, syntax</h3>

                <div class="content">
                    <p>The syntax of Play is based on Forth, resulting in a syntax which could fit on a postcard while still being flexible enough for anything you need. All functions (what we call 'words') are implicitly composable, and so Play programs are a concatination of words just like books.</p>

                    <pre class="shell">
                        def: main
                        : 1 inc
                          2 =

                        def: inc
                        : 1 +

                        def: dec
                        : 1 -
                    </pre>
                </div>
            </article>

            <article>
                <h3>Easy to reason about</h3>

                <div class="content">
                    <p>Play uses a static type system with type inference, which lets you rule out bugs while it staying out of your way. In addition, all data structures are immutable, greatly reducing the number of states your program can be in and which you must account for when writing code.</p>

                    <pre class="shell">
                        Compilation failed:

                        2 | def: main
                        3 | type: -- Int
                        4 | entry: true
                        5 | : 1 2

                        The type of 'main' is specified to be  -- Int.
                        However, it seems that the actual type is:  -- Int Int
                    </pre>
                </div>
            </article>

            <article>
                <h3>Portable</h3>

                <div class="content">