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

204 lines
4.9 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
* Default function arguments.
2003-11-05 15:34:12 +00:00
sorts Expr Bind Formal
* 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
* Default function arguments.
2003-11-05 15:34:12 +00:00
"{" {Formal ","}* "}" ":" Expr -> Expr {cons("Function"), right}
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
* Assertions. * Logical operators (!, &&, ||, ->).
2003-11-05 16:27:40 +00:00
"assert" Expr ";" Expr -> Expr {cons("Assert"), right}
* 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
sorts Id Path
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
* 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
sorts Uri
lexical syntax
Uscheme ":" (Uhierpath | Uopaquepath) -> Uri
(Unetpath | Uabspath) ("?" Uquery)? -> Uhierpath
Uuricnoslash Uuric* -> Uopaquepath
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
Uri -/- [a-zA-Z0-9\-\_\.\!\~\*\'\(\)]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Layout.
module Fix-Layout
exports
lexical syntax
[\ \t\n] -> LAYOUT
HashComment -> LAYOUT
Comment -> LAYOUT
"#" ~[\n]* [\n] -> HashComment
"//" ~[\n]* [\n] -> HashComment
"/*" ( ~[\*] | Asterisk )* "*/" -> Comment
[\*] -> Asterisk
lexical restrictions
Asterisk -/- [\/]
context-free restrictions
LAYOUT? -/- [\ \t\n] | [\#]
syntax
HashComment <START> -> <START>
Copy permalink