Examples: query, "exact match", wildcard*, wild?ard, wild*rd
Fuzzy search: cake~ (finds cakes, bake)
Term boost: "red velvet"^4, chocolate^2
Field grouping: tags:(+work -"fun-stuff")
Escaping: Escape characters +-&|!(){}[]^"~*?:\ with \, e.g. \+
Range search: properties.timestamp:[1587729413488 TO *] (inclusive), properties.title:{A TO Z}(excluding A and Z)
Combinations: chocolate AND vanilla, chocolate OR vanilla, (chocolate OR vanilla) NOT "vanilla pudding"
Field search: properties.title:"The Title" AND text
Build Error: Two modules named '[NameSpace].Mutable' occur in two parts of this assembly

1) Building src/Aardvark.OpcViewer.sln failed with exitcode 1.
  2) FS0248: C:\_work\PRo3D\src\PRo3D.Viewer\GroupsModels.g.fs(9,8): Two modules named 'PRo3D.Groups.Mutable' occur in two parts of this assembly

Building of the .net solution is fine, but an error in the generated *.g file occurs.

Posted 3 years ago
Votes Newest


Worry not fellow Aardvark.Media enthusiast! This is a bug in the diffgenerator leading to an invalid file. It happens when you use the same namespace in two different files (which is completely valid and actually the reason namespaces exist) and both files have Types with the attribute [<DomainType>] in them. For the incremental magic to work, the diffgenerator creates a module named Mutable for the two files, and these modules happen to be in the same namespace ... hence the conflict. The only way to avoid this is to either put all domain types in one of the two files or use a different namespace in one of the files

Posted 3 years ago
1 Answer
3 years ago
3 years ago