This commit is contained in:
Piyush Ranjan 2024-12-03 17:15:21 +01:00 committed by GitHub
commit ca2852a1e5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -341,9 +341,9 @@ type animal =
;; ;;
let cow = let cow =
{ name: "cow"; { name = "cow";
color: "black and white"; color = "black and white";
legs: 4; legs = 4;
} }
;; ;;
val cow : animal val cow : animal
@ -488,7 +488,7 @@ filter (fun x -> x < 4) [3; 1; 4; 1; 5] ;; (* Gives [3; 1; 1]) *)
(* However, you can create mutable polymorphic fields *) (* However, you can create mutable polymorphic fields *)
type counter = { mutable num : int } ;; type counter = { mutable num : int } ;;
let c = { num: 0 } ;; let c = { num = 0 } ;;
c.num ;; (* Gives 0 *) c.num ;; (* Gives 0 *)
c.num <- 1 ;; (* <- operator can set mutable record fields *) c.num <- 1 ;; (* <- operator can set mutable record fields *)
c.num ;; (* Gives 1 *) c.num ;; (* Gives 1 *)