@external prop from ...

ide5kllc · November 16, 2022, 2:34am

What do these lines do, and how do I get rid of them? (They seem to be causing a ‘tags is not iterable’ error later on.)

github.com

nextjournal/lezer-clojure/blob/main/src/clojure.grammar#L1-L5


      
          @external prop prefixColl from "./props"
          @external prop coll from "./props"
          @external prop prefixEdge from "./props"
          @external prop sameEdge from "./props"
          @external prop prefixContainer from "./props"

appears to be defined here:

github.com

nextjournal/lezer-clojure/blob/main/src/props.js

import {NodeProp} from "@lezer/common"

// TODO: naïvely restored to previoius NodeProp.flag() behaviour. Can we do any better?
let flag = () => new NodeProp({deserialize: str => true})

export const coll = flag()
export const prefixColl = flag()
export const prefixEdge = flag()
export const sameEdge = flag()
export const prefixContainer = flag()

It is not obvious to me what this flag() function does.

marijn · November 16, 2022, 6:21am

They load node props from an external script, which are probably used for something if someone added them. The docs for this stuff can be found in the reference guide.