U007D

// This is a technique to emulate lifetime GATs (generic associated types) on stable rust starting
// with rustc 1.33.
//
// I haven't seen this exact technique before, but I would be surprised if no one else came up with
// it. I think this avoids most downsides of other lifetime GAT workarounds I've seen.
//
// In particular, neither implementing nor using traits with emulated lifetime GATs requires adding
// any helper items. Only defining the trait requires a single helper trait (+ a single helper impl
// for the 2nd variant) per GAT. This also makes the technique viable without any boilerplate
// reducing macros.

U007D

adapter speed   10000
adapter driver  ftdi

ftdi_device_desc "Dual RS232-HS"
ftdi_vid_pid 0x0403 0x6010
ftdi_layout_init 0x0008 0x001b
ftdi_layout_signal nSRST -oe 0x0020 -data 0x0020

set _CHIPNAME riscv
transport select jtag

U007D

use std::fmt;

#[derive(Debug, Clone, Copy)]
pub enum CardinalPoint {
    North = 0x2191,     // ↑
    NorthEast = 0x2197, // ↗
    East = 0x2192,      // →
    SouthEast = 0x2198, // ↘
    South = 0x2193,     // ↓
    SouthWest = 0x2199, // ↙

U007D

use std::fmt;

#[derive(Debug, Clone, Copy)]
pub enum CardinalPoint {
    North = 0x2191,     // ↑
    NorthEast = 0x2197, // ↗
    East = 0x2192,      // →
    SouthEast = 0x2198, // ↘
    South = 0x2193,     // ↓
    SouthWest = 0x2199, // ↙

U007D

// Project the generics out into an HList
pub trait Unapply {
    type Out: ty::Tm<ty::List<ty::Star>> + HList;
}

// Reapply the type to a fresh set of generics
pub trait Reapply<Args: ty::Tm<ty::List<ty::Star>>>
    : Unapply
{
    type Out: Unapply<Out = Args>;

U007D

#!/bin/bash

# where to store the sparse-image
WORKSPACE=~/Documents/workspace.dmg.sparseimage

create() {
    hdiutil create -type SPARSE -fs 'Case-sensitive Journaled HFS+' -size 60g -volname workspace ${WORKSPACE}
}

detach() {

U007D

#!/bin/bash

# where to store the sparse-image
WORKSPACE=~/Documents/workspace.dmg.sparseimage

create() {
    hdiutil create -type SPARSE -fs 'Case-sensitive Journaled HFS+' -size 60g -volname workspace ${WORKSPACE}
}

detach() {