diff --git a/Cargo.lock b/Cargo.lock
index 6cab3b3..e3a59ff 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1891,7 +1891,7 @@ checksum = "d231b230927b5e4ad203db57bbcbee2802f6bce620b1e4a9024a07d94e2907ec"
[[package]]
name = "play"
-version = "1.1.0"
+version = "1.1.4"
dependencies = [
"aiken-lang",
"base64 0.21.7",
diff --git a/Cargo.toml b/Cargo.toml
index 2317cf8..23ffe12 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
[package]
name = "play"
-version = "1.1.1"
+version = "1.1.4"
edition = "2021"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/build.sh b/build.sh
index 1c002b7..9b15363 100755
--- a/build.sh
+++ b/build.sh
@@ -20,7 +20,7 @@ rm -rf stdlib && mkdir -p stdlib
curl -L \
-H "Accept: application/vnd.github+json" \
-H "X-GitHub-Api-Version: 2022-11-28" \
- https://api.github.com/repos/aiken-lang/stdlib/tarball/main \
+ https://api.github.com/repos/aiken-lang/stdlib/tarball/v2.1.0 \
-o stdlib.tar
tar -xvf stdlib.tar --strip-components 1 -C stdlib
rm stdlib.tar
@@ -30,7 +30,7 @@ rm -rf fuzz && mkdir -p fuzz
curl -L \
-H "Accept: application/vnd.github+json" \
-H "X-GitHub-Api-Version: 2022-11-28" \
- https://api.github.com/repos/aiken-lang/fuzz/tarball/main \
+ https://api.github.com/repos/aiken-lang/fuzz/tarball/v2.1.0 \
-o fuzz.tar
tar -xvf fuzz.tar --strip-components 1 -C fuzz
rm fuzz.tar
diff --git a/output.css b/output.css
index f4459c4..8972b1a 100644
--- a/output.css
+++ b/output.css
@@ -1,1173 +1 @@
-/*
-! tailwindcss v3.4.10 | MIT License | https://tailwindcss.com
-*/
-
-/*
-1. Prevent padding and border from affecting element width. (https://github.com/mozdevs/cssremedy/issues/4)
-2. Allow adding a border to an element by just adding a border-width. (https://github.com/tailwindcss/tailwindcss/pull/116)
-*/
-
-*,
-::before,
-::after {
- box-sizing: border-box;
- /* 1 */
- border-width: 0;
- /* 2 */
- border-style: solid;
- /* 2 */
- border-color: #e5e7eb;
- /* 2 */
-}
-
-::before,
-::after {
- --tw-content: '';
-}
-
-/*
-1. Use a consistent sensible line-height in all browsers.
-2. Prevent adjustments of font size after orientation changes in iOS.
-3. Use a more readable tab size.
-4. Use the user's configured `sans` font-family by default.
-5. Use the user's configured `sans` font-feature-settings by default.
-6. Use the user's configured `sans` font-variation-settings by default.
-7. Disable tap highlights on iOS
-*/
-
-html,
-:host {
- line-height: 1.5;
- /* 1 */
- -webkit-text-size-adjust: 100%;
- /* 2 */
- -moz-tab-size: 4;
- /* 3 */
- -o-tab-size: 4;
- tab-size: 4;
- /* 3 */
- font-family: Source Sans Pro;
- /* 4 */
- font-feature-settings: normal;
- /* 5 */
- font-variation-settings: normal;
- /* 6 */
- -webkit-tap-highlight-color: transparent;
- /* 7 */
-}
-
-/*
-1. Remove the margin in all browsers.
-2. Inherit line-height from `html` so users can set them as a class directly on the `html` element.
-*/
-
-body {
- margin: 0;
- /* 1 */
- line-height: inherit;
- /* 2 */
-}
-
-/*
-1. Add the correct height in Firefox.
-2. Correct the inheritance of border color in Firefox. (https://bugzilla.mozilla.org/show_bug.cgi?id=190655)
-3. Ensure horizontal rules are visible by default.
-*/
-
-hr {
- height: 0;
- /* 1 */
- color: inherit;
- /* 2 */
- border-top-width: 1px;
- /* 3 */
-}
-
-/*
-Add the correct text decoration in Chrome, Edge, and Safari.
-*/
-
-abbr:where([title]) {
- -webkit-text-decoration: underline dotted;
- text-decoration: underline dotted;
-}
-
-/*
-Remove the default font size and weight for headings.
-*/
-
-h1,
-h2,
-h3,
-h4,
-h5,
-h6 {
- font-size: inherit;
- font-weight: inherit;
-}
-
-/*
-Reset links to optimize for opt-in styling instead of opt-out.
-*/
-
-a {
- color: inherit;
- text-decoration: inherit;
-}
-
-/*
-Add the correct font weight in Edge and Safari.
-*/
-
-b,
-strong {
- font-weight: bolder;
-}
-
-/*
-1. Use the user's configured `mono` font-family by default.
-2. Use the user's configured `mono` font-feature-settings by default.
-3. Use the user's configured `mono` font-variation-settings by default.
-4. Correct the odd `em` font sizing in all browsers.
-*/
-
-code,
-kbd,
-samp,
-pre {
- font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
- /* 1 */
- font-feature-settings: normal;
- /* 2 */
- font-variation-settings: normal;
- /* 3 */
- font-size: 1em;
- /* 4 */
-}
-
-/*
-Add the correct font size in all browsers.
-*/
-
-small {
- font-size: 80%;
-}
-
-/*
-Prevent `sub` and `sup` elements from affecting the line height in all browsers.
-*/
-
-sub,
-sup {
- font-size: 75%;
- line-height: 0;
- position: relative;
- vertical-align: baseline;
-}
-
-sub {
- bottom: -0.25em;
-}
-
-sup {
- top: -0.5em;
-}
-
-/*
-1. Remove text indentation from table contents in Chrome and Safari. (https://bugs.chromium.org/p/chromium/issues/detail?id=999088, https://bugs.webkit.org/show_bug.cgi?id=201297)
-2. Correct table border color inheritance in all Chrome and Safari. (https://bugs.chromium.org/p/chromium/issues/detail?id=935729, https://bugs.webkit.org/show_bug.cgi?id=195016)
-3. Remove gaps between table borders by default.
-*/
-
-table {
- text-indent: 0;
- /* 1 */
- border-color: inherit;
- /* 2 */
- border-collapse: collapse;
- /* 3 */
-}
-
-/*
-1. Change the font styles in all browsers.
-2. Remove the margin in Firefox and Safari.
-3. Remove default padding in all browsers.
-*/
-
-button,
-input,
-optgroup,
-select,
-textarea {
- font-family: inherit;
- /* 1 */
- font-feature-settings: inherit;
- /* 1 */
- font-variation-settings: inherit;
- /* 1 */
- font-size: 100%;
- /* 1 */
- font-weight: inherit;
- /* 1 */
- line-height: inherit;
- /* 1 */
- letter-spacing: inherit;
- /* 1 */
- color: inherit;
- /* 1 */
- margin: 0;
- /* 2 */
- padding: 0;
- /* 3 */
-}
-
-/*
-Remove the inheritance of text transform in Edge and Firefox.
-*/
-
-button,
-select {
- text-transform: none;
-}
-
-/*
-1. Correct the inability to style clickable types in iOS and Safari.
-2. Remove default button styles.
-*/
-
-button,
-input:where([type='button']),
-input:where([type='reset']),
-input:where([type='submit']) {
- -webkit-appearance: button;
- /* 1 */
- background-color: transparent;
- /* 2 */
- background-image: none;
- /* 2 */
-}
-
-/*
-Use the modern Firefox focus style for all focusable elements.
-*/
-
-:-moz-focusring {
- outline: auto;
-}
-
-/*
-Remove the additional `:invalid` styles in Firefox. (https://github.com/mozilla/gecko-dev/blob/2f9eacd9d3d995c937b4251a5557d95d494c9be1/layout/style/res/forms.css#L728-L737)
-*/
-
-:-moz-ui-invalid {
- box-shadow: none;
-}
-
-/*
-Add the correct vertical alignment in Chrome and Firefox.
-*/
-
-progress {
- vertical-align: baseline;
-}
-
-/*
-Correct the cursor style of increment and decrement buttons in Safari.
-*/
-
-::-webkit-inner-spin-button,
-::-webkit-outer-spin-button {
- height: auto;
-}
-
-/*
-1. Correct the odd appearance in Chrome and Safari.
-2. Correct the outline style in Safari.
-*/
-
-[type='search'] {
- -webkit-appearance: textfield;
- /* 1 */
- outline-offset: -2px;
- /* 2 */
-}
-
-/*
-Remove the inner padding in Chrome and Safari on macOS.
-*/
-
-::-webkit-search-decoration {
- -webkit-appearance: none;
-}
-
-/*
-1. Correct the inability to style clickable types in iOS and Safari.
-2. Change font properties to `inherit` in Safari.
-*/
-
-::-webkit-file-upload-button {
- -webkit-appearance: button;
- /* 1 */
- font: inherit;
- /* 2 */
-}
-
-/*
-Add the correct display in Chrome and Safari.
-*/
-
-summary {
- display: list-item;
-}
-
-/*
-Removes the default spacing and border for appropriate elements.
-*/
-
-blockquote,
-dl,
-dd,
-h1,
-h2,
-h3,
-h4,
-h5,
-h6,
-hr,
-figure,
-p,
-pre {
- margin: 0;
-}
-
-fieldset {
- margin: 0;
- padding: 0;
-}
-
-legend {
- padding: 0;
-}
-
-ol,
-ul,
-menu {
- list-style: none;
- margin: 0;
- padding: 0;
-}
-
-/*
-Reset default styling for dialogs.
-*/
-
-dialog {
- padding: 0;
-}
-
-/*
-Prevent resizing textareas horizontally by default.
-*/
-
-textarea {
- resize: vertical;
-}
-
-/*
-1. Reset the default placeholder opacity in Firefox. (https://github.com/tailwindlabs/tailwindcss/issues/3300)
-2. Set the default placeholder color to the user's configured gray 400 color.
-*/
-
-input::-moz-placeholder, textarea::-moz-placeholder {
- opacity: 1;
- /* 1 */
- color: #9ca3af;
- /* 2 */
-}
-
-input::placeholder,
-textarea::placeholder {
- opacity: 1;
- /* 1 */
- color: #9ca3af;
- /* 2 */
-}
-
-/*
-Set the default cursor for buttons.
-*/
-
-button,
-[role="button"] {
- cursor: pointer;
-}
-
-/*
-Make sure disabled buttons don't get the pointer cursor.
-*/
-
-:disabled {
- cursor: default;
-}
-
-/*
-1. Make replaced elements `display: block` by default. (https://github.com/mozdevs/cssremedy/issues/14)
-2. Add `vertical-align: middle` to align replaced elements more sensibly by default. (https://github.com/jensimmons/cssremedy/issues/14#issuecomment-634934210)
- This can trigger a poorly considered lint error in some tools but is included by design.
-*/
-
-img,
-svg,
-video,
-canvas,
-audio,
-iframe,
-embed,
-object {
- display: block;
- /* 1 */
- vertical-align: middle;
- /* 2 */
-}
-
-/*
-Constrain images and videos to the parent width and preserve their intrinsic aspect ratio. (https://github.com/mozdevs/cssremedy/issues/14)
-*/
-
-img,
-video {
- max-width: 100%;
- height: auto;
-}
-
-/* Make elements with the HTML hidden attribute stay hidden by default */
-
-[hidden] {
- display: none;
-}
-
-*, ::before, ::after {
- --tw-border-spacing-x: 0;
- --tw-border-spacing-y: 0;
- --tw-translate-x: 0;
- --tw-translate-y: 0;
- --tw-rotate: 0;
- --tw-skew-x: 0;
- --tw-skew-y: 0;
- --tw-scale-x: 1;
- --tw-scale-y: 1;
- --tw-pan-x: ;
- --tw-pan-y: ;
- --tw-pinch-zoom: ;
- --tw-scroll-snap-strictness: proximity;
- --tw-gradient-from-position: ;
- --tw-gradient-via-position: ;
- --tw-gradient-to-position: ;
- --tw-ordinal: ;
- --tw-slashed-zero: ;
- --tw-numeric-figure: ;
- --tw-numeric-spacing: ;
- --tw-numeric-fraction: ;
- --tw-ring-inset: ;
- --tw-ring-offset-width: 0px;
- --tw-ring-offset-color: #fff;
- --tw-ring-color: rgb(59 130 246 / 0.5);
- --tw-ring-offset-shadow: 0 0 #0000;
- --tw-ring-shadow: 0 0 #0000;
- --tw-shadow: 0 0 #0000;
- --tw-shadow-colored: 0 0 #0000;
- --tw-blur: ;
- --tw-brightness: ;
- --tw-contrast: ;
- --tw-grayscale: ;
- --tw-hue-rotate: ;
- --tw-invert: ;
- --tw-saturate: ;
- --tw-sepia: ;
- --tw-drop-shadow: ;
- --tw-backdrop-blur: ;
- --tw-backdrop-brightness: ;
- --tw-backdrop-contrast: ;
- --tw-backdrop-grayscale: ;
- --tw-backdrop-hue-rotate: ;
- --tw-backdrop-invert: ;
- --tw-backdrop-opacity: ;
- --tw-backdrop-saturate: ;
- --tw-backdrop-sepia: ;
- --tw-contain-size: ;
- --tw-contain-layout: ;
- --tw-contain-paint: ;
- --tw-contain-style: ;
-}
-
-::backdrop {
- --tw-border-spacing-x: 0;
- --tw-border-spacing-y: 0;
- --tw-translate-x: 0;
- --tw-translate-y: 0;
- --tw-rotate: 0;
- --tw-skew-x: 0;
- --tw-skew-y: 0;
- --tw-scale-x: 1;
- --tw-scale-y: 1;
- --tw-pan-x: ;
- --tw-pan-y: ;
- --tw-pinch-zoom: ;
- --tw-scroll-snap-strictness: proximity;
- --tw-gradient-from-position: ;
- --tw-gradient-via-position: ;
- --tw-gradient-to-position: ;
- --tw-ordinal: ;
- --tw-slashed-zero: ;
- --tw-numeric-figure: ;
- --tw-numeric-spacing: ;
- --tw-numeric-fraction: ;
- --tw-ring-inset: ;
- --tw-ring-offset-width: 0px;
- --tw-ring-offset-color: #fff;
- --tw-ring-color: rgb(59 130 246 / 0.5);
- --tw-ring-offset-shadow: 0 0 #0000;
- --tw-ring-shadow: 0 0 #0000;
- --tw-shadow: 0 0 #0000;
- --tw-shadow-colored: 0 0 #0000;
- --tw-blur: ;
- --tw-brightness: ;
- --tw-contrast: ;
- --tw-grayscale: ;
- --tw-hue-rotate: ;
- --tw-invert: ;
- --tw-saturate: ;
- --tw-sepia: ;
- --tw-drop-shadow: ;
- --tw-backdrop-blur: ;
- --tw-backdrop-brightness: ;
- --tw-backdrop-contrast: ;
- --tw-backdrop-grayscale: ;
- --tw-backdrop-hue-rotate: ;
- --tw-backdrop-invert: ;
- --tw-backdrop-opacity: ;
- --tw-backdrop-saturate: ;
- --tw-backdrop-sepia: ;
- --tw-contain-size: ;
- --tw-contain-layout: ;
- --tw-contain-paint: ;
- --tw-contain-style: ;
-}
-
-.container {
- width: 100%;
-}
-
-@media (min-width: 640px) {
- .container {
- max-width: 640px;
- }
-}
-
-@media (min-width: 768px) {
- .container {
- max-width: 768px;
- }
-}
-
-@media (min-width: 1024px) {
- .container {
- max-width: 1024px;
- }
-}
-
-@media (min-width: 1280px) {
- .container {
- max-width: 1280px;
- }
-}
-
-@media (min-width: 1536px) {
- .container {
- max-width: 1536px;
- }
-}
-
-.visible {
- visibility: visible;
-}
-
-.static {
- position: static;
-}
-
-.fixed {
- position: fixed;
-}
-
-.absolute {
- position: absolute;
-}
-
-.relative {
- position: relative;
-}
-
-.inset-0 {
- inset: 0px;
-}
-
-.inset-x-1\/4 {
- left: 25%;
- right: 25%;
-}
-
-.left-\[42px\] {
- left: 42px;
-}
-
-.top-1\/4 {
- top: 25%;
-}
-
-.top-2 {
- top: 0.5rem;
-}
-
-.top-\[2em\] {
- top: 2em;
-}
-
-.z-10 {
- z-index: 10;
-}
-
-.my-3 {
- margin-top: 0.75rem;
- margin-bottom: 0.75rem;
-}
-
-.mb-5 {
- margin-bottom: 1.25rem;
-}
-
-.mr-9 {
- margin-right: 2.25rem;
-}
-
-.mt-auto {
- margin-top: auto;
-}
-
-.ml-2 {
- margin-left: 0.5rem;
-}
-
-.ml-1 {
- margin-left: 0.25rem;
-}
-
-.flex {
- display: flex;
-}
-
-.grid {
- display: grid;
-}
-
-.hidden {
- display: none;
-}
-
-.h-3\.5 {
- height: 0.875rem;
-}
-
-.h-4 {
- height: 1rem;
-}
-
-.h-6 {
- height: 1.5rem;
-}
-
-.h-8 {
- height: 2rem;
-}
-
-.h-full {
- height: 100%;
-}
-
-.h-screen {
- height: 100vh;
-}
-
-.h-5 {
- height: 1.25rem;
-}
-
-.h-3 {
- height: 0.75rem;
-}
-
-.w-1\/2 {
- width: 50%;
-}
-
-.w-2 {
- width: 0.5rem;
-}
-
-.w-24 {
- width: 6rem;
-}
-
-.w-3\.5 {
- width: 0.875rem;
-}
-
-.w-4 {
- width: 1rem;
-}
-
-.w-6 {
- width: 1.5rem;
-}
-
-.w-8 {
- width: 2rem;
-}
-
-.w-full {
- width: 100%;
-}
-
-.w-5 {
- width: 1.25rem;
-}
-
-.w-3 {
- width: 0.75rem;
-}
-
-.grow {
- flex-grow: 1;
-}
-
-.list-disc {
- list-style-type: disc;
-}
-
-.grid-cols-2 {
- grid-template-columns: repeat(2, minmax(0, 1fr));
-}
-
-.flex-row {
- flex-direction: row;
-}
-
-.flex-col {
- flex-direction: column;
-}
-
-.items-start {
- align-items: flex-start;
-}
-
-.items-center {
- align-items: center;
-}
-
-.justify-start {
- justify-content: flex-start;
-}
-
-.justify-center {
- justify-content: center;
-}
-
-.justify-between {
- justify-content: space-between;
-}
-
-.gap-x-1 {
- -moz-column-gap: 0.25rem;
- column-gap: 0.25rem;
-}
-
-.gap-x-2 {
- -moz-column-gap: 0.5rem;
- column-gap: 0.5rem;
-}
-
-.gap-x-3 {
- -moz-column-gap: 0.75rem;
- column-gap: 0.75rem;
-}
-
-.gap-x-3\.5 {
- -moz-column-gap: 0.875rem;
- column-gap: 0.875rem;
-}
-
-.gap-x-4 {
- -moz-column-gap: 1rem;
- column-gap: 1rem;
-}
-
-.gap-x-9 {
- -moz-column-gap: 2.25rem;
- column-gap: 2.25rem;
-}
-
-.gap-y-11 {
- row-gap: 2.75rem;
-}
-
-.gap-y-2 {
- row-gap: 0.5rem;
-}
-
-.gap-y-4 {
- row-gap: 1rem;
-}
-
-.gap-y-7 {
- row-gap: 1.75rem;
-}
-
-.space-y-2 > :not([hidden]) ~ :not([hidden]) {
- --tw-space-y-reverse: 0;
- margin-top: calc(0.5rem * calc(1 - var(--tw-space-y-reverse)));
- margin-bottom: calc(0.5rem * var(--tw-space-y-reverse));
-}
-
-.justify-self-end {
- justify-self: end;
-}
-
-.overflow-hidden {
- overflow: hidden;
-}
-
-.overflow-y-auto {
- overflow-y: auto;
-}
-
-.overflow-y-scroll {
- overflow-y: scroll;
-}
-
-.rounded {
- border-radius: 0.25rem;
-}
-
-.rounded-lg {
- border-radius: 0.5rem;
-}
-
-.rounded-l-md {
- border-top-left-radius: 0.375rem;
- border-bottom-left-radius: 0.375rem;
-}
-
-.rounded-r-md {
- border-top-right-radius: 0.375rem;
- border-bottom-right-radius: 0.375rem;
-}
-
-.border-b {
- border-bottom-width: 1px;
-}
-
-.border-r {
- border-right-width: 1px;
-}
-
-.border-solid {
- border-style: solid;
-}
-
-.border-gray-500 {
- --tw-border-opacity: 1;
- border-color: rgb(107 114 128 / var(--tw-border-opacity));
-}
-
-.bg-black {
- --tw-bg-opacity: 1;
- background-color: rgb(0 0 0 / var(--tw-bg-opacity));
-}
-
-.bg-neutral-600 {
- --tw-bg-opacity: 1;
- background-color: rgb(82 82 82 / var(--tw-bg-opacity));
-}
-
-.bg-neutral-800 {
- --tw-bg-opacity: 1;
- background-color: rgb(38 38 38 / var(--tw-bg-opacity));
-}
-
-.p-2 {
- padding: 0.5rem;
-}
-
-.p-3 {
- padding: 0.75rem;
-}
-
-.p-4 {
- padding: 1rem;
-}
-
-.px-2 {
- padding-left: 0.5rem;
- padding-right: 0.5rem;
-}
-
-.px-3 {
- padding-left: 0.75rem;
- padding-right: 0.75rem;
-}
-
-.px-4 {
- padding-left: 1rem;
- padding-right: 1rem;
-}
-
-.px-5 {
- padding-left: 1.25rem;
- padding-right: 1.25rem;
-}
-
-.py-1 {
- padding-top: 0.25rem;
- padding-bottom: 0.25rem;
-}
-
-.py-1\.5 {
- padding-top: 0.375rem;
- padding-bottom: 0.375rem;
-}
-
-.py-3 {
- padding-top: 0.75rem;
- padding-bottom: 0.75rem;
-}
-
-.pb-2 {
- padding-bottom: 0.5rem;
-}
-
-.pb-4 {
- padding-bottom: 1rem;
-}
-
-.pl-1 {
- padding-left: 0.25rem;
-}
-
-.pl-3 {
- padding-left: 0.75rem;
-}
-
-.pr-2 {
- padding-right: 0.5rem;
-}
-
-.pt-2 {
- padding-top: 0.5rem;
-}
-
-.pt-4 {
- padding-top: 1rem;
-}
-
-.text-left {
- text-align: left;
-}
-
-.font-mono {
- font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
-}
-
-.text-lg {
- font-size: 1.125rem;
- line-height: 1.75rem;
-}
-
-.text-sm {
- font-size: 0.875rem;
- line-height: 1.25rem;
-}
-
-.text-xs {
- font-size: 0.75rem;
- line-height: 1rem;
-}
-
-.font-normal {
- font-weight: 400;
-}
-
-.font-semibold {
- font-weight: 600;
-}
-
-.leading-5 {
- line-height: 1.25rem;
-}
-
-.text-gray-300 {
- --tw-text-opacity: 1;
- color: rgb(209 213 219 / var(--tw-text-opacity));
-}
-
-.text-purple-200 {
- --tw-text-opacity: 1;
- color: rgb(233 213 255 / var(--tw-text-opacity));
-}
-
-.text-white {
- --tw-text-opacity: 1;
- color: rgb(255 255 255 / var(--tw-text-opacity));
-}
-
-.text-violet-600 {
- --tw-text-opacity: 1;
- color: rgb(124 58 237 / var(--tw-text-opacity));
-}
-
-.text-violet-400 {
- --tw-text-opacity: 1;
- color: rgb(167 139 250 / var(--tw-text-opacity));
-}
-
-.text-violet-300 {
- --tw-text-opacity: 1;
- color: rgb(196 181 253 / var(--tw-text-opacity));
-}
-
-.text-violet-200 {
- --tw-text-opacity: 1;
- color: rgb(221 214 254 / var(--tw-text-opacity));
-}
-
-.underline {
- text-decoration-line: underline;
-}
-
-.opacity-30 {
- opacity: 0.3;
-}
-
-.drop-shadow-md {
- --tw-drop-shadow: drop-shadow(0 4px 3px rgb(0 0 0 / 0.07)) drop-shadow(0 2px 2px rgb(0 0 0 / 0.06));
- filter: var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow);
-}
-
-.filter {
- filter: var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow);
-}
-
-.bg-gray-40 {
- background-color: rgb(77, 77, 77);
-}
-
-.bg-gray-80 {
- background-color: rgb(46, 46, 46);
-}
-
-.bg-gray-90 {
- background-color: rgb(20, 20, 20);
-}
-
-.bg-blue-0 {
- background-color: rgb(65, 153, 235);
-}
-
-.bg-pink {
- background-color: rgb(247, 48, 144);
-}
-
-.border-gray-40 {
- border-color: rgb(77, 77, 77);
-}
-
-.text-gray-0 {
- color: rgb(128, 128, 128);
-}
-
-.text-blue-40 {
- color: rgb(131, 190, 246);
-}
-
-.text-gray-40 {
- color: rgb(179, 179, 179);
-}
-
-.text-gray-70 {
- color: rgb(217, 217, 217);
-}
-
-.text-orange-0 {
- color: rgb(248, 174, 97);
-}
-
-.text-pink {
- color: rgb(247, 48, 144);
-}
-
-.bg-share-button {
- background: linear-gradient(131.15deg, #F7CCFE -8.51%, #660FF7 82.79%);
- box-shadow: 0px 0px 4px #660FF7;
-}
-
-.output-item {
- box-shadow: 2px 2px 4px rgba(0, 0, 0, 0.25);
-}
-
-.bg-warning-gradient {
- background: linear-gradient(180deg, rgba(248, 174, 97, 1) 0%, rgba(248, 174, 97, 0) 100%);
-}
-
-.bg-error-gradient {
- background: linear-gradient(180deg, rgba(247, 48, 144, 1) 0%, rgba(247, 48, 144, 0) 100%);
-}
-
-pre.test-trace {
- --color-trace: rgb(247, 48, 144);
-}
-
-pre.test-trace.success {
- --color-trace: rgb(131, 190, 246);
-}
-
-pre.test-trace::before {
- content: 'Trace';
- font-variant: small-caps;
- color: var(--color-trace);
- font-size: 0.9em;
- padding-right: 0.65rem;
- font-weight: bold;
-}
-
-.hover\:text-violet-400:hover {
- --tw-text-opacity: 1;
- color: rgb(167 139 250 / var(--tw-text-opacity));
-}
-
-.hover\:text-violet-300:hover {
- --tw-text-opacity: 1;
- color: rgb(196 181 253 / var(--tw-text-opacity));
-}
-
-.hover\:underline:hover {
- text-decoration-line: underline;
-}
-
-@media (min-width: 768px) {
- .md\:flex {
- display: flex;
- }
-
- .md\:hidden {
- display: none;
- }
-}
+*,:after,:before{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }/*! tailwindcss v3.4.13 | MIT License | https://tailwindcss.com*/*,:after,:before{box-sizing:border-box;border:0 solid #e5e7eb}:after,:before{--tw-content:""}:host,html{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;-o-tab-size:4;tab-size:4;font-family:Source Sans Pro;font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{margin:0;line-height:inherit}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,pre,samp{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dd,dl,figure,h1,h2,h3,h4,h5,h6,hr,p,pre{margin:0}fieldset{margin:0}fieldset,legend{padding:0}menu,ol,ul{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::-moz-placeholder,textarea::-moz-placeholder{opacity:1;color:#9ca3af}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}[role=button],button{cursor:pointer}:disabled{cursor:default}audio,canvas,embed,iframe,img,object,svg,video{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]{display:none}.container{width:100%}@media (min-width:640px){.container{max-width:640px}}@media (min-width:768px){.container{max-width:768px}}@media (min-width:1024px){.container{max-width:1024px}}@media (min-width:1280px){.container{max-width:1280px}}@media (min-width:1536px){.container{max-width:1536px}}.visible{visibility:visible}.static{position:static}.fixed{position:fixed}.absolute{position:absolute}.relative{position:relative}.inset-0{inset:0}.inset-x-1\/4{left:25%;right:25%}.left-\[42px\]{left:42px}.top-1\/4{top:25%}.top-\[2em\]{top:2em}.z-10{z-index:10}.my-3{margin-top:.75rem;margin-bottom:.75rem}.mb-5{margin-bottom:1.25rem}.ml-1{margin-left:.25rem}.mr-9{margin-right:2.25rem}.mt-auto{margin-top:auto}.flex{display:flex}.grid{display:grid}.hidden{display:none}.h-3{height:.75rem}.h-3\.5{height:.875rem}.h-4{height:1rem}.h-6{height:1.5rem}.h-8{height:2rem}.h-full{height:100%}.h-screen{height:100vh}.w-1\/2{width:50%}.w-2{width:.5rem}.w-24{width:6rem}.w-3{width:.75rem}.w-3\.5{width:.875rem}.w-4{width:1rem}.w-6{width:1.5rem}.w-8{width:2rem}.w-full{width:100%}.grow{flex-grow:1}.list-disc{list-style-type:disc}.grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}.flex-row{flex-direction:row}.flex-col{flex-direction:column}.items-start{align-items:flex-start}.items-center{align-items:center}.justify-start{justify-content:flex-start}.justify-center{justify-content:center}.justify-between{justify-content:space-between}.gap-x-1{-moz-column-gap:.25rem;column-gap:.25rem}.gap-x-2{-moz-column-gap:.5rem;column-gap:.5rem}.gap-x-3{-moz-column-gap:.75rem;column-gap:.75rem}.gap-x-3\.5{-moz-column-gap:.875rem;column-gap:.875rem}.gap-x-4{-moz-column-gap:1rem;column-gap:1rem}.gap-x-9{-moz-column-gap:2.25rem;column-gap:2.25rem}.gap-y-11{row-gap:2.75rem}.gap-y-2{row-gap:.5rem}.gap-y-4{row-gap:1rem}.gap-y-7{row-gap:1.75rem}.space-y-2>:not([hidden])~:not([hidden]){--tw-space-y-reverse:0;margin-top:calc(.5rem*(1 - var(--tw-space-y-reverse)));margin-bottom:calc(.5rem*var(--tw-space-y-reverse))}.justify-self-end{justify-self:end}.overflow-hidden{overflow:hidden}.overflow-y-auto{overflow-y:auto}.overflow-y-scroll{overflow-y:scroll}.rounded{border-radius:.25rem}.rounded-lg{border-radius:.5rem}.rounded-l-md{border-top-left-radius:.375rem;border-bottom-left-radius:.375rem}.rounded-r-md{border-top-right-radius:.375rem;border-bottom-right-radius:.375rem}.border-b{border-bottom-width:1px}.border-r{border-right-width:1px}.border-solid{border-style:solid}.border-gray-500{--tw-border-opacity:1;border-color:rgb(107 114 128/var(--tw-border-opacity))}.bg-black{--tw-bg-opacity:1;background-color:rgb(0 0 0/var(--tw-bg-opacity))}.bg-neutral-600{--tw-bg-opacity:1;background-color:rgb(82 82 82/var(--tw-bg-opacity))}.bg-neutral-800{--tw-bg-opacity:1;background-color:rgb(38 38 38/var(--tw-bg-opacity))}.p-2{padding:.5rem}.p-3{padding:.75rem}.p-4{padding:1rem}.px-2{padding-left:.5rem;padding-right:.5rem}.px-3{padding-left:.75rem;padding-right:.75rem}.px-4{padding-left:1rem;padding-right:1rem}.px-5{padding-left:1.25rem;padding-right:1.25rem}.py-1{padding-top:.25rem;padding-bottom:.25rem}.py-1\.5{padding-top:.375rem;padding-bottom:.375rem}.py-3{padding-top:.75rem;padding-bottom:.75rem}.pb-2{padding-bottom:.5rem}.pb-4{padding-bottom:1rem}.pl-1{padding-left:.25rem}.pl-3{padding-left:.75rem}.pr-2{padding-right:.5rem}.pt-2{padding-top:.5rem}.pt-4{padding-top:1rem}.text-left{text-align:left}.font-mono{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace}.text-lg{font-size:1.125rem;line-height:1.75rem}.text-sm{font-size:.875rem;line-height:1.25rem}.text-xs{font-size:.75rem;line-height:1rem}.font-normal{font-weight:400}.font-semibold{font-weight:600}.leading-5{line-height:1.25rem}.text-gray-300{--tw-text-opacity:1;color:rgb(209 213 219/var(--tw-text-opacity))}.text-purple-200{--tw-text-opacity:1;color:rgb(233 213 255/var(--tw-text-opacity))}.text-violet-200{--tw-text-opacity:1;color:rgb(221 214 254/var(--tw-text-opacity))}.text-white{--tw-text-opacity:1;color:rgb(255 255 255/var(--tw-text-opacity))}.underline{text-decoration-line:underline}.opacity-30{opacity:.3}.drop-shadow-md{--tw-drop-shadow:drop-shadow(0 4px 3px rgba(0,0,0,.07)) drop-shadow(0 2px 2px rgba(0,0,0,.06))}.drop-shadow-md,.filter{filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}.bg-gray-40{background-color:#4d4d4d}.bg-gray-80{background-color:#2e2e2e}.bg-gray-90{background-color:#141414}.bg-blue-0{background-color:#4199eb}.bg-pink{background-color:#f73090}.border-gray-40{border-color:#4d4d4d}.text-gray-0{color:grey}.text-blue-40{color:#83bef6}.text-gray-40{color:#b3b3b3}.text-gray-70{color:#d9d9d9}.text-orange-0{color:#f8ae61}.text-pink{color:#f73090}.bg-share-button{background:linear-gradient(131.15deg,#f7ccfe -8.51%,#660ff7 82.79%);box-shadow:0 0 4px #660ff7}.output-item{box-shadow:2px 2px 4px rgba(0,0,0,.25)}.bg-warning-gradient{background:linear-gradient(180deg,#f8ae61,rgba(248,174,97,0))}.bg-error-gradient{background:linear-gradient(180deg,#f73090,rgba(247,48,144,0))}pre.test-trace{--color-trace:#f73090}pre.test-trace.success{--color-trace:#83bef6}pre.test-trace:before{content:"Trace";font-variant:small-caps;color:var(--color-trace);font-size:.9em;padding-right:.65rem;font-weight:700}.hover\:text-violet-300:hover{--tw-text-opacity:1;color:rgb(196 181 253/var(--tw-text-opacity))}.hover\:underline:hover{text-decoration-line:underline}@media (min-width:768px){.md\:flex{display:flex}.md\:hidden{display:none}}
\ No newline at end of file
diff --git a/src/components/output.rs b/src/components/output.rs
index 505e51b..045b732 100644
--- a/src/components/output.rs
+++ b/src/components/output.rs
@@ -1,6 +1,7 @@
use crate::{
compiler_error::CompilerError,
project::{TestResult, TestResultMeta},
+ vendor::{fuzz, stdlib},
};
use aiken_lang::tipo::error::Warning;
use leptos::*;
@@ -248,13 +249,13 @@ pub fn Output(
- "aiken-lang/stdlib (v2.0.0)"
+ "aiken-lang/stdlib ("{stdlib::VERSION}")"
- "aiken-lang/fuzz (v2.0.0)"
+ "aiken-lang/fuzz ("{fuzz::VERSION}")"
diff --git a/src/vendor/fuzz.rs b/src/vendor/fuzz.rs
index 634f88b..a9e7e03 100644
--- a/src/vendor/fuzz.rs
+++ b/src/vendor/fuzz.rs
@@ -1,6 +1,8 @@
use crate::hashmap;
use std::collections::HashMap;
+pub const VERSION: &str = "v2.1.0";
+
pub const MODULES_SEQUENCE: [&str; 1] = ["aiken/fuzz"];
pub fn modules() -> HashMap<&'static str, &'static str> {
diff --git a/src/vendor/stdlib.rs b/src/vendor/stdlib.rs
index 0b9c7ee..529c16f 100644
--- a/src/vendor/stdlib.rs
+++ b/src/vendor/stdlib.rs
@@ -1,12 +1,13 @@
use crate::hashmap;
use std::collections::HashMap;
+pub const VERSION: &str = "v2.1.0";
+
/// The type-checking sequence in which we must compile the modules.
/// In a 'real' project, this is done using a dependency graph which
/// code lies under aiken-project -- not importable here.
-pub const MODULES_SEQUENCE: [&str; 20] = [
+pub const MODULES_SEQUENCE: [&str; 27] = [
"aiken/crypto",
- "cardano/address",
"aiken/math",
"aiken/option",
"aiken/primitive/bytearray",
@@ -15,8 +16,11 @@ pub const MODULES_SEQUENCE: [&str; 20] = [
"aiken/collection/dict",
"aiken/collection/list",
"aiken/math/rational",
+ "cardano/address",
+ "cardano/address/credential",
"cardano/assets",
"cardano/governance/protocol_parameters",
+ "cardano/governance/voter",
"aiken/cbor",
"cardano/certificate",
"aiken/primitive/string",
@@ -24,7 +28,12 @@ pub const MODULES_SEQUENCE: [&str; 20] = [
"aiken/collection/pairs",
"aiken/interval",
"cardano/transaction",
+ "cardano/transaction/output_reference",
"cardano/script_context",
+ "cardano/transaction/script_purpose",
+ "cardano/crypto/bls12_381/scalar",
+ "cardano/crypto/bls12_381/g1",
+ "cardano/crypto/bls12_381/g2",
];
pub fn modules() -> HashMap<&'static str, &'static str> {
@@ -35,6 +44,9 @@ pub fn modules() -> HashMap<&'static str, &'static str> {
"aiken/collection/list" => include_str!("../../stdlib/lib/aiken/collection/list.ak"),
"aiken/collection/pairs" => include_str!("../../stdlib/lib/aiken/collection/pairs.ak"),
"aiken/crypto" => include_str!("../../stdlib/lib/aiken/crypto.ak"),
+ "aiken/crypto/bls12_381/g1" => include_str!("../../stdlib/lib/aiken/crypto/bls12_381/g1.ak"),
+ "aiken/crypto/bls12_381/g2" => include_str!("../../stdlib/lib/aiken/crypto/bls12_381/g2.ak"),
+ "aiken/crypto/bls12_381/scalar" => include_str!("../../stdlib/lib/aiken/crypto/bls12_381/scalar.ak"),
"aiken/interval" => include_str!("../../stdlib/lib/aiken/interval.ak"),
"aiken/math" => include_str!("../../stdlib/lib/aiken/math.ak"),
"aiken/math/rational" => include_str!("../../stdlib/lib/aiken/math/rational.ak"),
@@ -43,11 +55,15 @@ pub fn modules() -> HashMap<&'static str, &'static str> {
"aiken/primitive/int" => include_str!("../../stdlib/lib/aiken/primitive/int.ak"),
"aiken/primitive/string" => include_str!("../../stdlib/lib/aiken/primitive/string.ak"),
"cardano/address" => include_str!("../../stdlib/lib/cardano/address.ak"),
+ "cardano/address/credential" => include_str!("../../stdlib/lib/cardano/address.ak"),
"cardano/assets" => include_str!("../../stdlib/lib/cardano/assets.ak"),
"cardano/certificate" => include_str!("../../stdlib/lib/cardano/certificate.ak"),
"cardano/governance" => include_str!("../../stdlib/lib/cardano/governance.ak"),
"cardano/governance/protocol_parameters" => include_str!("../../stdlib/lib/cardano/governance/protocol_parameters.ak"),
+ "cardano/governance/voter" => include_str!("../../stdlib/lib/cardano/governance/voter.ak"),
"cardano/script_context" => include_str!("../../stdlib/lib/cardano/script_context.ak"),
"cardano/transaction" => include_str!("../../stdlib/lib/cardano/transaction.ak"),
+ "cardano/transaction/output_reference" => include_str!("../../stdlib/lib/cardano/transaction/output_reference.ak"),
+ "cardano/transaction/script_purpose" => include_str!("../../stdlib/lib/cardano/transaction/script_purpose.ak"),
}
}