Verified Commit 90172770 authored by Camil Staps's avatar Camil Staps 🚀

Remove specialised context rule

parent b5ae9496
......@@ -529,7 +529,6 @@ function highlightClean(func, callback, start) {
[/(\.\.)/, ['punctuation']]
],
typeDefConsArgs: [
[/(\n(?=\S))/, ['whitespace'], 'pop:2'],
[/(infix[lr]?)(\s*)(\d*)(\s+)/,
['keyword', 'whitespace', 'keyword', 'whitespace']],
[/([a-z][\w`]*)/, ['typevar']],
......
-----
/**
* A single Cloogle result.
*/
:: Result
= FunctionResult FunctionResult //* A normal function, macro, generic, class member, constructor or record field
| TypeResult TypeResult //* A type definition
| ClassResult ClassResult //* A class definition
| ModuleResult ModuleResult //* A module
| SyntaxResult SyntaxResult //* A Clean language syntax element
| ABCInstructionResult ABCInstructionResult //* An ABC machine instruction
| ProblemResult ProblemResult //* A common problem (see https://github.com/clean-cloogle/common-problems)
/**
* Basic data that is included in any Cloogle result.
*/
:: BasicResult =
{ library :: String //* The library the entry was found in
, filename :: String //* The basename of the definition module
, modul :: String //* The full (hierarchical) module name
, dcl_line :: Maybe Int //* The line in the definition module of this entry
, icl_line :: Maybe Int //* The line in the implementation module of this entry
, name :: String //* The name of the entry
, distance :: Int //* A distancy measure, lower is more relevant
, builtin :: Maybe Bool //* Whether this is a builtin function
, documentation :: Maybe String //* The CleanDoc description for this result
, langrep_documentation :: Maybe [CleanLangReportLocation] //* Documentation in the Clean language report
}
-----
whitespace
comment /**\n * A single Cloogle result.\n */
whitespace \n
punctuation ::
whitespace
type Result
whitespace \n
punctuation =
whitespace
constructor FunctionResult
whitespace
type FunctionResult
whitespace
comment //* A normal function, macro, generic, class member, constructor or record field
whitespace \n
punctuation |
whitespace
constructor TypeResult
whitespace
type TypeResult
whitespace
comment //* A type definition
whitespace \n
punctuation |
whitespace
constructor ClassResult
whitespace
type ClassResult
whitespace
comment //* A class definition
whitespace \n
punctuation |
whitespace
constructor ModuleResult
whitespace
type ModuleResult
whitespace
comment //* A module
whitespace \n
punctuation |
whitespace
constructor SyntaxResult
whitespace
type SyntaxResult
whitespace
comment //* A Clean language syntax element
whitespace \n
punctuation |
whitespace
constructor ABCInstructionResult
whitespace
type ABCInstructionResult
whitespace
comment //* An ABC machine instruction
whitespace \n
punctuation |
whitespace
constructor ProblemResult
whitespace
type ProblemResult
whitespace
comment //* A common problem (see https://github.com/clean-cloogle/common-problems)
whitespace \n\n
comment /**\n * Basic data that is included in any Cloogle result.\n */
whitespace \n
punctuation ::
whitespace
type BasicResult
whitespace
punctuation =
whitespace \n
punctuation {
whitespace
field library
whitespace
punctuation ::
whitespace
type String
whitespace
comment //* The library the entry was found in
whitespace \n
punctuation ,
whitespace
field filename
whitespace
punctuation ::
whitespace
type String
whitespace
comment //* The basename of the definition module
whitespace \n
punctuation ,
whitespace
field modul
whitespace
punctuation ::
whitespace
type String
whitespace
comment //* The full (hierarchical) module name
whitespace \n
punctuation ,
whitespace
field dcl_line
whitespace
punctuation ::
whitespace
type Maybe
whitespace
type Int
whitespace
comment //* The line in the definition module of this entry
whitespace \n
punctuation ,
whitespace
field icl_line
whitespace
punctuation ::
whitespace
type Maybe
whitespace
type Int
whitespace
comment //* The line in the implementation module of this entry
whitespace \n
punctuation ,
whitespace
field name
whitespace
punctuation ::
whitespace
type String
whitespace
comment //* The name of the entry
whitespace \n
punctuation ,
whitespace
field distance
whitespace
punctuation ::
whitespace
type Int
whitespace
comment //* A distancy measure, lower is more relevant
whitespace \n
punctuation ,
whitespace
field builtin
whitespace
punctuation ::
whitespace
type Maybe
whitespace
type Bool
whitespace
comment //* Whether this is a builtin function
whitespace \n
punctuation ,
whitespace
field documentation
whitespace
punctuation ::
whitespace
type Maybe
whitespace
type String
whitespace
comment //* The CleanDoc description for this result
whitespace \n
punctuation ,
whitespace
field langrep_documentation
whitespace
punctuation ::
whitespace
type Maybe
whitespace
punctuation [
type CleanLangReportLocation
punctuation ]
whitespace
comment //* Documentation in the Clean language report
whitespace \n
punctuation }
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment