mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

* Wat cleanups.

Browse source
This commit is contained in:
Eelco Dolstra 2005-07-16 23:19:20 +00:00
parent 6f82a78de7
commit 2135e7c041
1 changed files with 5 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
src/libexpr/nix.sdf
View file

@ -14,15 +14,11 @@ imports Nix-Exprs Nix-Layout
module Nix-Exprs module Nix-Exprs
imports Nix-Lexicals imports Nix-Lexicals
exports exports
sorts Expr Formal Bind Binds ExprList sorts Expr Formal Bind ExprList
context-free start-symbols Expr context-free start-symbols Expr
context-free syntax context-free syntax
Id -> Expr {cons("Var")} Id | Int | Str | Uri | Path -> Expr {cons("Var")}
Int -> Expr {cons("Int")}
Str -> Expr {cons("Str")}
Uri -> Expr {cons("Uri")}
Path -> Expr {cons("Path")}
"(" Expr ")" -> Expr {bracket} "(" Expr ")" -> Expr {bracket}
@ -37,11 +33,10 @@ exports
"with" Expr ";" Expr -> Expr {cons("With")} "with" Expr ";" Expr -> Expr {cons("With")}
"rec" "{" Binds "}" -> Expr {cons("Rec")} "rec" "{" Bind* "}" -> Expr {cons("Rec")}
"let" "{" Binds "}" -> Expr {cons("LetRec")} "let" "{" Bind* "}" -> Expr {cons("LetRec")}
"{" Binds "}" -> Expr {cons("Attrs")} "{" Bind* "}" -> Expr {cons("Attrs")}
Bind* -> Binds
Id "=" Expr ";" -> Bind {cons("Bind")} Id "=" Expr ";" -> Bind {cons("Bind")}
"inherit" ("(" Expr ")")? Id* ";" -> Bind {cons("Inherit")} "inherit" ("(" Expr ")")? Id* ";" -> Bind {cons("Inherit")}