tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Light CPS: cleaner error when lightening non-value

Browse source
This commit is contained in:
Théophile Bastian 2018-02-16 16:06:36 +01:00
parent 804f2e7c5b
commit dd3c7e6786
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/CPS.ml
View file

@ -6,6 +6,8 @@ module T = Tail
exception NotValue of S.term exception NotValue of S.term
(** ^ Raised when trying to use a non-value term as such *) (** ^ Raised when trying to use a non-value term as such *)
exception NotLightCPSable of S.term
let freshId = let freshId =
(** Generates a fresh variable name string *) (** Generates a fresh variable name string *)
let cId = ref 0 in let cId = ref 0 in
@ -113,7 +115,8 @@ and light_term varName valExpr valHint next =
self, [lamVar; lamCont], self, [lamVar; lamCont],
cps_term_inner lamBody lamCont None), cps_term_inner lamBody lamCont None),
next) next)
| S.App _ | S.Print _ | S.IfZero _ -> assert false | S.App _ | S.Print _ | S.IfZero _ ->
raise (NotLightCPSable valExpr)
) )