marinelli

--- 10_linux_zfs	2023-07-28 15:34:32.000000000 +0200
+++ 10_linux_zfs_grub_2.12~rc1	2023-08-01 10:08:36.802829248 +0200
@@ -30,8 +30,6 @@
 export TEXTDOMAIN=grub
 export TEXTDOMAINDIR="${datarootdir}/locale"
 
-set -u
-
 ## Skip early if zfs utils isn't installed (instead of failing on first zpool list)
 if ! `which zfs >/dev/null 2>&1`; then

marinelli

Keybase proof

I hereby claim:

• I am marinelli on github.
• I am marinelli (https://keybase.io/marinelli) on keybase.
• I have a public key ASC4g7gpgk0y5Ml7SULO-IE9ldeKgH5AkSLi4r_qZFW5QAo

To claim this, I am signing this object:

marinelli

{-# LANGUAGE
    UnicodeSyntax
  , InstanceSigs
  , KindSignatures
  , RankNTypes
#-}


module MAF
  where

marinelli

{-# LANGUAGE
    UnicodeSyntax
#-}

module Main where

import Prelude hiding (iterate, reverse)
import Data.IORef

marinelli

class LinkedList:

    def __init__ (self, x) :
        self.value = x
        self.next  = None

    def get_value (self) :
        return self.value

marinelli

exception Empty
;;


type 'a linked_list =
  | None
  | Node of
      { value : 'a ref