comparison src/jscomp.sml @ 841:44c2c089ca15

Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 11:13:18 -0400
parents e4a02e4fa35c
children 0f7e2cca6d9b
comparison
equal deleted inserted replaced
840:e4a02e4fa35c 841:44c2c089ca15
192 fun str loc s = (EPrim (Prim.String s), loc) 192 fun str loc s = (EPrim (Prim.String s), loc)
193 193
194 fun isNullable (t, _) = 194 fun isNullable (t, _) =
195 case t of 195 case t of
196 TOption _ => true 196 TOption _ => true
197 | TList _ => true
198 | TDatatype (_, ref (Option, _)) => true
197 | TRecord [] => true 199 | TRecord [] => true
198 | _ => false 200 | _ => false
199 201
200 fun quoteExp loc (t : typ) (e, st) = 202 fun quoteExp loc (t : typ) (e, st) =
201 case #1 t of 203 case #1 t of