Home
last modified time | relevance | path

Searched refs:unConName (Results 1 – 3 of 3) sorted by relevance

/dports/math/fricas/fricas-1.3.7/src/doc/
H A Dht.awk61 unConName = unnumber(conName)
62 addStdDefs(unConName"Xmp",conName,num)
63 printf "\\begin{page}{%sXmpPage}{%s %s}\n",unConName,num,conName
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/src/Language/Haskell/GHC/ExactPrint/
H A DTypes.hs253 data AnnConName = CN { unConName :: String } function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/brittany-0.13.1.1/src/Language/Haskell/Brittany/
H A DInternal.hs662 , ExactPrint.unConName con /= "ImportDecl"