Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/options/options.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/options/options.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3995, Sat Jun 18 20:00:19 2016 UTC revision 3996, Sun Jun 19 15:21:12 2016 UTC
# Line 209  Line 209 
209                              (* end case *))                              (* end case *))
210                        end                        end
211                  (* end case *))                  (* end case *))
212            (* get the namespace and check that it is legal *)
213              val namespace = (case !prefix
214                     of NONE => "Diderot"
215                      | SOME "diderot" => raise Usage "namespace \"diderot\" is reserved"
216                      | SOME ns => (case String.explode ns
217                           of [] => raise Usage "invalid empty namespace specifier"
218                            | c::cs => let
219                                fun isAlpha #"_" = true | isAlpha c = Char.isAlpha c
220                                fun isAlphaNum #"_" = true | isAlphaNum c = Char.isAlphaNum c
221                                in
222                                  if isAlpha c andalso List.all isAlphaNum cs
223                                    then ns
224                                    else raise Usage "invalid namespace specifier"
225                                end
226                          (* end case *))
227                    (* end case *))
228          (* figure out target details *)          (* figure out target details *)
229            val targetDesc : Tgt.t = {            val targetDesc : Tgt.t = {
230                    srcFile = srcFile,                    srcFile = srcFile,
# Line 217  Line 233 
233                    exec = !standaloneFlg,                    exec = !standaloneFlg,
234                    snapshot = not(!standaloneFlg) andalso !snapshotFlg,                    snapshot = not(!standaloneFlg) andalso !snapshotFlg,
235                    platform = !platform,                    platform = !platform,
236                    namespace = Option.getOpt(!prefix, "Diderot"),                    namespace = namespace,
237                    double = !doubleFlg,                    double = !doubleFlg,
238                    longint = !longIntFlg,                    longint = !longIntFlg,
239                    scalar = !scalarFlg,                    scalar = !scalarFlg,

Legend:
Removed from v.3995  
changed lines
  Added in v.3996

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0