GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-04 06:16:00 +03:00
Code Issues Projects Releases Wiki Activity

Ignore some doc comments

Browse Source
This commit is contained in:
Trevor Elliott 2015-06-10 21:45:44 -07:00
parent 47b3d59831
commit 81b29cb33c
1 changed files with 16 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/Cryptol/Parser.y
View File

@ -223,18 +223,26 @@ vtop_decls :: { [TopDecl] }
vtop_decl :: { [TopDecl] }
: decl { [exportDecl Nothing Public $1] }
| doc decl { [exportDecl (Just $1) Public $2] }
| 'private' 'v{' vtop_decls 'v}' { changeExport Private (reverse $3) }
| 'include' STRLIT {% (return . Include) `fmap` fromStrLit $2 }
| mbDoc 'property' name apats '=' expr { [exportDecl $1 Public (mkProperty $3 $4 $6)]}
| mbDoc 'property' name '=' expr { [exportDecl $1 Public (mkProperty $3 [] $5)]}
| newtype { [exportNewtype Public $1] }
| mbDoc 'include' STRLIT {% (return . Include) `fmap` fromStrLit $3 }
| mbDoc 'property' name apats '=' expr
{ [exportDecl $1 Public (mkProperty $3 $4 $6)] }
| mbDoc 'property' name '=' expr
{ [exportDecl $1 Public (mkProperty $3 [] $5)] }
| mbDoc newtype { [exportNewtype Public $2] }
| prim_bind { $1 }
| private_decls { $1 }
top_decl :: { [TopDecl] }
: decl { [Decl (TopLevel {tlExport = Public, tlValue = $1 })] }
| 'include' STRLIT {% (return . Include) `fmap` fromStrLit $2 }
| prim_bind { $1 }
private_decls :: { [TopDecl] }
: 'private' 'v{' vtop_decls 'v}'
{ changeExport Private (reverse $3) }
| doc 'private' 'v{' vtop_decls 'v}'
{ changeExport Private (reverse $4) }
prim_bind :: { [TopDecl] }
: mbDoc 'primitive' name ':' schema { mkPrimDecl $1 False $3 $5 }
| mbDoc 'primitive' '(' op ')' ':' schema { mkPrimDecl $1 True $4 $7 }