Ticket #248 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

mutator internal error (doesn't like literal numbers?)

Reported by: robby Owned by: plai
Priority: major Milestone:
Component: plai/plai.plt Keywords:
Cc: Version: (1 12)
Racket Version: 4.2.4.2

Description

This program (with the mutator below):

#lang planet plai/plai:1:12/mutator
(allocator-setup "no-collection-collector.ss" 100)
(cons 4 #t)

produces the error:

Welcome to DrScheme?, version 4.2.4.2-svn3feb2010 [3m].
Language: planet plai/plai:1:12/mutator custom; memory limit: 256 megabytes.
. . ?: Bug in the PLAI Mutator framework; unrecognized form 4 in: 4


This mutator is broken, but it passes the contract checks enough for the above program to fail.

#lang planet plai/plai:1:8/collector

(define ptr 0)

(define (init-allocator) (void))

(define (gc:deref loc) #f)
(define (gc:alloc-flat hv) (void))
(define (gc:cons hd tl) 0)
(define (gc:first pr) 0)
(define (gc:rest pr) 0)
(define (gc:flat? loc) #f)
(define (gc:cons? loc) #f)
(define (gc:set-first! pr new) (void))
(define (gc:set-rest! pr new) (void))

Change History

Changed 4 years ago by robby

  • priority changed from critical to major

lowered the priority because it works fine in 4.2.3

Changed 4 years ago by plai

  • status changed from new to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.