jade/lix
0
0
Fork 0
forked from lix-project/lix
Code Pull requests Activity
lix/src/libexpr/nix.sdf

211 lines
5.3 KiB
Plaintext
Raw Normal View History

* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
definition
module Main
imports Fix
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Top level syntax.
module Fix
imports Fix-Exprs Fix-Layout
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Expressions.
module Fix-Exprs
imports Fix-Lexicals URI
exports
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
sorts Expr Formal Bind Binds BindSemi ExprList
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
context-free syntax
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
Id -> Expr {cons("Var")}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
Int -> Expr {cons("Int")}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
Str -> Expr {cons("Str")}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
Uri -> Expr {cons("Uri")}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
Path -> Expr {cons("Path")}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
"(" Expr ")" -> Expr {bracket}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
Expr Expr -> Expr {cons("Call"), left}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
"{" {Formal ","}* "}" ":" Expr -> Expr {cons("Function")}
* Default function arguments.
2003-11-05 15:34:12 +00:00
Id -> Formal {cons("NoDefFormal")}
Id "?" Expr -> Formal {cons("DefFormal")}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
"assert" Expr ";" Expr -> Expr {cons("Assert")}
* Assertions. * Logical operators (!, &&, ||, ->).
2003-11-05 16:27:40 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
"rec" "{" Binds "}" -> Expr {cons("Rec")}
"let" "{" Binds "}" -> Expr {cons("LetRec")}
"{" Binds "}" -> Expr {cons("Attrs")}
* Working evaluator. * Mutually recursive attribute sets. * Print evaluator efficiency statistics.
2003-10-31 17:09:31 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
Id "=" Expr -> Bind {cons("Bind")}
{Bind ";"}* -> Binds
Bind ";" -> BindSemi
BindSemi* -> Binds
* Let syntax.
2003-11-01 19:10:41 +00:00
* Shorter list syntax ([a b c] instead of [a, b, c]).
2003-11-03 11:59:35 +00:00
"[" ExprList "]" -> Expr {cons("List")}
"" -> ExprList {cons("ExprNil")}
Expr ExprList -> ExprList {cons("ExprCons")}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
Expr "." Id -> Expr {cons("Select")}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
"if" Expr "then" Expr "else" Expr -> Expr {cons("If")}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Assertions. * Logical operators (!, &&, ||, ->).
2003-11-05 16:27:40 +00:00
Expr "==" Expr -> Expr {cons("OpEq"), non-assoc}
Expr "!=" Expr -> Expr {cons("OpNEq"), non-assoc}
"!" Expr -> Expr {cons("OpNot")}
Expr "&&" Expr -> Expr {cons("OpAnd"), right}
Expr "||" Expr -> Expr {cons("OpOr"), right}
Expr "->" Expr -> Expr {cons("OpImpl"), right}
* Attribute selection operator.
2003-10-30 16:10:20 +00:00
* Grammar changes. Attributes in attribute sets are now delimited with semicolons instead of comma's. Final semicolon in the set is optional.
2003-11-03 10:21:30 +00:00
Bool -> Expr {cons("Bool")}
* Boolean constants.
2003-11-02 17:36:15 +00:00
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
context-free priorities
* Attribute selection operator.
2003-10-30 16:10:20 +00:00
Expr "." Id -> Expr
* Shorter list syntax ([a b c] instead of [a, b, c]).
2003-11-03 11:59:35 +00:00
> Expr ExprList -> ExprList
* Attribute selection operator.
2003-10-30 16:10:20 +00:00
> Expr Expr -> Expr
* Assertions. * Logical operators (!, &&, ||, ->).
2003-11-05 16:27:40 +00:00
> "!" Expr -> Expr
> Expr "==" Expr -> Expr
> Expr "!=" Expr -> Expr
> Expr "&&" Expr -> Expr
> Expr "||" Expr -> Expr
> Expr "->" Expr -> Expr
> "assert" Expr ";" Expr -> Expr
* Default function arguments.
2003-11-05 15:34:12 +00:00
> "{" {Formal ","}* "}" ":" Expr -> Expr
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Lexical syntax.
module Fix-Lexicals
exports
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
sorts Id Int Str Path PathComp Bool
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
lexical syntax
[a-zA-Z\_][a-zA-Z0-9\_\']* -> Id
* Working evaluator. * Mutually recursive attribute sets. * Print evaluator efficiency statistics.
2003-10-31 17:09:31 +00:00
"rec" -> Id {reject}
* Do not filter when parsing. This is much faster. * Add some rejections and lexical restrictions to the grammar to make this work.
2003-11-10 11:00:38 +00:00
"let" -> Id {reject}
"if" -> Id {reject}
"then" -> Id {reject}
"else" -> Id {reject}
* Boolean constants.
2003-11-02 17:36:15 +00:00
"true" -> Id {reject}
"false" -> Id {reject}
* Assertions. * Logical operators (!, &&, ||, ->).
2003-11-05 16:27:40 +00:00
"assert" -> Id {reject}
* Boolean constants.
2003-11-02 17:36:15 +00:00
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
[0-9]+ -> Int
* Boolean constants.
2003-11-02 17:36:15 +00:00
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
"\"" ~[\n\"]* "\"" -> Str
* Boolean constants.
2003-11-02 17:36:15 +00:00
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
PathComp ("/" PathComp)+ -> Path
* Maintain integrity of the substitute and successor mappings when deleting a path in the store. * Allow absolute paths in Nix expressions. * Get nix-prefetch-url to work again. * Various other fixes.
2003-11-22 18:45:56 +00:00
("/" PathComp)+ -> Path
* Allow `+' in path names.
2003-11-06 14:41:29 +00:00
[a-zA-Z0-9\.\_\-\+]+ -> PathComp
* Boolean constants.
2003-11-02 17:36:15 +00:00
"true" -> Bool
"false" -> Bool
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
lexical restrictions
Id -/- [a-zA-Z0-9\_\']
Int -/- [0-9]
* Do not filter when parsing. This is much faster. * Add some rejections and lexical restrictions to the grammar to make this work.
2003-11-10 11:00:38 +00:00
Path -/- [a-zA-Z0-9\.\_\-\+\/]
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% URIs (RFC 2396, appendix A).
module URI
exports
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
sorts Uri Uhierpart Uopaquepart Uuricnoslash Unetpath Uabspath
Urelpath Urelsegment Uscheme Uauthority Uregname Userver
Uuserinfo Uhostport Uhost Uhostname Udomainlabel Utoplabel
UIPv4address Uport Upath Upathsegments Usegment Uparam
Upchar Uquery Ufragment Uuric Ureserved Uunreserved Umark
Uescaped Uhex Ualphanum Ualpha Ulowalpha Uupalpha Udigit
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
lexical syntax
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
Uscheme ":" (Uhierpart | Uopaquepart) -> Uri
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
(Unetpath | Uabspath) ("?" Uquery)? -> Uhierpart
Uuricnoslash Uuric* -> Uopaquepart
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
Uunreserved | Uescaped | [\;\?\:\@\&\=\+\$\,] -> Uuricnoslash
"//" Uauthority Uabspath? -> Unetpath
"/" Upathsegments -> Uabspath
* Do not filter when parsing. This is much faster. * Add some rejections and lexical restrictions to the grammar to make this work.
2003-11-10 11:00:38 +00:00
"//" Uuric* -> Uabspath {reject}
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
Urelsegment Uabspath? -> Urelpath
(Uunreserved | Uescaped | [\;\@\&\=\+\$\,])+ -> Urelsegment
Ualpha (Ualpha | Udigit | [\+\-\.])* -> Uscheme
Userver | Uregname -> Uauthority
(Uunreserved | Uescaped | [\$\,\;\:\@\&\=\+])+ -> Uregname
((Uuserinfo "@") Uhostport) -> Userver
(Uunreserved | Uescaped | [\;\:\&\=\+\$\,])* -> Uuserinfo
Uhost (":" Uport)? -> Uhostport
Uhostname | UIPv4address -> Uhost
(Udomainlabel ".")+ Utoplabel "."? -> Uhostname
Ualphanum | Ualphanum (Ualphanum | "-")* Ualphanum -> Udomainlabel
Ualpha | Ualpha (Ualphanum | "-")* Ualphanum -> Utoplabel
Udigit+ "." Udigit+ "." Udigit+ "." Udigit+ -> UIPv4address
Udigit* -> Uport
Uabspath | Uopaquepart -> Upath
Usegment ("/" Usegment)* -> Upathsegments
Upchar* (";" Uparam)* -> Usegment
Upchar* -> Uparam
Uunreserved | Uescaped | [\:\@\&\=\+\$\,] -> Upchar
Uuric* -> Uquery
Uuric* -> Ufragment
Ureserved | Uunreserved | Uescaped -> Uuric
[\;\/\?\:\@\&\=\+\$\,] -> Ureserved
Ualphanum | Umark -> Uunreserved
[\-\_\.\!\~\*\'\(\)] -> Umark
"%" Uhex Uhex -> Uescaped
Udigit | [A-Fa-f] -> Uhex
Ualpha | Udigit -> Ualphanum
Ulowalpha | Uupalpha -> Ualpha
[a-z] -> Ulowalpha
[A-Z] -> Uupalpha
[0-9] -> Udigit
lexical restrictions
* Maintain integrity of the substitute and successor mappings when deleting a path in the store. * Allow absolute paths in Nix expressions. * Get nix-prefetch-url to work again. * Various other fixes.
2003-11-22 18:45:56 +00:00
Uri -/- [a-zA-Z0-9\-\_\.\!\~\*\'\(\)\/]
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Layout.
module Fix-Layout
exports
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
sorts HashComment Asterisk Comment EOF
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
lexical syntax
[\ \t\n] -> LAYOUT
HashComment -> LAYOUT
Comment -> LAYOUT
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
"#" ~[\n]* ([\n] | EOF) -> HashComment
"//" ~[\n]* ([\n] | EOF) -> HashComment
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
"/*" ( ~[\*] | Asterisk )* "*/" -> Comment
[\*] -> Asterisk
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
"" -> EOF
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
lexical restrictions
Asterisk -/- [\/]
* Use `sdftable -s' to get warnings about the grammar. * Several bug fixes in the grammar. * Allow one-line comments (#... and //...) to end in EOF.
2003-11-19 10:04:03 +00:00
EOF -/- ~[]
* Basic grammar and parser for the Fix language. We use libsglr and friends to do the parsing. The parse table is embedded in the Fix executable using bin2c, which converts an arbitrary file into a C character array.
2003-10-29 16:05:03 +00:00
context-free restrictions
LAYOUT? -/- [\ \t\n] | [\#]
Copy permalink