Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Normalize path types

See original GitHub issue

It is well-known that PathP (i. p i =_A q i) r s is equivalent to [i j] A { j := s, ~ j := r, i := p, ~i := q }, is it possible to normalize the former to the latter?

/cc @imkiva @lunalunaa @wsx-ucb

Issue Analytics

State:
Created a year ago
Comments:6 (6 by maintainers)

Top GitHub Comments

1reaction

ice1000commented, Sep 21, 2022

In other words, this is similar to normalizing [i] ([j] A { j := q i, ~j := p i }) { i := s, ~i := r } to [j i] A { j := s, ~ j := r, i := p, ~i := q }

0reactions

ice1000commented, Dec 11, 2022

Implemented in #751 for another feature. We will not normalize path types because it messes up substitution.

Top Results From Across the Web

@types/normalize-path - npm

This package contains type definitions for normalize-path (https://github.com/jonschlinkert/normalize-path). Details. Files were exported from ...

Path normalize() method in Java with Examples

The normalize() method of java.nio.file.Path used to return a path from current path in which all redundant name elements are eliminated.

Normalize file path slashes to be unix-like forward ... - GitHub

Normalize slashes in a file path to be posix/unix-like forward slashes. Also condenses repeat slashes to a single slash and removes and trailing...

File path formats on Windows systems | Microsoft Learn

The first step in path normalization is identifying the type of path. Paths fall into one of a few categories: They are device...

Path | Node.js v19.3.0 Documentation

isAbsolute(path); path.join([...paths]); path.normalize(path); path.parse(path) ... Although Windows usually treats file names, including file extensions, ...