Mercurial > urweb

comparison src/elab_env.sml @ 56:d3cc191cb25f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Separate compilation and automatic basis importation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 14:23:05 -0400
parents 0a5c312de09a
children abb2b32c19fb
comparison
equal deleted inserted replaced
55:5c97b7cd912b 56:d3cc191cb25f
416 NONE => NONE 416 NONE => NONE
417 | SOME (sgn, subs) => SOME (sgnSubSgn (str, subs) sgn)) 417 | SOME (sgn, subs) => SOME (sgnSubSgn (str, subs) sgn))
418 | SgnError => SOME (SgnError, ErrorMsg.dummySpan) 418 | SgnError => SOME (SgnError, ErrorMsg.dummySpan)
419 | _ => NONE 419 | _ => NONE
420 420
421
422 val ktype = (KType, ErrorMsg.dummySpan)
423
424 fun bbind env x = #1 (pushCNamed env x ktype NONE)
425
426 val basis = empty
427 val basis = bbind basis "int"
428 val basis = bbind basis "float"
429 val basis = bbind basis "string"
430
431 end 421 end