mthom

<?xml version="1.0" standalone="no"?>
<jitlog>
<compile hotness="warm" method="/home/mark/sompp/src/jit/SOMppMethod_with_vm_state.cpp:257:Block>>#whileTrue:">

=======>/home/mark/sompp/src/jit/SOMppMethod_with_vm_state.cpp:257:Block>>#whileTrue:
<ilgen
	method="/home/mark/sompp/src/jit/SOMppMethod_with_vm_state.cpp:257:Block>>#whileTrue:">
   <request> {( 0x7f3a73b31888 )} </request>
Inside injectIL()
original entry 0x7f3a6c0d9020

mthom

(defun conformity-testing-copyline ()
  (interactive)
  (re-search-forward "<td\\\(><a name=\"[0-9]*\">\\\([0-9]*\\\)</a></td><td>\\\|  +>\\\)[\t ]*\\\(&nbsp;/[*][*]/\\)?")
  (let ((nr (match-string 2))
        (b (buffer-substring (point) (line-end-position))))
    (dolist (r '(("<br>"  . "\n")
                 ("&nbsp;" . " ")
                 ("&gt;"  . ">")))
      (setq b (replace-regexp-in-string (car r) (cdr r) b)))
    (next-line)

mthom

(define type->string
  { A --> string }
  Str -> (make-string "~A" Str))

(datatype type-reps
  ______________________________________________
  X : (type-rep A) >> (get X type-rep) : string;

  let Tag (put (eval X) type-rep (type->string A))
  ________________________________________________

mthom

(package ref-cells [ref <-r r->]

 (datatype one-cell-vector
   X : A;
   ________________________________
   (@v X <>) : (one-cell-vector A);

   __________________________________________
   V : (one-cell-vector A) >> V : (vector A);)