Kayvan ≅ کیوان kayvank

plutus-tx upgrade

Upgrade trustless-sidechain ghc and plutus-tx per code review from the plutus team.

Problem

We can not upgreade to newer versions of plutus-tx. Consequently, we can not upgrade to newer cardano-node. The nature of upgrade is very similar to this snipet of code:

import PlutusLedgerApi.Common (serialiseCompiledCode)
import Data.ByteString.Short (fromShort)

	#!/usr/bin/env nix-shell
	#!nix-shell --pure -p "haskellPackages.ghcWithPackages(pkgs:[pkgs.text pkgs.megaparsec])" -i runghc

	{- \|
	A megaparsec prototype to convert markdown to html.
	Note: This is incomplete. There are a few more markdown `nodes` to convert to html
	TODO
	convert Paragrapsh, links, images
	-}

	#!/usr/bin/env nix-shell
	#!nix-shell --pure -p "haskellPackages.ghcWithPackages(pkgs:[pkgs.mtl pkgs.stm])" -i runghc
	{- \|
	state monad to lazy stream
	-}
	{-# LANGUAGE LambdaCase #-}

	import Control.Monad.State.Lazy(State, modify, runState, gets)

	{- \|
	CLI parsing and budgetting execution time
	-}
	{-# LANGUAGE LambdaCase #-}

	{-
	CLI: --simulation-name ping-pong --number-seconds 45
	-}
	import Control.Concurrent.Async (async, race)
	import Control.Concurrent (myThreadId, threadDelay)

	#!/usr/bin/env nix-shell
	#!nix-shell --pure -p "haskellPackages.ghcWithPackages(pkgs:[pkgs.text pkgs.bytestring pkgs.array pkgs.containers pkgs.mtl])" -i runghc

	-- \\|
	-- bubble sort array using ST monad
	{-# LANGUAGE LambdaCase #-}

	import Control.Monad
	import Control.Monad.ST
	import Data.Array.IArray

	#!/usr/bin/env nix-shell
	//! ```cargo
	//! [dependencies]
	//! time = "0.1.25"
	//! ```
	/*
	#!nix-shell -i rust-script -p rustc -p rust-script -p cargo
	*/

	#[derive(Debug, Clone, Copy)]

	{
	description = "A better simple script flake";
	inputs = {
	nixpkgs.url = "github:NixOS/nixpkgs";
	flake-utils.url = "github:numtide/flake-utils";
	};
	outputs = {self, nixpkgs, flake-utils}:
	flake-utils.lib.eachDefaultSystem (system:

	let

	#!nix-shell --pure -p "haskellPackages.ghcWithPackages(pkgs:[pkgs.text pkgs.bytestring pkgs.vector])" -i runghc

	{- \|
	haskell vectors
	-}

	import qualified Data.ByteString.Lazy.Char8 as C8Lazy
	import qualified Data.Vector as V
	import qualified Data.Vector.Mutable as MV
	import qualified Data.Maybe as Maybe

	#!/usr/bin/env python3
	# Broken Links on www Site
	import sys
	from bs4 import BeautifulSoup
	from urllib.parse import urlparse
	from urllib.parse import urljoin
	import requests

	searched_links = []
	broken_links = []

	#!/usr/bin/env nix-shell
	#!nix-shell --pure -p "haskellPackages.ghcWithPackages(pkgs:[pkgs.text pkgs.bytestring])" -i runghc

	{- \|
	Linked list using ST Monad
	This is based on @Evgenity work, https://www.youtube.com/watch?v=MJscn-m4KIo
	-}

	{-#language RecordWildCards #-}