Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Commit 5f91653b authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Introduce [cons].

parent 18d7cd3f
...@@ -60,6 +60,9 @@ and 'a head = ...@@ -60,6 +60,9 @@ and 'a head =
let nil : 'a cascade = let nil : 'a cascade =
fun () -> Nil fun () -> Nil
let cons (x : 'a) (xs : 'a cascade) : 'a cascade =
fun () -> Cons (x, xs)
(* Forcing a cascade reveals its head. *) (* Forcing a cascade reveals its head. *)
let force xs = let force xs =
...@@ -335,7 +338,7 @@ module Variant2 = struct ...@@ -335,7 +338,7 @@ module Variant2 = struct
| DTZero -> | DTZero ->
k k
| DTOne x -> | DTOne x ->
fun () -> Cons (x, k) cons x k
| DTTwo (dt1, dt2) -> | DTTwo (dt1, dt2) ->
_delayed_tree_to_cascade dt1 (_delayed_tree_to_cascade dt2 k) _delayed_tree_to_cascade dt1 (_delayed_tree_to_cascade dt2 k)
| DTDelay dt -> | DTDelay dt ->
...@@ -356,7 +359,7 @@ module Variant2 = struct ...@@ -356,7 +359,7 @@ module Variant2 = struct
k k
let _DTOne x k = let _DTOne x k =
fun () -> Cons (x, k) cons x k
let _DTTwo dt1 dt2 k = let _DTTwo dt1 dt2 k =
dt1 (dt2 k) dt1 (dt2 k)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment