diff options
| author | Brian Campbell | 2017-10-02 13:19:28 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-10-02 13:19:28 +0100 |
| commit | 686b65f279db1c37ec4e72e4b76b3ce43d1138f5 (patch) | |
| tree | 97016d7bcf6e78db6830c91c6ea1fe30745ad2a9 /src | |
| parent | 7f0a2bbfa6472e9f83693d76407e0ec30ddd69a3 (diff) | |
Make undefined constant propagation stop at ex_int
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 27abed6c..89648d1f 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -694,7 +694,7 @@ let try_app (l,ann) (Id_aux (id,_),args) = | _ -> None else if id = Id "ex_int" then match args with - | [E_aux (E_lit _,_) as exp] -> Some exp + | [E_aux (E_lit (L_aux (L_num _,_)),_) as exp] -> Some exp | _ -> None else if id = Id "vector_access" then match args with |