Permalink
Browse files

[fix] libbsl: wrong default in comment.

  • Loading branch information...
1 parent 2739018 commit 81febd0e68d28dcc454e714ecf22582483872921 @arthuraa arthuraa committed Aug 28, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 compiler/libbsl/bslTags.mli
View
2 compiler/libbsl/bslTags.mli
@@ -40,7 +40,7 @@ type parsed_t = ( string * string option ) list
new_object seems to be deprecated -- default is [None]
+ [no_projection] : [None]: this bypass should never be projected, [Some stringset]:
this bypass should be projected for everybody but inhabitants of the set
- <!> use at your own risk ! -- default is [false]
+ <!> use at your own risk ! -- default is [Some StringSet.empty]
+ [opaname] : tag for type definition, meant not to apply the standardization
on the name of the type.
+ [restricted] : the bypass is not meant to be used by a user, but only generated in a compiler pass.

0 comments on commit 81febd0

Please sign in to comment.