Mysaa/pieuvre
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Suppression d'un warning

Browse Source
This commit is contained in:
Adrien Vannson 2022-05-08 22:37:54 +02:00
parent 5b7784184d
commit 8f5488bf86
No known key found for this signature in database
GPG Key ID: FE2E66FD978C1A55
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pieuvre.ml
View File

@ -121,7 +121,7 @@ let rec typecheck (env: gam) (l: lam) (t: ty) : bool =
| (LFun(x,t,l'),TImpl(tx,ty)) -> typecheck ((x,tx)::env) l' ty | (LFun(x,t,l'),TImpl(tx,ty)) -> typecheck ((x,tx)::env) l' ty
| (LFun(_,_,_),_) -> false (* Une fonction est forcément une ... fonction *) | (LFun(_,_,_),_) -> false (* Une fonction est forcément une ... fonction *)
| (LApp(lf,lx),t) -> | (LApp(lf,lx),t) ->
let t' = (raise TODOException; TFalse) in let t' = raise TODOException in
(typecheck env lf (TImpl(t',t))) && (typecheck env lx t') (typecheck env lf (TImpl(t',t))) && (typecheck env lx t')
| (LVar(x),t) -> | (LVar(x),t) ->
begin begin