Sfoglia il codice sorgente

remov typing from config file

This was done because this is the only file that was using typed Racket.
The other portions of the program do not typed (but see #5), so the
config file typing was slowing the program execution without providing
significant improvements in development or ensuring program correctness.
George C. Privon 2 anni fa
parent
commit
bbd38b2258
1 ha cambiato i file con 1 aggiunte e 3 eliminazioni
  1. 1 3
      config.rkt.example

+ 1 - 3
config.rkt.example

@@ -1,10 +1,8 @@
-#lang typed/racket/base
+#lang racket/base
 
 (provide dbloc
          PIname)
 
-(: dbloc String)
 (define dbloc "/path/to/database")
 
-(: PIname String)
 (define PIname "Lastname")