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
Answered
Generation of .g file fails: wrong indentation for option of tuple in DomainType

Hi, I have a problem with an automatically generated .g file.

I'm using a DomainType which includes an option of a tuple, like this: option<TypeA * TypeB>. TypeA and TypeB are not DomainTypes.

The section of the resulting .g file corresponding to that entry has faulty indentation. If I correct the indentation in the .g file everything works fine.

I made a branch to demonstrate the problem in my project: https://github.com/RebeccaNowak/CorrelationPanels/tree/incorrect_g_file

The problematic files are DiagramAppTypes.fs and DiagramAppTypes.g.fs

Is this a known problem? I can work around it, but it would be nice to have a solution.

Thanks, Rebecca

Votes Newest

Answers 2


Tuples are not supported by the diff generator (this is an open iusse). Please use records.

  
  
Posted one year ago
Edited one year ago

sorry rebecca, i messed it up: https://github.com/aardvark-platform/aardvark.compiler.domaintypes/issues/1

1
1
Posted one year ago