search

DEIB-GECO / GMQL

GMQL - GenoMetric Query Language
http://www.bioinformatics.deib.polimi.it/geco/
Apache License 2.0
18 stars 11 forks source link

check the data type at compile time #7

Closed akaitoua closed 7 years ago

akaitoua commented 7 years ago

The following statement: DATA_SET_VAR = SELECT(region: score == 0) HG19_GENCODE_ANNOTATION_GENE_GTF; compiles and runs correctly.

Whereas, the following statement: DATA_SET_VAR = SELECT(region: score == '0') HG19_GENCODE_ANNOTATION_GENE_GTF; compiles correctly, but then gives a run time error (due to score == '0' instead of score == 0).

It seams that the compiler does not check correctness of select statements against the type of region attributes described in the dataset schema; can this check be performed at compile time (and so avoid the run time error)?

pp86 commented 7 years ago

It now checks the type of the predicate at compile times