Browse files

[feature] compiler, database: Added slice typing

  • Loading branch information...
1 parent 00eb420 commit 0416992d42eec9a5807940bd99d1340f5100ab8a @BourgerieQuentin BourgerieQuentin committed Apr 11, 2012
Showing with 2 additions and 1 deletion.
  1. +2 −1 libqmlcompil/dbGen/schema_private.ml
View
3 libqmlcompil/dbGen/schema_private.ml
@@ -1236,7 +1236,8 @@ module Preprocess = struct
match ty with
| Q.TypeName ([_], name) when Q.TypeIdent.to_string name = "list" -> true
| _ -> false
- ) -> (* TODO : coerce e1, e2 *) (ty, Db.SSlice (e1, e2))
+ ) ->
+ (ty, Db.SSlice (coerce e1 H.tyint, coerce e2 (H.typeoption H.tyint)))
| Db.SSlice _ -> error "" "slice is not available on %a" QmlPrint.pp#ty ty
in
let tyres, s = aux dataty select in

0 comments on commit 0416992

Please sign in to comment.