[ f
    [ \ x : * ->
      g := ? : * ;
    ] ;
  a := ? : f.g ;
]


Test case for devload command bug
[ f
    [ \ x : * ->
      g := ? : * ;
    ] [| make h : * |] ;
  a := ? : f.g ;
]