Olle Härstedt olleharstedt

## pr.md

      
              1 file
            
          
              7 forks
            
          
              3 comments
            
          
              20 stars
            
          
                karlhorky
                / pr.md
            
            
              Last active
              November 2, 2023 13:44
                — forked from piscisaureus/pr.md
            
              
                Fetch all GitHub pull requests to local tracking branches
              
          
    NOTE
You may not need local branches for all pull requests in a repo.
To fetch only the ref of a single pull request that you need, use this:
git fetch origin pull/7324/head:pr-7324
git checkout pr-7324
# ...

  
## nel.ml
type z
type 'a s

(* Sadly enough, without kind restrictions, this still allows nonsense types like *)
type nonsense = int s
(* GHC 7.6 supports this (lifting types to kinds & kind constraints) ;-) *)

type (_, _) llist =
  | Nil : (z, 'a) llist
  | Cons : ('a * ('l, 'a) llist) -> ('l s, 'a) llist
	type z
	type 'a s

	(* Sadly enough, without kind restrictions, this still allows nonsense types like *)
	type nonsense = int s
	(* GHC 7.6 supports this (lifting types to kinds & kind constraints) ;-) *)

	type (_, _) llist =
	\| Nil : (z, 'a) llist
	\| Cons : ('a * ('l, 'a) llist) -> ('l s, 'a) llist