Mercurial > urweb
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 |