Mercurial > urweb

comparison src/corify.sml @ 1146:7fdea74b1dd9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixes for rooted modules
author Adam Chlipala <adamc@hcoop.net>
date Thu, 04 Feb 2010 16:29:09 -0500
parents c01fb6f1b31f
children c316ca3c9ec6
comparison
equal deleted inserted replaced
1145:6249df767d4c 1146:7fdea74b1dd9
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008-2010, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
426 NONE => raise Fail "Corify.St.lookupFunctorById" 426 NONE => raise Fail "Corify.St.lookupFunctorById"
427 | SOME v => v 427 | SOME v => v
428 428
429 fun lookupFunctorByName (m, {current = FNormal {funs, ...}, ...} : t) = 429 fun lookupFunctorByName (m, {current = FNormal {funs, ...}, ...} : t) =
430 (case SM.find (funs, m) of 430 (case SM.find (funs, m) of
431 NONE => raise Fail "Corify.St.lookupFunctorByName [1]" 431 NONE => raise Fail ("Corify.St.lookupFunctorByName " ^ m ^ "[1]")
432 | SOME v => v) 432 | SOME v => v)
433 | lookupFunctorByName _ = raise Fail "Corify.St.lookupFunctorByName [2]" 433 | lookupFunctorByName _ = raise Fail "Corify.St.lookupFunctorByName [2]"
434 434
435 end 435 end
436 436