| /seL4-l4v-master/HOL4/tools-poly/poly/ |
| H A D | quse.sml | 6 val lineNo = ref 1 value
10 | SOME (c as #"\n") => (lineNo := !lineNo + 1;
17 Compiler.CPLineNo (fn () => !lineNo)]) ()
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | Assem.sml | 235 val lineNo = ref ~1; value
240 ( lineNo := !lineNo + 1;
242 ( if !lineNo < 10 then " " ^ Int.toString (!lineNo)
243 else if !lineNo < 100 then " " ^ Int.toString (!lineNo)
244 else Int.toString (!lineNo)
249 (lineNo := ~1;
258 val _ = lineNo
[all...] |
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | Assem.sml | 235 val lineNo = ref ~1; value
240 ( lineNo := !lineNo + 1;
242 ( if !lineNo < 10 then " " ^ Int.toString (!lineNo)
243 else if !lineNo < 100 then " " ^ Int.toString (!lineNo)
244 else Int.toString (!lineNo)
249 (lineNo := ~1;
258 val _ = lineNo
[all...] |
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
| H A D | Assem.sml | 235 val lineNo = ref ~1; value
240 ( lineNo := !lineNo + 1;
242 ( if !lineNo < 10 then " " ^ Int.toString (!lineNo)
243 else if !lineNo < 100 then " " ^ Int.toString (!lineNo)
244 else Int.toString (!lineNo)
249 (lineNo := ~1;
258 val _ = lineNo
[all...] |
| /seL4-l4v-master/HOL4/polyml/Tests/ |
| H A D | RunTests.sml | 26 val lineNo = ref 1; value
32 lineNo := !lineNo + 1;
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | run_time.cpp | 158 static Handle make_exn(TaskData *taskData, int id, Handle arg, const char *fileName, int lineNo) argument
189 Handle line = Make_fixed_precision(taskData, lineNo);
|
| H A D | winguiconsole.cpp | 135 LRESULT lineNo = SendMessage(hEditWnd, EM_LINEFROMCHAR, nChars + size - limit, 0); local
136 LRESULT firstCh = SendMessage(hEditWnd, EM_LINEINDEX, lineNo + 1, 0);
|
| /seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/Examples/ |
| H A D | mlEdit.sml | 335 fun outputLines lineNo p =
336 if lineNo >= nLines
373 TabbedTextOut(hdc, {x=0, y= lineNo * #height textMetric},
378 outputLines (lineNo+1) nextLine
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | FinalPolyML.sml | 161 Arguments (message, isHard, lineNo, context). message is the message.
476 val lineNo = find (fn CPLineNo l => SOME l | _ => NONE) (fn () => 0) parameters value
514 tagInject lineNumberTag (FixedInt.fromInt o lineNo),
707 val lineNo = ref 1; value
713 lineNo := !lineNo + 1;
721 val code = polyCompiler(getChar, [CPFileName fileName, CPLineNo(fn () => !lineNo)])
1052 val lineNo = ref 1; value
1057 | eoln as SOME #"\n" => (lineNo := !lineNo
[all...] |
| H A D | TopLevelPolyML.sml | 1616 val lineNo = ref 1 value
1623 lineNo := !lineNo + 1;
1637 val code = PolyML.compiler(getChar, [CPFileName fileName, CPLineNo(fn () => !lineNo)])
|
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | CODEGEN_PARSETREE.sml | 320 val lineNo = value
389 codeMatchPatterns(alt, loadExpCode, isHandlerMatch, lineNo, codePatternExpression, cmContext)
399 then errorNear (lex, false, near, lineNo, "Handler catches all exceptions.")
403 else errorNear (lex, false, near, lineNo, "Matches are not exhaustive.")
|
| H A D | MATCH_COMPILER.sml | 1157 fun codeMatchPatterns(alt, arg, isHandlerMatch, lineNo, codePatternExpression, context as { lex, ...}) =
1179 else raiseMatchException lineNo
|
| /seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
| H A D | MESSAGE.signature.sml | 716 | EM_GETLINE of { lineNo: int, size: int, result: string ref }
|
| H A D | Message.sml | 330 fun compileGetLine {lineNo, size, ...} =
337 (0x00C5, SysWord.fromInt lineNo, fromAddr vec, fn () => free vec)
345 { lineNo = SysWord.toInt wp, size = size(*-1 ? *), result = ref "" }
1520 | EM_GETLINE of { lineNo: int, size: int, result: string ref }
|